ГОСТ Р МЭК 61508-2—2012
Таблица В.1 — Рекомендации по предотвращению ошибок во время формирования спецификации требований
проектирования Э/Э/ПЭ системы (см. 7.2)
Мстоды/ыеры. средства
См.
МЭК 61508-7
УПБ 1
УПБ 2
УПБ 3
УПБ 4
1Управление проектами
В.1.1
О(М)
низкий
О(М)
низкий
О(М)
средний
О(М)
высокий
2 Документация
В. 1.2
О(М)
низкий
О(М)
низкий
О(М)
средний
О(М)
высокий
3 Разделение Э/Э/ПЭ систем, свя
занных с безопасностью, и систем,
не связанных с безопасностью
В. 1.3
КР (HR)
низкий
КР (HR)
низкий
КР (HR)
средний
КР (HR)
высокий
4 Структурирование спецификации
В.2.1
КР (HR)
низкий
КР (HR)
низкий
КР (HR)
средний
КР (HR)
высокий
5 Экспертиза спецификации
В.2.6
низкий
КР (HR)
низкий
КР (HR)
средний
КР (HR)
высокий
6 Полуформальные методы
В.2.3. см. также
таблицу В.7 МЭК
61508-3
Р (R)
низкий
P(R)
низкий
КР (HR)
средний
КР (HR)
высокий
7 Таблица контрольных проверок
В.2.5
р
(R)
низкий
Р (R)
низкий
Р (R)
средний
р
(R)
высокий
8 Автоматизированные средства раз
работки спецификаций
В.2.4
низкий
р
(R)
низкий
р
(R)
средний
р
(R)
высокий
9 Формальные методы
В.2.2
низкий
низкий
Р (R)
средний
р
(R)
высокий
П р и м е ч а н и я
1 Методы 5—9. имеющие уровень важности Р (R). являются взаимозаменяемыми, но обязательно при
менение хотя бы одного из них.
2 Для верификации данной стадии жизненного цикла безопасности требуется выполнение по крайней
мере одного из методов 5—9 или перечисленных в таблице В.5.
3 Значения обозначений под каждым уровнем полноты безопасности (УПБ) см. в тексте, непосредствен
но предшествующем настоящей таблице.
4 Методы, приведенные в настоящей таблице, могут быть использованы для различных уровней эффек
тивности в соответствии с таблицей В.6. в которой приведены примеры низкого и высокого уровней эффек
тивности. Усилия, требуемые для среднего уровня эффективности, находятся между усилиями, требуемыми для
низкого и высокого уровней эффективности.
5 Краткий обзор методов, мер и средств, представленных в настоящей таблице, приведен в приложе
нии В МЭК 61508-7. Ссылки на соответствующие подпункты указаны во второй графе.
53