雷撃保護設計と安全性解析

1.背景本記事は、前回に投稿した「型式証明における雷撃保護設計の証明プロセス」からの続きになります。前回の記事では、雷撃保護設計の大まかな流れを紹介しましたが、今回の記事のトピックは、評価対象システムの特定の手法です。つまり、安全性解析です。米国規則2X.1316の証明を行なう上で、型式証明プログラムの初期の段階で、雷撃保護設計の証明要求が必要とされるシステムを特定する必要があることなどを前回記事