@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00118194,
 book = {全国大会講演論文集},
 issue = {応用},
 month = {Oct},
 note = {平成4年1～2月期にH-Iロケットで打ち上げ予定の地球資源衛星1号(ERS-1:Earth Resources Satellite-1)はディジタル型の高精度三軸姿勢軌道制御方式を適用した地球観測衛星である。図-1にその外観を示す。本衛星のサブシステムの一つである姿勢軌道制御系(AOCS:Attitude and Orbit Control Subsystem2)は、ディジタル計算機を内臓した姿勢軌道制御電子回路を中心に構成されている。ディジタル計算機はビットスライス型LSI(AMD2901)を用いたマイクロプログラム方式16ビット計算機であり、ハードウェアとファームウェア共に宇宙環境下での放射線による障害の対策を施したカスタムメイドの衛星搭載計算機である。図-2にその外観を示す。諸元は、0.1MIPS、固定小数点演算、命令数74、ROM16KW、RAM2KWである。搭載計算機に格納されるソフトウェアは、計算機インタフェースを介して、センサデータを入力し、AOCSの制御アルゴリズムの計算、フェールセーフアルゴリズムの計算等を行い、再び計算機インタフェースを介して、アクチエータデータ及びコンポーネントオンオフデータを出力する。図-3にその機能ブロック図を示す。軌道上での搭載ソフトウェアのバグが衛星の運用に非常に大きな影響を与えることは明らかであり、このためにもいかに搭載ソフトウェアを設計製造段階で検証し、その品質を保証するかが大きな課題となっている。},
 pages = {2268--2269},
 publisher = {情報処理学会},
 title = {地球資源衛星1号搭載ソフトウェア検証システムの開発},
 volume = {第39回},
 year = {1989}
}