ソフトウェアの安全性
全システムの故障につながりかねない潜在的なハザード (危険) を特定し、評価することにフォーカスしたソフトウェア品質保証のアクティビティ ソフトウェアの故障が、どのようにして事故に繋がりかねない状況になるのかを調べる 故障を、コンピュータベースのシステム全体のコンテキストの中で評価
ソフトウェアの信頼性では、故障が起こる確率を統計的に分析するが、故障が必ずしもハザードに繋がるわけではない その一部として、モデリングと分析のプロセスを実行
重要度とリスクに基づくハザードの特定
ハザードの原因となるイベントの連鎖や、各イベントが連鎖する可能性を予測するのに、リアルタイムロジック分析の技法が使える