宇宙機搭載用リアルタイムOSに適用した高信頼化技術のハンドブック化

8 0 0 0 OA 宇宙機搭載用リアルタイムOSに適用した高信頼化技術のハンドブック化

著者: 佐藤伸子石濱直樹川崎朋実片平真史
雑誌: 組込みシステムシンポジウム2011論文集
巻号頁・発行日: vol.2011, pp.25-1-25-7, 2011-10-12

ロケットや人工衛星などの宇宙機に搭載するリアルタイム OS(RTOS) を高信頼化するためには,その RTOS をどのように検証しているかを明らかにする必要がある.このため,民間航空機や原子力など信頼性が重視される分野で適用されている技術標準や,過去に宇宙機の搭載計算機で発生した不具合事例を参考に,RTOS に特化した検証要求を整備した.この検証要求を,TOPPERS/HRP カーネルの検証作業で繰り返し適用し,必要な解説を追加するなどの改良を重ね,「リアルタイム OS 高信頼化ハンドブック」として編集したので紹介する.これは,宇宙機だけでなく,信頼性が重視されるシステムの RTOS に広く適用できるものである.

http://id.nii.ac.jp/1001/00078191/

言及状況

はてなブックマーク (1 users, 3 posts)

会場の質問であった「職業的な組み込みソフト開発現場での証明器の活用は?」という点については、この論文が一つの軸にはなるのではと。答えから言うと、証明器を使った活動は、極めて限定的。宇宙機に載せるような

"この検証要求を，TOPPERS/HRP カーネルの検証作業で繰り返し適用し，必要な解説を追加するなどの改良を重ね，「リアルタイム OS 高信頼化ハンドブック」として編集したので紹介する．" ///

Twitter (7 users, 9 posts, 10 favorites)

/// 「宇宙機搭載用リアルタイムOSに適用した高信頼化技術のハンドブック化」組込みシステムシンポジウム2011論文集 https://t.co/PCkTOupSmZ

1 @h_uta

会場の質問であった「職業的な組み込みソフト開発現場での証明器の活用は?」という点については、この論文が一つの軸にはなるのではと。 https://t.co/8TVkzoy0IN 答えから言うと、証明器を使った活動は、極めて限定的。宇宙機に載せるようなものであっても。 #fpiot

4 @shintamainjp @minemaz @naru0ga

8 @bigbenbigben @espilab @ichimal @minemaz @nagai_www @SatosiYAMAGATA @shintamainjp @ykumano

"この検証要求を，TOPPERS/HRP カーネルの検証作業で繰り返し適用し，必要な解説を追加するなどの改良を重ね，「リアルタイム OS 高信頼化ハンドブック」として編集したので紹介する．" /// https://t.co/oTor7pS9Sy

1 @tkashi_tw

8 0 0 0 OA 宇宙機搭載用リアルタイムOSに適用した高信頼化技術のハンドブック化

言及状況

はてなブックマーク (1 users, 3 posts)

Twitter (7 users, 9 posts, 10 favorites)

収集済み URL リスト