ГОСТ Р 53195.3—2015
Б.4 Само по себе выполнение требований настоящего приложения еще не гарантирует достижения тре
буемой полноты безопасности. При выборе методов/средств следует учитывать следующие факторы:
- взаимное соответствие выбранных методов/средств и какони дополняют другдруга:
- какие из них предназначены для каждой стадии создания
Е/Е/РЕ
СБЗС-систем.
- какие из них являются наиболее подходящими для решения проблем, встречающихся впроцессе создания
каждой отдельной
Е/Е/РЕ
СБЗС-системы.
Т а б л и ц а 6.1 — Рекомендации по предотвращению ошибок во время задания спецификации требований
к
Е/Е/РЕ
СБЗС-системам
Вид
запивки
предотвращения ошибок на
стадии задания спецификации
требований к системам
См. ГОСТ
Р 53195.5-2010
Метод.’средствоУровень эффективности методов/средств для
УПБ 1
{SIL
1)
УПБ 2 (S/L 2)
УПБ 3(S/L 3)
УПБ 4
{SIL
4)
Управление проектами
Б.1.1
КР (HR)
Низкий
КР (HR)
Низкий
КР (HR)
Средний
КР (HR)
Высокий
Документирование
Б.1.2
КР (HR)
Низкий
КР (HR)
Низкий
КР (HR)
Средний
КР (HR)
Высокий
Разделение
Е/Е/РЕ
СБЗС-
систем и систем, не связан
ных с безопасностью
Б.1.3
КР (HR)
Низкий
КР (HR)
Низкий
КР (HR)
Средний
КР (HR)
Высокий
СтруктурированиеспециБ.2.1
фикации
КР (HR)КР (HR)
Низкий Низкий
КР (HR)
Средний
КР (HR)
Высокий
Экспертиза спецификации
Б.2.6
Низкий
КР (HR) КР (HR)
Низкий Средний
КР (HR)
Высокий
Полуформальные методы
Б.2.3. см. также КР (HR)
ГОСТ Низкий
Р 53195.4—2010
(таблица Б.7>
КР (HR) КР (HR)
Низкий Средний
КР (HR)
Высокий
Таблица контрольных про
верок
Б.2.5
Р (R)
Низкий
Р (R)
КР (HR)
Низкий Средний
КР (HR)
Высокий
Автоматизированные сред
ства разработки специфи
кации
Б.2.4
Р (R)
Низкий
Р (R)Р (R)
Низкий Средний
Р (R)
Высокий
Формальные методы
Б.2.2
Низкий
Р (R)
НизкийСредний
Р (R)
Высокий
П р и м е ч а н и е — Пояснение обозначений, приведенных под каждым УПБ (S/L), приведено в тексте.
предшествующем таблице.__________________________________________________________________________________
Все методы и средства, обозначенные «Р (R)» в таблице Б.1. заменяемые, но требуется применение хотя бы
одного из них.
Б.5 Для проверки соответствия требованиям на стадии задания спецификации требований к
Е/Е/РЕ
СБЗС-системам должен бытьприменен хотя быодин (одно)из методов/средств. помеченных серой запивкой в таб
лице Б.1 или перечисленных в таблице 6.S.
Т а б л и ц а Б.2 — Рекомендации по предупреждению внесения ошибок на стадиях проектирования и реализа
ции
Е/Е/РЕ
СБЗС-систем
заливки стадии задания спецификации
требований к системами
Р 53195.5-2010
Метод/срсдствоУровень эффективности методов/средств для
Видпредотвращения ошибок на См. ГОСТ
УПБ 1
(SIL
1)
УПБ 2
(SIL
2)
УПБ 3(SH. 3)
УПБ 4
(SIL
4)
Соблюдениетребований
законов, руководящих мате
риалов. ствндартов. сводов
правил, проектной докумен
тации
Б.3.1
КР (HR)
Обяза
тельное
требование
КР (HR)
Обяза
тельное
требование
КР (HR)
Обяза
тельное
требование
КР (HR)
Обяза
тельное
требование
Управление проектами
Б.1.1
КР (HR)
Низкий
КР (HR)
Низкий
КР (HR)
Средний
КР (HR)
Высокий
44