ГОСТ Р МЭК 61508-6—2007
Т а б л и ц аЕ.11 — Спецификация требований к безопасности программного обеспечения (см. МЭК 61508-3.
подраздел 7.2)
М е то дГср едсто аС сы пкаSIL3И нтерпретация (о настоящ ей прилож ении)
ботки спецификации
1 Автоматизированные средства разраВ.2.4HRИспользуются средства, поддерживаю
щие выбранные методы
2а Полуформальные методы
ТаблицаHR
В.7
Используются блок-схемы, циклограммы,
диаграммы переходов состояний
2Ь Формальные методы, включая, напри
мер CCS, CSP. HOL. LOTOS. OBJ. времен
ную логику. VDM и Z
С.2.4R
Используются только в исключительном
случае
Т а б л и ц а Е.12 — Проектирование и разработка программного обеспечения: проектирование архитектуры
программного обеспечения (см. МЭК 61508-3, пункт 7.4.3)
М е то дГср едсто оС сы лк а
SIL3И нтерпретация
I
d
настоящ ем прилож ении)
1 Обнаружение и диагностика сбоевС.3.1
HRИспользуется для тех отказов датчиков,
исполнительных механизмов и средств пе
редачи данных, которые не охватываются
средствами встроенной системы в соответ
ствии с МЭК 61508-2
2 Обнаружение и исправление ошибокС.3.2
RИспользуется только для внешней пере
дачи данных
За Программирование с проверкой ошиС.3.3
бок
RИспользуется для проверки правильнос
ти результатов прикладных функций
ЗЬ Методы «подушки безопасности»С.3.4
RИспользуются для некоторых функций,
связанных с безопасностью, если отсутству
ют средства За и Зс
Зс Многовариантнов программированиеС.3.5RИспользуется для некоторых функций,
исходный код которых недоступен
3d Блоки восстановленияС.3.6
RНе используется
Зе Восстановление предыдущего состоС.3.7
яния
RНе используется
3f Прямое восстановлениеС.3.8
RНе используется
Зд Повторный запуск механизмов восС.3.9
становления после ошибок
RНе используется
3h Сохранение достигнутых состоянийС.3.10
RНе используется (достаточно средств За.
ЗЬ и Зс)
4 Постепенное отключение функцийС.3.11
HRИспользуется вследствие природы техни
ческого процесса
5 Исправление ошибок методами искусС.3.12
ственного интеллекта
NRНе используется
6 Динамическая реконфигурацияС.3.13
NRНе используется
мер JSD. MASCOT, SADT и Yourdon
7а Структурные методы, включая, наприС.2.1HRНеобходимо использовать вследствие
размера системы
7Ь Полуформальные методы
ТаблицаHR
В.7
Используются блок-схемы, циклограммы,
диаграммы перехода состояний
7с Формальные методы, включая, напри
мер CCS. CSP. HOL. LOTOS. OBJ. времен
ную логику. VDM иZ
С.2.4R
Не используются
8 Автоматизированные средства разра
ботки спецификаций
В.2.4HR
Используются средства, поддерживаю
щие вь^ранные методы
55