ГО СТ Р МЭК 61508-6— 2007
- управление систематическими отказами (включая отказы программного обеспечения) и случайными отка
зами аппаратных средств с помощью конструктивных особенностей, таких как встроенные средства обнаружения
повреждений, избыточность и особенности архитектуры (например диверсификация).
В МЭК 6150S-2 гарантия того, что нужный уровень полноты безопасности будет удовлетворительным для
опасных случайных отказов аппаратных средств, основывается на:
- требованиях котказоустойчивости аппаратуры (см. МЭК 61508-2. таблицы 2 и 3) и
- диагностическом охвате и частоте контрольных испытаний подсистем и компонент с проведением анали
за надежности, использующего соответствующие данные.
В МЭК 61508-2 и МЭК 61508-3 гарантия того, что нужный уровень полноты безопасности будет удовлетвори
тельным для систематических отказов, достигается путем:
- правильного применения процедур управления безопасностью.
- использования компетентного персонала;
- выполнения предусмотренных действий по реализации жизненного цикла обеспечения безопасности,
включая предусмотренные методы и средства11и
- независимой оценки функциональной безопасности2>.
Главная цель состоит в обеспечении того, что оставшиеся систематические отказы, соответствующие уров
ню полноты безопасности, не приведут котказу Е/Е/РЕ системы, связанной с безопасностью.
МЭК 61508-2 был разработан, чтобы формализовать требования к обеспечению полноты безопасности
аппаратных средств3’ Е/Б’РЕ систем, связанных с безопасностью, включая датчики и оконечные элементы. Необ
ходимы методы и средства, направленные против как случайных, так и систематических отказов аппаратных
средств. Они. какуказановыше, включают всебя соответствующую комбинациюсредств по предотвращению неис
правностей и управлению отказами. Если для обеспечения функциональной безопасности необходимы дей
ствия оператора, то приводятся требования кинтерфейсу оператора. В МЭК 61508-2 для обнаружения случайных
отказов аппаратных средств также определяются методы и средства диагностического тестирования, реализуе
мые на уровне программного обеспечения и аппаратных средств (например диверсификация).
МЭК 61508-3 был разработан, чтобы формализовать требования обеспечения полноты безопасности для
программного обеспечения, как встроенного (включая диагностические средства обнаружения неисправностей),
так и прикладного. МЭК 61508-3 требует использовать комбинированный подход, включающий исключение оши
бок (обеспечение качества) и устойчивость кошибкам (за счет архитектуры программного обеспечения), так какне
существует известного способа проверить отсутствие отказов в достаточно сложном программном обеспечении,
связанном с безопасностью, и. особенно, избежать ошибок в технических условиях и в проекте. МЭК 61508-3
требует принятия таких принципов разработки программного обеспечения, как проектирование сверху вниз, мо
дульность. проверку на каждой стадии жизненного цикла разработки, проверку программных модулей и библио тек
программных модулей, а также четкое документирование для облегчения контроля и проверки. Для различ ных
уровней программного обеспечения требуются различные уровни гарантии того, что эти и связанные с ними
принципы были правильно реализованы.
Разработчик программного обеспечения может быть или не быть частью организации, создающей всю
E/E.‘PES. В любом случав необходимо тесное сотрудничество, особенно при разработке архитектуры программи
руемой электроники, когда требуется анализировать компромиссы между архитектурами аппаратных средств и
программного обеспечения на предмет их вклада в обеспечение безопасности (см. МЭК 61508-2. рисунок 4).
А.2 Функциональные этапы применения МЭК 61508-2
Функциональные этапы применения МЭК 61508-2 представлены в настоящем приложении, рисунки А.1 и
А.2. Функциональные этапы применения МЭК 61508-3 представлены на рисунке А.З.
Для МЭК 61508-2 можно выделить следующие функциональные этапы (см. приложение А. рисункиА.1 и А.2):
a) Определяют распределение требований безопасности (МЭК 61508-1). При необходимости модернизи
руют планирование безопасности в процессе разработки E/E/PES.
b
) Определяют требования безопасности для E/E/PES. включая требования к полноте безопасности,
для каждой функции безопасности (МЭК 61508-2, подраздел 7.2). Определяют требования к программному
обеспечению и передают их поставщику и/или разработчику программного обеспечения для применения
МЭК 61508-3.
’■Средства, альтернативные описанным в настоящем стандарте, можно использовать при условии, что при
планировании обеспечения безопасности документируются оправдывающие обстоятельства (см. МЭК 61508-1.
раздел 6).
2>Независимая оценка не всегда подразумевает проведение оценки третьей стороной (см. МЭК 61508-1.
раздел 8).
21 Включая постоянное встроенное программное обеспечение или эквиваленты программного обеспече
ния (также называемые программно-аппаратными средствами), например специализированные интегральные
схемы.
5