ГОСТ Р МЭК 61508-6-2012
Асимптотические значения не имеют ничего общего с теми, которые описаны выше, но
они могут быть испопьзованы в приведенной выше формуле.
Необходимоотметить,что марковскийподход предоставляетмножество
возможностей для вычисления PFH Э/Э/ПЭ системы, связанной с безопасностью,
работающей в режиме с непрерывным запросом. Однако для корректного применения
марковского подхода необходимо хорошее понимание лежащего в его основе
математического аппарата.
В.5.3 Сети Петри и метод моделирования Монте-Карло
В.5.3.1 Принцип моделирования
Эффективным способом моделирования динамических систем является создание
конечного автомата, поведение которого настолько близко к поведению изучаемой
Э/Э/ПЭ системы, связанной с безопасностью, насколько это возможно. Сети Петри (см.
МЭК 61508-7, п. В.2.3.3 и п. В.6.6.10), как было доказано, являются очень эффективным
средством для этой цели по следующим причинам:
- их легко обрабатывать графически;
- размер моделей растет линейно относительно количества моделируемых
компонентов;
- они очень гибкие и позволяют моделировать большинство ограничений;
- они идеально подходят для моделирования с использованием метода Монте-
Карло (см МЭК 61508-7. п. В.6.6.8).
Разработанные в 1960-х годах для формального доказательства в теории
автоматов, они были активно применены инженерами по надежности для решения двух
задач: автоматизации построения больших графов Маркова и в 80-х -для
моделирования с использованием метода Монте-Карло.
86