WEKO3
アイテム
宇宙機搭載用リアルタイムOSに適用した高信頼化技術のハンドブック化
https://ipsj.ixsq.nii.ac.jp/records/78191
https://ipsj.ixsq.nii.ac.jp/records/781918a80a434-72b3-42b4-af24-dbfa8b5d34a7
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2011 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | Symposium(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 2011-10-12 | |||||||
タイトル | ||||||||
タイトル | 宇宙機搭載用リアルタイムOSに適用した高信頼化技術のハンドブック化 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | Establishment of a Reliability Handbook for RTOS in Spacecrafts | |||||||
言語 | ||||||||
言語 | jpn | |||||||
キーワード | ||||||||
主題Scheme | Other | |||||||
主題 | テスト・検証技術 | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
資源タイプ | conference paper | |||||||
著者所属 | ||||||||
独立行政法人宇宙航空研究開発機構(JAXA) | ||||||||
著者所属 | ||||||||
独立行政法人宇宙航空研究開発機構(JAXA) | ||||||||
著者所属 | ||||||||
独立行政法人宇宙航空研究開発機構(JAXA) | ||||||||
著者所属 | ||||||||
独立行政法人宇宙航空研究開発機構(JAXA) | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Japan Aerospace Exploration Agancy (JAXA) | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Japan Aerospace Exploration Agancy (JAXA) | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Japan Aerospace Exploration Agancy (JAXA) | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Japan Aerospace Exploration Agancy (JAXA) | ||||||||
著者名 |
佐藤, 伸子
× 佐藤, 伸子
|
|||||||
著者名(英) |
Nobuko, Sato
× Nobuko, Sato
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | ロケットや人工衛星などの宇宙機に搭載するリアルタイム OS(RTOS) を高信頼化するためには,その RTOS をどのように検証しているかを明らかにする必要がある.このため,民間航空機や原子力など信頼性が重視される分野で適用されている技術標準や,過去に宇宙機の搭載計算機で発生した不具合事例を参考に,RTOS に特化した検証要求を整備した.この検証要求を,TOPPERS/HRP カーネルの検証作業で繰り返し適用し,必要な解説を追加するなどの改良を重ね,「リアルタイム OS 高信頼化ハンドブック」 として編集したので紹介する.これは,宇宙機だけでなく,信頼性が重視されるシステムの RTOS に広く適用できるものである. | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 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. | |||||||
書誌情報 |
組込みシステムシンポジウム2011論文集 巻 2011, p. 25-1-25-7, 発行日 2011-10-12 |
|||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |