ГОСТ Р МЭК 61508-2—2007
Продолжение таблицы В.6
Методы/иеры. средства
См.
МОК 61508-7
Низкая эффективностьВысокая эффективность
пасностью. и систем, не
связанных с безопаснос
Разделение Е/Е/РЕ 8.1.3 Хорошо определенные интер Полное отделение Е/Е/РЕ сис
систем.связанных с безо фейсы между Е/Е/РЕ системами, тем. связанных с безопасностью,
связанными с безопасностью, и от систем, не связанных с безопас
системами, не связанными с безо ностью. т е. отсутствие доступа по
тьюпасностьюпроводам систем, не связанных с
безопасностью к Е/Е/РЕ системам,
связанным с безопасностью, физи
ческое разделение в пространстве
во избежание влияний по общей
причине
Структурирование
спецификации
В.2.1 Иерархическое разделение
вручную требований на подтребо
вания. описание интерфейсов
Формирование иерархического
разделениясиспользованием
средств автоматизированного рас
чета. автоматический контроль по
имеющим опыт в применении фор
мальных методов
следовательности. уточнение на
более нижнем функциональном
уровне
Формальные методы8.2.2Используемыеперсоналом,Используемыеперсоналом,
имеющим опыт в применении фор
мальных методов в аналогичных
областях, с применением автома
тизированных средств поддержки
средства разработки спе
цификации
ному специфическому методу про
ектирования
Полуформальные ме 8.2.3 Использование полуформаль Полное описание Е/Е/РЕ сис тоды
ных методов для описания некото тем. связанных с безопасностью, рых критических частей
различными полуформальными
методами для демонстрации раз
личных аспектов; проверка согла
сованности между методами
АвтоматизированныеВ.2.4Средства без предпочтения одМоделеориентированные про
цедуры с иерархической структу
рой. описание всех объектов и их
отношений, общая база данных,
автоматический контроль непроти
воречивости
Таблицы контрольных 8.2.5 Подготовленные таблицы кон Подготовленные подробные
проверок трольных проверок для всех стадий таблицы контрольных проверок
жизненного цикла безопасности, для всех стадий жизненного цикла
безопасности
концентрация на главных пробле
мах безопасности
Экспертиза специфи8.2.6Экспертиза спецификации тре
мым лицом
Экспертиза и повторная экспер
кациибований безопасности независи тиза независимой организацией,
использующей формальную проце
дуру с исправлением всех обнару
женных ошибок
Структурное проекти8.3.2Проектирование иерархических
Повторный контроль компонен
рованиесхем, выполненное вручнуютов схемы; отслеживание взаи
мосвязи между спецификацией,
проектом, принципиальными схе
мами и перечнем компонентов сис
темы. автоматизация; использова
ние определенных методов (см.
также 7.4.4)
Использование досто8.3.3
верно испытанных компо
нентов (см.примечание)
Достаточная перепроверка ха
рактеристик конструкции
Проверка на практике (см.
74.7.6}
51