# Galileo NASA の外惑星探査機プロジェクト。当初は "Jupiter Orbiter and Probe"(JOP)と呼ばれ、1977会計年度に開始、1989年10月に打上げ、1995年に木星系へ到達した。それまでのフライバイ探査と異なり、木星軌道に長期間留まって惑星・衛星の時間変化を観測することを企図した。開発・運用は [[Jet Propulsion Laboratory]](JPL)が担った。(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 16 Software Reliability Simulation]] §16.7) Galileo 探査機には2つの主要搭載計算機がある。姿勢・運動制御サブシステム(Attitude and Articulation Control Subsystem, AACS)と、コマンド・データシステム(Command and Data System, CDS)であり、いずれもソフトウェアで大きく実装されている。CDS は探査機の指令・制御、およびフライトデータの取得・伝送という中枢機能を担う実時間組込みサブシステムで、約17,000行のアセンブリ言語コード・約1,400ページの文書からなり、約300暦週かけて開発された。ミッション設計は議会予算措置の遅延とスペースシャトル・チャレンジャー号事故により複数回やり直された。(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 16 Software Reliability Simulation]] §16.7) *Handbook of Software Reliability Engineering*(1996)第16章は、[[Robert C. Tausworthe]] と [[Michael R. Lyu]] によるレートベースソフトウェア信頼性シミュレーション技法の実データ適用事例として、Galileo CDS ソフトウェアのテスト期(420日中実質280日)の障害プロファイルを取り上げた。シミュレーションによる累積故障数予測は実フィールドデータとほぼ一致し、一週間先予測でも Jelinski-Moranda・Musa-Okumoto・Littlewood-Verrall の3モデルより実データの変動傾向をよく再現した。(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 16 Software Reliability Simulation]] §16.7.1-§16.7.2) ## 関連 - ソース: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 16 Software Reliability Simulation]] - 開発組織: [[Jet Propulsion Laboratory]] - 関連研究者: [[Robert C. Tausworthe]] / [[Michael R. Lyu]] - 概念: [[ソフトウェア信頼性成長モデル]]