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