|
9 |
Fault treeの自動生成 (14) |
SAPHIREで前稿で生成したMARDファイルをロードすると、図925.1のようなFTが生成されます。
次にSolveで論理圧縮をかけ、View CutSetによりカットセットを表示させます。
表925.1に示すとおり、頂上事象の確率は $\img[-1.35em]{/images/withinseminar.png}$ となります。
なお、本稿はRAMS 2026に投稿予定のため一部を秘匿していますが、論文公開後の2026年2月頃に開示予定です。
前のブログ
