Статус документа
Статус документа

ГОСТ 34332.5-2021 Безопасность функциональная систем, связанных с безопасностью зданий и сооружений. Часть 5. Меры по снижению риска, методы оценки (с Поправками)

     4 Сокращения и обозначения


В настоящем стандарте применены следующие сокращения и обозначения:

АГТП

- автоматический генератор тестовых примеров;

АС СБЗС

- аппаратное(ые) средство(а), связанное(ые) с безопасностью зданий и сооружений;

ЖЦ

- жизненный цикл;

ИС

- интегральная(ые) микросхема(ы);

КМОП

- комплементарная структура металл-оксид-полупроводник;

ОЗУ

- оперативное запоминающее устройство (устройство памяти с произвольным доступом);

ПЗУ

- постоянное запоминающее устройство;

ППВМ

- полевая программируемая вентильная матрица;

САПР

- система автоматизированного проектирования;

СБС

- связанная с безопасностью система;

СВА

- статический временной анализ;

СИС

- специализированная интегральная схема;

УО

- управляемое оборудование;

УПБ

- уровень полноты безопасности;

ФСЗ

- формат стандартной задержки;

ФСЗ-файл

- файл в формате стандартной задержки;

ЦПУ

- центральное процессорное устройство;

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

- нотация языка для описания спецификаций последовательных систем.