ГОСТ Р МЭК 61508-2—2007
Окончание таблицы в. 1
Мстоды<|моры. средства
См.
М Э К 6 1 5 0 8 7
SIL1SIL2
SIL3
SIL4
8 Компьютерные средства разра
ботки спецификаций
В.2.4
Р
(R)
низхий
НИЗКИЙ
P(R)
средний
P(R)
ВЫСОКИЙ
9 Формальные методы
В.2.2
низкий
НИЗКИЙ
P(R)
средний
P(R)
высокий
П р и м е ч а н и я
1 Методы 5—9. обозначенные «Р (R)», являются заменяемыми, но обязательно применение хотя бы одного
из них.
2 Для верификации данной стадии жизненного цикла безопасности требуется выполнение, по крайней мере,
одного из методов 5—9 или перечисленных в таблице В.5.
3 Значения обозначений под каждым уровнем полноты безопасности (SIL) см. е тексте, непосредственно
предшествующем настоящей таблице.
4 Методы, приведенные в настоящей таблице, могут быть использованы для различных уровней эффектив
ности в соответствии с таблицей В.6. в которой приведены примеры для низкого и высокого уровней эффектив
ности. Усилия, требуемые для среднего уровня эффективности, находятся между усилиями, требуемыми для
низкого и высокого уровней эффективности.
5 Краткий обзор методов, мер и средств, представленных в настоящей таблице, приведен в МЭК 61508-7.
приложение В. Ссылки на соответствующие подпункты указаны во второй колонке.
Т а б л и ц а В.2 — Рекомендации по предупреждению внесения ошибок во время проектирования и разработки
E/E/PES (см. 7.4)
Мстоды/меры, средства
См.
МЭК61508-7
SIL1
SIL2
SIL3
SIL4
1 Соблюдение руководящих мате
риалов и стандартов
В.3.1
КР (HR)
обязательно
КР (HR)
обязательно
КР (HR)
обязательно
КР (HR)
обязательно
2 Управление проектами
В.2.1
КР (HR)
низкий
КР (HR)
низкий
КР (HR)
средний
КР (HR)
высокий
3 Документация
В.1.2
КР (HR)
низкий
КР (HR)
низкий
КР (HR)
средний
КР (HR)
высокий
4 Структурированное проектирова
ние
В.3.2
КР (HR)
низкий
КР (HR)
низкий
КР (HR)
средний
КР (HR)
высокий
5 Модульное проектирование
В.3.4
КР (HR)
низкий
КР (HR)
низкий
КР (HR)
средний
КР (HR)
высокий
6 Использование достоверно ис
пытанных компонент
в.з.з
P(R)
низкий
Р
(R)
низкий
Р (R)
средний
р
(R)
высокий
7 Полуформальные методы
В.2.3, см. так
же
МЭК 61508-3.
пункт В.7
P(R)
низкий
Р (R)
низкий
КР (HR)
средний
КР (HR)
высокий
8 Таблица контрольных проверок
В.2.5
низкий
Р
(R)
низкий
Р (R)
средний
P(R)
высокий
9 Средства автоматизированного
проектирования
В.3.5
низкий
P(R>
низкий
Р (R)
средний
P(R)
высокий
10 Моделирование
В.З.б
низкий
P(R>
низкий
Р (R)
средний
P(R)
высокий
11 Поверка аппаратных средствВ.3.7
или сквозной анализВ.3.8низкий
р
(R)
низкий
Р (R)
средний
Р (R)
высокий
12 Формальные методыВ.2.2
низкий
низкий
Р (R)
средний
Р (R)
высокий
47