ГОСТ Р МЭК 61508-6-2012
Таблица Е.12 - Проектирование и разработка программного обеспечения:
проектирование архитектуры программного обеспечения (см. МЭК 61508-3, пункт 7.4.3)
Метод/средствоСсылка УПБЗИнтерпретация (в настоящем приложении)
1 Обнаружение и диагностика сбоевС.3.1
2 Коды обнаружения и исправленияС.3.2
ошибок
За Программирование с проверкойС.3.3
ошибок
HR Используется для тех отказов датчиков,
исполнительныхмеханизмовисредств
передачи данных, которые не охватываются
средствами встроенной системы в соответ
ствии с МЭК 61508-2
R Используется только для внешней передачи
данных
R Используется для проверки подтверждения
соответствиярезультатовприкладных
функций
R Не предпочитается: обеспечение гарантии
независимости приводит кувеличению
сложности программного обеспечения
R Используютсядлянекоторыхфункций,
связанных с безопасностью, где За не
применимы
Используются для некоторых функций, когда
исходные коды не доступны
R
Не предпочитается: в значительной степени
достигается Зс
—Не используется
R Не используется. Управление закрытием
нуждается в состояниях, чтобы запоминать
состояние установки
ЗЬ Методы контроля (при реализацииС.3.4
процесса контроля и контролируемой
функциинаодномкомпьютере
обеспечивается их независимость)
ЗсМетодыконтроля(реализацияС.3.4
процесса контроля и контролируемой
функции на разных компьютерах)
3d Многовариантное программирова С.3.5
ние, реализующее одну спецификацию
требованийкпрограммному
обеспечению системы безопасности
Зе Многовариантное (функционально)
С.3.5
программирование, реализующее раз личные
спецификации требований к программному
обеспечению системы безопасности
3fВосстановлениепредыдущего
С.3.6
состояния
Зд Проектирование программного обеС.2.12
стечения, не сохраняющего состояние
(или проектирование ПО, сохраняюще
го ограниченное описание состояния)
4а Механизмы повторных попыток С.3.7
парирования сбоя
—
Не используется
4Ь Постепенное отключение функцийС.3.8
природы
HR
Используетсявследствие
технического процесса
NR
Не используется
5Исправлениеошибокметодами
С.3.9
искусственного интеллекта
6 Динамическая реконфигурация
С.3.10
Модульный подходТабл.
В.9
вследствие
NR
Не используется
HR
Необходимоиспользовать
размера системы
HR Существующий ранее код из более ранних
проектов
8 Использование доверительных/про- С.2.10
веренныхэлементовпрограммного
обеспечения (если таковые имеются)
9 Прямая прослеживаемость между С.2.11
спецификацией требований к програм
мному обеспечению системы безопас
ности и архитектурой программного
обеспечения
10 Обратная прослеживаемость между С.2.11
спецификацией требований к програм
мному обеспечению системы безопас
ности и архитектурой программного
обеспечения
HR Проверка полноты: проверка, гарантиру
ющая, что все требования к программному
обеспечению системы безопасности учтены
в требованиях к архитектуре программного
обеспечения системы безопасности
HR Минимизация сложности и функциональнос
ти: проверка, гарантирующая, что все требо
вания к архитектуре программного обеспече
ния системы безопасности фактически необ
ходимы. чтобы учесть требования к програм
мному обеспечению системы безопасности
143