ГОСТ Р МЭК 61508-2—2012
Таблица В.6 — Эффективность методов и средств для предотвращения систематических ошибок
Методы
/
у
еры.
средства
См.
МЭК
61508-7
Нкэсая эффективность
Высокая эффективность
Управление
проектами (см.
примечание)
В.1.1
Определение действий
и обязанностей, планиро
вание и распределение
ресурсов, обучение соот
ветствующего персонала, по
следовательность проверок
после модификаций
Подтверждение соответствия, независимое
от проекта: регулярный контроль проекта;
стандартизованная процедура подтверждения
соответствия: управление конфигурацией: ста
тистики отказов; автоматизированные расчеты;
автоматизированная разработка программного
обеспечения
Документация
(см. примеча
ние)
В.1.2
Графические и естественные
языки, например, блок-схе
мы. потоковыедиаграммы
Правила, описывающие порядок прохождения
и размещения документации в организации:
содержимое таблиц контрольных проверок;
автоматизированное управление документацией;
формальный контроль изменений
Разделение
функций без
опасности
Э/Э/ПЭ систе
мы и функций,
не связанных
с безопасно
стью
В.1.3
Хорошо определенные
интерфейсы между Э/Э/ПЭ
системами, связанными
с безопасностью, и система
ми. не связанными с без
опасностью
Полное отделение Э/Э/ПЭ систем, связанных
с безопасностью, от систем, не связанных с без
опасностью. т. е. отсутствие доступа по записи
систем, не связанных с безопасностью, к Э/Э/ПЭ
системам, связанным с безопасностью, и физи
ческое разделение в пространстве во избежание
влияний общей причины
Структурирова
ние специфи
кации
В.2.1
Иерархическое разделе
ние вручную требований
на подтребования, описание
интерфейсов
Формирование иерархического разделения
с использованием средств автоматизированного
расчета, автоматический контроль последова
тельности. уточнение на более низком функцио
нальном уровне
Формальные
методы
8 2.2
Используемые персоналом,
имеющим опыт в примене
нии формальных методов
Используемые персоналом, имеющим опыт
в применении формальных методов в аналогич
ных областях, с применением автоматизирован
ных средств поддержки
Полуформаль
ные методы
В.2.3
Использование полуфор
мальных методов для описа
ния некоторых критических
частей
Полное описание Э/Э/ПЭ систем, связанных
с безопасностью, различными полуформаль
ными методами для демонстрации различных
аспектов: проверка согласованности между
методами
Автоматизиро
ванные сред
ства разработки
спецификации
В.2.4
Средства без предпочтения
конкретному методу проекти
рования
Моделеориентированные процедуры с иерар
хической структурой, описание всех объектов
и их отношений, общая база данных, автомати
ческий контроль непротиворечивости
Таблицы
контрольных
проверок
В.2.5
Подготовленные табли цы
контрольных проверок
для всех стадий жизненного
цикла системы безопасно
сти. концентрация на глав
ных проблемах безопасности
Подготовленные подробные таблицы контроль
ных проверок для всех стадий жизненного цикла
системы безопасности
Экспертиза
спецификации
В.2.6
Экспертиза спецификации
требований безопасности
независимым лицом
Экспертиза и повторная экспертиза независи
мой организацией, использующей формальную
процедуру с исправлением всех обнаруженных
ошибок
Структурное
проектирование
В.3.2
Проектирование иерархи
ческих схем, выполненное
вручную
Повторный контроль компонент схемы; отслежи
вание взаимосвязи между спецификацией, про
ектом. принципиальными схемами и перечнем
компонент системы; автоматизация; использова
ние определенных методов (см. также 7.4.6)
57