ГОСТ Р МЭК 61508-6-2012
иногда встречающиеся некорректные значения PFDavg. При условии выполнения этих
мер предосторожности может быть использован любой программный пакет для расчета
деревьев отказов.
Для расчетов PFH также могут быть использованы логические методы, но их
теоретическое обоснование выходит за рамки данного приложения.
В.5 Подходы, основанные на моделях состояний/переходов
В.5.1 Основные положения
Логические модели в основном не зависят от времени и введение понятия
времени возможно только в некоторых особых случаях. Они довольно искуственны и,
чтобы избежать ошибок, требуют хорошего знания вероятностных методов. Поэтому в
таких случаях могут быть использованы другие вероятностные модели, динамические по
природе. В области надежности они основаны на следующем фундаментальном
подходе, состоящем их двух этапов:
- определение всех состояний системы на этапе изучения:
- анализ переходов системы из состояния в состояние в соответствии с
происходящими событиями и на протяжении их существования.
Именно поэтому они находятся в категории моделей состояний-переходов.
Основной подход состоит в построении для изучаемой системы некоторой модели
поведения автомата с возникающими событиями (отказами, ремонтами, испытаниями и
т.д.).В настоящем стандартесчитается,что Э/Э/ПЭ системы,связанныес
безопасностью, имеют только дискретные состояния. Данные модели являются
динамическими по своей природе и могут быт реализованы различными способами:
графическим представлением, специальным формальным языком или универсальным
языком программирования. В данном приложении представлены два из них, которые
существенно различаются, но дополняют друг друга:
- модель Маркова, которая разработана в самом начале прошлого века. Она
хорошо изучена и обрабатывается аналитически;
- сеть Петри, которая была разработана в 60-х годах. Она менее известна (но все
больше и больше используется из-за ее гибкости) и применяется совместно с
моделированием методом Монте-Карло.
Оба способа основаны на графическом представлении, что очень удобно
пользователям. Другие методы основываются на моделях, лежащих в основе
формальных зыков. что будет кратко рассмотрено в конце данного раздела.
В.5.2 Подход Маркова
73