ГОСТ Р53195.5—2010
OCCAM— язык параллельногопрограммирования высокого уровня, используемый длятранспью
теров;
ОМТ — обозначение методологииобъектного моделирования (отангл,object modeling technique);
РЕ — международное обозначение «программируемый(ая.ое)электронный(ая.ое)» — вотно
шении модуля, устройства или системы;
PROM— наименование программируемогопостоянногозапоминающегоустройства;
RAID— наименование системы организации избыточного массива памяти с использованием не
дорогих накопителей надисках (отангл, redundant arrayof inexpensive disks):
RAM— обозначение запоминающего устройства с произвольным доступом;
ROM— обозначениепостоянного запоминающегоустройства;
SA/SD— обозначение метода структурного проектирования программных систем на основе
структурногоанализа (от англ, structuredanatysis/structureddestgn);
SADT— наименование метода/средства структурного анализа и проектирования (от англ.
structuredanalysis anddesigntechnique):
SDL— наименование языка описаний и спецификаций (от англ, specification-and-description
language);
SIL— международное обозначение уровня полноты безопасности (от англ, safetyintegrity
level);
SOM— наименование технологии Ай-Би-Эм для компонентных архитектур (от англ, system
object model);
VDM— наименование одного из методов разработки компьютерных систем на основеформаль
ного языка;
VDM++— наименование расширенной версии метода VDM;
VDM-SL— обозначение формального языка дляописанияспецификаций, разрабатываемыхс ис
пользованием метода VDM;
XCR— обозначениелогической операции «исключающее ИЛИ»;
Z— обозначение нотации языкадля описанияспецификаций последовательных систем.
5 Меры (методы/средства) по снижению риска
5.1.1
Основными мерами по снижению риска являются:
- контрольслучайныхотказовАС Е/Е/РЕ СБЗС-систем,
- исключениесистематических отказов на различныхстадиях жизненных циклов СБЗС-систем;
- методы/средства, реализуемые на различных этапахстадий жизненного цикла длядостижения пол
ноты безопасности СБЗС ПО.
5.1.2 Методы/средства для контроля случайныхотказовАС Е/Е/РЕ СБЗС-систем. их краткоеописа
ние, а также ссылки на источники с полным описанием приведены в приложенииА.
5.1.3 Методы/средствадля исключения систематическихотказов на различных стадияхжизненных
циклов СБЗС-систем. их краткие описания, а такжессылки наисточникис полным описанием приведены в
приложении Б.
5.1.4 Методы/средствадля достижения полноты безопасности СБЗС ПО. реализуемые на различных
этапах стадийжизненногоцикла ПО, ихкраткое описание, а также ссылки наисточникис полным описани
ем приведены в приложении В.
6 Методы оценки
6.1 Методы оценки функциональной безопасности СБЗС ПО. их краткое описание, а также ссылки на
источники с полным описанием приведены в разделе В.6 приложения В.
6.2 Методыоценки полноты безопасности предварительно разработанных программных средств, при
меняемых для СБЗС-систем.основанные на вероятностном подходе, приведены в приложении Г.
4