ABOUT US
今日、組み込みシステムや社会インフラシステムは、国家や人命の安全を支える根幹として位置づけられており、それらの超高信頼性を確保することは社会全体の安全性を高める上での最重要課題の一つです。超高信頼ソフトウエアシステム検証学研究室では、宇宙航空研究開発機構 研究開発部門 第三研究ユニットの持つ、宇宙システムにおける超高信頼性や安全性に関する研究および実践における高い実績にもとづいて、極限環境で正しい動作が求められるソフトウェアの超高信頼性・安全性を実現するためのソフトウェア検証方法論を研究します。特に、現在の重要課題である、複雑分散ソフトウエアシステムの検証 網羅性保証(End-to-End評価)に必要な以下の方法論を研究・教育します。これらの研究成果は、宇宙システムに限らない、社会基盤システム全般の超高信頼化への応用が期待されています。
NEWS & TOPICS
- 研究室のページを開設しました(2016.4.1)