В настоящем стандарте применены следующие сокращения и обозначения:
АГТП | - автоматический генератор тестовых примеров; |
АС СБЗС | - аппаратное(ые) средство(а), связанное(ые) с безопасностью зданий и сооружений; |
ЖЦ | - жизненный цикл; |
ИС | - интегральная(ые) микросхема(ы); |
КМОП | - комплементарная структура металл-оксид-полупроводник; |
ОЗУ | - оперативное запоминающее устройство (устройство памяти с произвольным доступом); |
ПЗУ | - постоянное запоминающее устройство; |
ППВМ | - полевая программируемая вентильная матрица; |
САПР | - система автоматизированного проектирования; |
СБС | - связанная с безопасностью система; |
СВА | - статический временной анализ; |
СИС | - специализированная интегральная схема; |
УО | - управляемое оборудование; |
УПБ | - уровень полноты безопасности; |
ФСЗ | - формат стандартной задержки; |
ФСЗ-файл | - файл в формате стандартной задержки; |
ЦПУ | - центральное процессорное устройство; |
Ada | - язык программирования для встраиваемых систем, разработанный в 1979-1980 годах в США и названный в честь Ады Лавлейс; |
ADT | - данные абстрактного типа; |
CASE | - набор методов и средств программной инженерии для проектирования программного обеспечения; |
CCS | - метод/средство расчета соединяющихся систем; |
CHAZOP | - метод/средство анализа опасности и работоспособности систем управления; |
CHAZOPs | - метод/средство анализа опасности работоспособности компьютеров; |
CIRCAL | - метод/средство расчета критических цепей; |
CORE | - метод/средство выражения контролируемых требований; |
CRC | - циклический избыточный код коррекции ошибок; |
CSP | - метод/средство описания последовательных коммуникационных процессов; |
DMA | - прямой доступ к памяти; |
FMEA | - процедура анализа типа отказа и его последствий; |
FTA | - метод анализа на основе дерева отказов; |
HAZOP | - метод/средство анализа опасности и работоспособности; |
HOL | - наименование языка логики высшего порядка; |
INMOS | - наименование английской фирмы, специализирующейся на производстве транспьютеров; |
JSD | - наименование структурного метода разработки программных систем Джексона; |
LCSAJ | - обозначение последовательности линейного кода и перехода, применяемой при тестировании ПО; |
LOTOS | - язык для описания спецификаций, упорядоченных во временной области; |
MCDC | - охват решения модифицированными условиями; |
MMU | - блок управления памятью; |
MTBF | - среднее время наработки на отказ; |
OBJ | - язык для алгебраического описания спецификаций; |
OCCAM | - язык параллельного программирования высокого уровня, используемый для транспьютеров; |
PROM | - программируемое постоянное запоминающее устройство; |
UML | - унифицированный язык моделирования; |
SADT | - метод/средство структурного анализа и проектирования; |
VDM | - один из методов разработки компьютерных систем на основе формального языка; |
VDM++ | - расширенная версия метода VDM; |
VDM-SL | - формальный язык для описания спецификаций, разрабатываемых с использованием метода VDM; |
Z | - нотация языка для описания спецификаций последовательных систем. |