ГОСТ Р МЭК 61508-6-2012
МЭК 61508-2 был разработан, чтобы формализовать требования к обеспечению
полнотыбезопасностиаппаратныхсредств11 Э/Э/ПЭсистем,связанныхс
безопасностью, включая датчики и исполнительные элементы. Необходимы методы и
средства, направленные против как случайных, так и систематических отказов
аппаратных средств. Они, как указано выше, включают в себя соответствующую
комбинацию средств по предотвращению неисправностей и управлению отказами. Если
для обеспечения функциональной безопасности необходимы действия оператора, то
приводятся требования к интерфейсу оператора. В МЭК 61508-2 для обнаружения
случайных отказов аппаратных средств также определяются методы и средства
диагностического тестирования, реализуемые на уровне программного обеспечения и
аппаратных средств (например, диверсификация).
МЭК 61508-3 был разработан, чтобы формализовать требования обеспечения
полноты безопасности для программного обеспечения как встроенного (включая
диагностические средства обнаружения неисправностей), так и прикладного. МЭК 61508-
3 требует использовать комбинированный подход, включающий исключение ошибок
(обеспечение качества) и устойчивость к ошибкам (за счет архитектуры программного
обеспечения), так как не существует известного способа проверить отсутствие отказов в
достаточно сложном программном обеспечении, связанном с безопасностью, и,
особенно, избежать ошибок в технических условиях и в проекте. МЭК 61508-3 требует
принятия таких принципов разработки программного обеспечения, как проектирование
сверху вниз, модульность, проверка на каждой стадии жизненного цикла разработки,
проверка программных модулей и библиотек программных модулей, а также четкое
документирование для облегчения проверки и подтверждения соответствия. Для
различных уровней программного обеспечения требуются различные уровни гарантии
того, что эти и связанные с ними принципы были правильно реализованы.
Разработчик программного обеспечения может быть или не быть частью
организации, создающей всю Э/Э/ПЭ систему. В любом случае необходимо тесное
сотрудничество, особенно при разработке архитектуры программируемой электроники,
когда требуется анализировать компромиссы между архитектурами аппаратных средств
и программного обеспечения при оценке их вклада в обеспечение безопасности (см.
Включая постоянное встроенное программное обеспечение или эквиваленты программного
обеспечения (также называемые программно-аппаратными средствами), например специализированные
для применения интегральные схемы.
9