>>199

このブログの元資料らしきもの

民間航空機の安全・開発保証プロセスについて
第11回クリティカルソフトウェアワークショップ
January 16 , 2014
三菱航空機株式会社技術本部開発保証部

http://www.ipa.go.jp/files/000036469.pdf

前半の内容は，型式証明と耐空証明の一般論，型式証明取得プロセス
後半は Fly-By-Wireシステムなどソフトウェア


なかなか読み応えがある．
安全性評価プロセス-ZA（Zonal Analysis）の例など，
操縦系統は単に多重化するだけでなく，仮にエンジンのファンブレードが飛散したとしても，
操縦系統に影響を及ぼさないように，配置まで考慮しなければならない．


ソフトウェアも大変で，対気ｾﾝｻが故障した場合でも、安全に飛行を継続できる能力を
確保できるようにすることなど，

エールフランス447便墜落事故(ピトー管が着氷)とか，時々あるね．