(株)機能安全ネットワーク

 マルコフモデルを用いたIEC 61508の計算モデルの検証計算を行った事例を紹介します。

 図１は、1oo2の低頻度作動要求モードの場合のマルコフ状態遷移図の事例です。また、図２は、行列計算の可能なScilabによって、それぞれの状態確率の時間変化を計算したものです。このような図示化を行うと、診断対策や修理などの効果を、比較的、簡単に把握することができます。

 一連の機能安全規格は、このような確率論による解析が要求されていますが、このような解析ソフトウェアを利用することで、PFHやPFDの解析が迅速に行うことができます。