ГОСТР 53195.5—2010
4 Обозначения и сокращения
В настоящем стандарте приняты следующие обозначения и сокращения:
АС— апларатное{ые) средство<а);
Е/Е/РЕ— электрический(ая. ое),электронный(ая. ое). программируемый(ая, ое) электрон-
ный(ая. ое)— вотношении модуля, устройства или системы:
ИС— интегральмая(ые)микросхема(ы);
ОЗУ— оперативное запоминающее устройство (устройство памяти с произвольным доступом):
ОКС— Общероссийский классификатор стандартов:
ПЗУ— постоянное запоминающее устройство:
ПЛК— программируемый логический контроллер;
ПО— программное обеспечение.
ППЗУ— перепрограммируемое постоянное запоминающее устройство;
САПР— система автоматизированного проектирования.
СБЗС-система — система, связанная с безопасностью зданий и сооружений.
УО— управляемое оборудование:
ADA
ADT
CCS
CHAZOP
CHAZOPs
CIRCAL
CORE
CRC
CSP
EDC
E/E/PES
FMEA
FTA
HAZOP
HOL
INMOS
JSD
LCSAJ
LOTOS
MASCOT
MCDC
MTBF
OBJ
— язык программирования для встраиваемых систем, разработанный в 1979—1980годах
в США и названный в честьАды Лавлэйс;
— обозначениеданныхабстрактного типа (от англ, abstract data type);
— наименование метода/средства расчета соединяющихся систем (от англ, calculusof
communicating system):
— наименование метода/средства обеспечения безопасности иработоспособности систем
управления (от англ, control hazards operability);
— наименование метода/средства анализа безопасности работы компьютеров (от англ.
computer hazardousoperationanalysis);
— наименование метода/средства расчета критических цепей (отангл, circuitcalculus);
— наименованиеметода/средствавыраженияконтролируемыхтребований(отангл, controlled
requirements expression);
— циклический избыточный кодкоррекции ошибок(отангл, cyclic redandencycheck);
— наименование метода/средства описания последовательных коммуникационных про
цессов(отангл, communicating sequential processes);
— кодобнаружония/коррекции ошибок;
— международное наименование электрической, электронной, программируемой электрон
ной связанной с безопасностьюсистемы;
— обозначение процедуры анализа типа отказа иего последствий (от англ, procedure for
failure mode and effects analysis);
— метод анализа на основе дереваотказов (отангл, fault treeanalysis);
— наименование метода/средства анализа безопасности и работоспособности (отангл.
hazardandoperability);
— наименование языка логики высшего порядка (от англ, higher-order logic);
— наименование английской фирмы, специализирующейся на производстве транспью
теров;
— наименование структурного метода разработки программных систем Джексона (от англ.
Jackson stmetureddevelopment);
— обозначение последовательности линейногокода и перехода, применяемойпри тести
ровании ПО (от англ, linearcodesequence andjump);
— наименование языкадля описанияспецификаций, упорядоченных во временной облас
ти (от англ, language fortemporalorderingspecification);
— наименование модульного подхода к проектированию, работе и тестированию про
граммного обеспечения (от англ, modularapproachto softwareconstruction, operation and
test);
— обозначение охвата решения модифицированными условиями (от англ,modified condition
decisioncoverage);
— обозначение среднего времени наработки наотказ (от англ, mean timebetween failures);
— наименование языка для алгебраического описанияспецификаций;
3