高信頼性ソフトウエアの検証技術 : H-IIロケット誘導プログラムの開発と検証
スポンサーリンク
概要
- 論文の詳細を見る
国産の大型ロケットH-IIロケットに搭載された誘導計算機(IGC : Inertial Guidance Computer)上で動作する慣性誘導プログラム(IGP : Inertial Guidance Program)は, 信頼性を確保するために開発の各段階で様々な検証を実施している. 本稿では, 高信頼性ソフトウェアの検証技術の具体例として, 宇宙開発事業団からの業務委託契約に基づいて開発したIGPの航法・誘導モジュールについて, その開発及び検証の内容を解説する. また, H-IIロケット打上げごとに実施している運用作業についても紹介する.
- 社団法人電子情報通信学会の論文
- 1999-08-25