@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00078191,
 author = {佐藤, 伸子 and 石濱, 直樹 and 川崎, 朋実 and 片平, 真史 and Nobuko, Sato and Naoki, Ishihama and Tomomi, Kawasaki and Masafumi, Katahira},
 book = {組込みシステムシンポジウム2011論文集},
 month = {Oct},
 note = {ロケットや人工衛星などの宇宙機に搭載するリアルタイム OS(RTOS) を高信頼化するためには，その RTOS をどのように検証しているかを明らかにする必要がある．このため，民間航空機や原子力など信頼性が重視される分野で適用されている技術標準や，過去に宇宙機の搭載計算機で発生した不具合事例を参考に，RTOS に特化した検証要求を整備した．この検証要求を，TOPPERS/HRP カーネルの検証作業で繰り返し適用し，必要な解説を追加するなどの改良を重ね，「リアルタイム OS 高信頼化ハンドブック」 として編集したので紹介する．これは，宇宙機だけでなく，信頼性が重視されるシステムの RTOS に広く適用できるものである．, To improve reliability of Realtime Operating System (RTOS) for spacecrafts such as space vehicles and satellites, it is necessary to clarify how the RTOS is verified. JAXA has organized a verification requirement specialized for RTOS, by reference technical standards that is applied to domains who place emphasis on reliability, such as civilian aircraft and nuclear energy, and past failure cases occurred on spacecraft's onboard computer systems. JAXA applied the verification requirement repeatedly to TOPPERS/HRP kernel, and refined it by adding needful exposition. The paper introduces application of “RTOS Reliability Improvement Handbook”. This handbook is possible to apply to not only spacecrafts but also other reliable computer systems.},
 pages = {25-1--25-7},
 publisher = {情報処理学会},
 title = {宇宙機搭載用リアルタイムOSに適用した高信頼化技術のハンドブック化},
 volume = {2011},
 year = {2011}
}