VIPER - это 32-разрядный микропроцессор, созданный Royal Signals and Radar Establishment (RSRE) в 1980-х годах и предназначенный для использования в критически важных для безопасности системах, таких как авионика . [1] Это был первый коммерческий микропроцессор, правильность которого была официально подтверждена , хотя вокруг этого утверждения и определения доказательства возникли некоторые разногласия. [2]
Дизайн был завершен в 1987 году и первоначально реализован RSRE в виде вентильной решетки. Впоследствии Marconi Electronics лицензировала дизайн, реализовав его как MAS1908 VIPER-1, изготовленный с использованием технологий CMOS и кремний-на-сапфире, упакованный в виде 120-контактного решетчатого массива. [3]
Архитектурно VIPER представляет собой 32-разрядный процессор, поддерживающий 20-разрядную адресацию памяти и «пространство ввода-вывода» (т.е. 4 мегабайта каждого). Несмотря на то, что используется единообразная компоновка команд, напоминающая архитектуры RISC, время выполнения команд варьируется от 6 до 26 тактовых циклов, в отличие от пропускной способности одной команды за цикл, требуемой в традиционных архитектурах RISC. [3]
Критически важный для безопасности язык программирования новояз был разработан Яном Карри из RSRE в 1984 году для использования с VIPER. Его основная характеристика заключалась в том, что все исключительное поведение в программах должно обрабатываться во время компиляции. [4] [5]
Ссылки [ править ]
- ^ Черчли, Эндрю (1991-11-30). Системы защиты на базе микропроцессоров . Springer. п. 64. ISBN 9781851666119. Проверено 23 июля 2012 года .
- ↑ Маккензи, Дональд (8 августа 1991 г.). «Клыки VIPER». Природа . 352 (6335): 467–468. Bibcode : 1991Natur.352..467M . DOI : 10.1038 / 352467a0 .
- ^ a b Понтан, Дик (июль 1988 г.). «Быстрый путь против отказоустойчивости» . БАЙТ . С. 305–309 . Проверено 24 августа 2020 .
- Перейти ↑ Currie, IF (июль 1986). «NewSpeak: необычный язык». Журнал программной инженерии . 1 (4): 170–176. DOI : 10.1049 / sej.1986.0027 . ISSN 0268-6961 .
- ^ Cullyer, WJ (2012-12-06). «Реализация систем, критичных к безопасности: микропроцессор VIPER». Спецификация, проверка и синтез СБИС . Бертвистл, Грэм; Субраманьям, Пенсильвания, стр. 1–18. ISBN 9781461320074.
Внешние ссылки [ править ]
 | Этот продукт, связанный с микрокомпьютером или микропроцессором, является незавершенным . Вы можете помочь Википедии, расширив ее . |
