ГОСТ Р МЭК 61508-6-2012
ОиЫгие\ если система в состоянии отказа, то Out=false.
Это позволяет создавать хорошие модели поведения для эффективного
моделирования методом Монте-Карло, так что все описанное выше для PFDavgи PFH
остается верным и здесь. Поэтому далее эта тема не развивается.
Такой формальный язык обладает аналогичными математическими свойствами,
что и сети Петри, и поэтому можно компилировать одну модель с другой без особого
труда. Это также позволяет обобщать свойства языков дерева отказов и марковских
процессов. Поэтому, если описание было ограничено свойствами марковских процессов
или дерева отказов, то можно преобразовать модель в эквивалентные граф Маркова
или дерево отказов. Ключевые слова «predicate» и «locker» в конце модели содержат
указание на выполнение генерации дерева отказов или марковской модели или на
применение метода Монте-Карло.
96