研究概要

　人工衛星、ロケットなどの宇宙機に搭載される電子機器には、システムをコントロールするソフトウェアを始めとし、様々な「論理」が組み込まれています。本研究では、システムの高い品質と経済的合理性（競争力）の両立を目指し、システムの論理をうまく、安く、早く、作るための設計検証技術の研究と実践に取り組んでいます。

研究の目標

システムの論理に対する合理的な設計検証技術の実現

実現したいこと・内容

　システムの論理はハードウェアのようには実体が見えにくいという「非可視性」によって問題が見つけにくく、またその多くが人間の「知的作業」の産物であるという特性をもっています。したがって信頼性と経済性を両立させるには、如何にそれらの可視性を高め、如何に知的作業範囲を局所化するかが重要といえます。本研究では、設計や検証に係る知識をどのようにモデル化するか、どのように知的作業範囲を局所化するかを考え、より上流でのソフトウェア要求やシステム論理設計に対する適切なリスク判断を実現することによりソフトウェアの高い品質（耐故障性）とプロジェクトの経済的合理性を両立させ、不確実性の高い環境を生きる宇宙機（ソフトウェア・論理）の実現に貢献します。