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 に広く適用できるものである.
3 0 0 0 OA データマイニングを用いた宇宙機の故障徴候検知
- 著者
- 石濱 直樹 福島 洋介
- 出版者
- The Japanese Society for Artificial Intelligence
- 雑誌
- 人工知能学会全国大会論文集
- 巻号頁・発行日
- pp.211, 2001 (Released:2003-07-10)
1 0 0 0 OA 深層学習を用いたSAR 画像からの船舶識別及びFPGAの実装に関する一検討
- 著者
- 橋本 真太郎 杉本 洋平 濱本 昂 石濱 直樹 Hashimoto Shintaro Sugimoto Yohei Hamamoto Ko Ishihama Naoki
- 出版者
- 宇宙航空研究開発機構宇宙科学研究所(JAXA)(ISAS)
- 雑誌
- 平成29年度 宇宙科学情報解析シンポジウム=Space Science Informatics Symposium FY2017
- 巻号頁・発行日
- 2018-02 (Released:2018-02-00)
会議情報: 平成29年度宇宙科学情報解析シンポジウム(2018年2月16日. 宇宙航空研究開発機構宇宙科学研究所(JAXA)(ISAS)), 相模原市, 神奈川県 Meeting Information: Space Science Informatics Symposium FY2017 (February 16, 2018. Institute of Space and Astronautical Science, Japan Aerospace Exploration Agency (JAXA)(ISAS)), Sagamihara, Kanagawa Japan