ГОСТ Р МЭК 61508-6-2012
Приложение В
(справочное)
Метод оценки вероятностей отказа аппаратных средств
В.1 Общие положения
Настоящее приложение рассматривает методы расчета вероятностей отказа для
Э/Э/ПЭ систем, связанных с безопасностью, указанные в МЭК 61508-1 - МЭК 61508-3.
Данная информация носит справочный характер и не должна рассматриваться как
единственно возможный метод оценки. Однако в данном приложении описывается
относительно простой подход к оценке характеристик Э/Э/ПЭ систем, связанных с
безопасностью, и даются руководящие указания по использованию альтернативных
методов, взятых из классических способов расчета надежности.
П р и м е ч а н и я
1 Архитектуры систем, предоставленные в настоящем стандарте, являются примерами и не
должны рассматриваться как исчерпывающие, поскольку существует множество других архитектур,
которые также можно использовать.
2 См. [2].
Существует достаточное количество методов более или менее непосредственно
применимых для анализа полноты безопасности аппаратного обеспечения Э/Э/ПЭ
систем, связанных с безопасностью. Обычно они делятся на группы в соответствии со
следующими характеристиками:
- статические (логические) идинамические (состояния/переходы) модели;
- аналитические модели и моделирование на основе метода Монте-Карло;
Логические модели включают в себя все модели, описывающие статические
логические связи между элементарными отказами и полным отказом системы. Блок-
схемы надежности (см. МЭК 61508-7, С.6.4 и МЭК 61078 [3]) и дерево отказов (см. МЭК
61508-7, В.6.6.5 и В.6.6.9) и МЭК 61025 (4] относятся к логическим моделям.
Модели состояний-переходов включают в себя все модели, описывающие, как
система себя ведет (переходит из состояния в состояние) в соответствии с
произошедшими событиями (отказами, ремонтами, тестами и т.д.). Сети Маркова (см.
МЭК 61508-7, В.6.6.6 и МЭК 61165 (5]), сети Петри (см. МЭК 61508-7, В.2.3.3 и В.6.6.10 и
МЭК 62551 [6]) и формальные языки принадлежат к моделям состояний-переходов.
Исследуются два марковских подхода: упрощенный подход, основанный на специальной
формуле (В.З), и общий подход, позволяющий непосредственный расчет графов
Маркова (В.5.2). Если для систем безопасности марковский подход не применим, то
18