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

АС

- аппаратное(ые) средство(а);

Е/Е/РЕ

- электрический(ая, ое), электронный(ая, ое), программируемый(ая, ое) электронный(ая, ое) - в отношении модуля, устройства или системы;

ИС

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

ОЗУ

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

ОКC

- Общероссийский классификатор стандартов;

ПЗУ

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

ПЛК

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

ПО

- программное обеспечение;

ППЗУ

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

САПР

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

СБЗС-система

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

УО

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

ADA

- язык программирования для встраиваемых систем, разработанный в 1979-1980 годах в США и названный в честь Ады Лавлэйс;

ADT

- обозначение данных абстрактного типа (от англ. abstract data type);

CCS

- наименование метода/средства расчета соединяющихся систем (от англ. calculus of communicating system);

CHAZOP

- наименование метода/средства обеспечения безопасности и работоспособности систем управления (от англ. control hazards operability);

CHAZOPs

- наименование метода/средства анализа безопасности работы компьютеров (от англ. computer hazardous operation analysis);

CIRCAL

- наименование метода/средства расчета критических цепей (от англ. circuit calculus);

CORE

- наименование метода/средства выражения контролируемых требований (от англ. сontrolled requirements expression);

CRC

- циклический избыточный код коррекции ошибок (от англ. cyclic redandency check);

CSP

- наименование метода/средства описания последовательных коммуникационных процессов (от англ. communicating sequential processes);

EDC

- код обнаружения/коррекции ошибок;

E/E/PES

- международное наименование электрической, электронной, программируемой электронной связанной с безопасностью системы;

FMEA

- обозначение процедуры анализа типа отказа и его последствий (от англ. procedure for failure mode and effects analysis);

FTA

- метод анализа на основе дерева отказов (от англ. fault tree analysis);

HAZOP

- наименование метода/средства анализа безопасности и работоспособности (от англ. hazard and operability);

HOL

- наименование языка логики высшего порядка (от англ. higher-order logic);

INMOS

- наименование английской фирмы, специализирующейся на производстве транспьютеров;

JSD

- наименование структурного метода разработки программных систем Джексона (от англ. Jackson structured development);

LCSAJ

- обозначение последовательности линейного кода и перехода, применяемой при тестировании ПО (от англ. linear code sequence and jump);

LOTOS

- наименование языка для описания спецификаций, упорядоченных во временной области (от англ. language for temporal ordering specification);

MASCOT

- наименование модульного подхода к проектированию, работе и тестированию программного обеспечения (от англ. modular approach to software construction, operation and test);

MCDC

- обозначение охвата решения модифицированными условиями (от англ. modified condition decision coverage);

MTBF

- обозначение среднего времени наработки на отказ (от англ. mean time between failures);

OBJ

- наименование языка для алгебраического описания спецификаций;

OCCAM

- язык параллельного программирования высокого уровня, используемый для транспьютеров;

OMT

- обозначение методологии объектного моделирования (от англ. object modeling technique);

РЕ

- международное обозначение "программируемый(ая,ое) электронный(ая,ое)" - в отношении модуля, устройства или системы;

PROM

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

RAID

- наименование системы организации избыточного массива памяти с использованием недорогих накопителей на дисках (от англ. redundant array of inexpensive disks);

RAM

- обозначение запоминающего устройства с произвольным доступом;

ROM

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

SA/SD

- обозначение метода структурного проектирования программных систем на основе структурного анализа (от англ. structured analysis/structured design);

SADT

- наименование метода/средства структурного анализа и проектирования (от англ. structured analysis and design technique);

SDL

- наименование языка описаний и спецификаций (от англ. specification-and-description language);

SIL

- международное обозначение уровня полноты безопасности (от англ. safety integrity level);

SOM

- наименование технологии Ай-Би-Эм для компонентных архитектур (от англ. system object model);

VDM

- наименование одного из методов разработки компьютерных систем на основе формального языка;

VDM++

- наименование расширенной версии метода VDM;

VDM-SL

- обозначение формального языка для описания спецификаций, разрабатываемых с использованием метода VDM;

XOR

- обозначение логической операции "исключающее ИЛИ";

Z

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