## 概要 University of Virginia の研究者。[[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 15 Software System Analysis Using Fault Trees]](*Handbook of Software Reliability Engineering*, 1996, Chapter 15)の単著者として、故障の木解析(fault tree analysis)をソフトウェアを含むシステムへ適用する方法を執筆した。同章では、分散リカバリブロック(DRB)・Nバージョンプログラミング(NVP)・N自己点検プログラミング(NSCP)という3つのソフトウェア耐障害アーキテクチャについて、単一計算タスクの故障の木モデルと、恒久ハードウェア故障によるシステム再構成を表すマルコフ連鎖を組み合わせる枠組みを示した。章末尾では、故障の木が組合せ論的(静的)モデルであり事象の発生順序を表現できないという限界を指摘し、その対処として自身の関連研究であるマルコフ連鎖を用いた動的故障木([Duga92])に言及している(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 15 Software System Analysis Using Fault Trees]] §15.7.4)。 被覆モデリング(coverage modeling、恒久ハードウェア故障の検知・隔離・再構成の成功確率をモデル化する手法)についても自身の先行研究([Duga89a], [Duga93a])を参照している(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 15 Software System Analysis Using Fault Trees]] §15.7)。 ## 関連 - ソース: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 15 Software System Analysis Using Fault Trees]] - エンティティ: [[University of Virginia]] - 概念: [[故障の木解析]] / [[システム信頼性モデル]] - 書籍: [[wiki/entities/Handbook of Software Reliability Engineering|Handbook of Software Reliability Engineering]]