研課題
J-GLOBAL ID:202104000868677788  研究課題コード:07051035

ディペンダブルシステムソフトウェア構築技術に関する研究

体系的課題番号:JPMJCR06N5
実施期間:2006 - 2011
実施機関 (1件):
研究代表者: ( , 大学院情報理工学系研究科 )
研究概要:
本研究では、静的プログラム解析技術 (プログラムを数学的理論に基づいて解析することで、プログラムを実行することなく、その性質を知る技術)、特に型理論とモデル検査理論に基づき、システムソフトウェアの安全性・信頼性を保証・検証する技術を実現します。また、この技術を実用化し、実際にシステムソフトウェア開発者に広く利用してもらえるような現実的な検証ツールを開発・公開します。
研究制度:
上位研究課題: 実用化を目指した組込みシステム用ディペンダブル・オペレーティングシステム
研究所管機関:
国立研究開発法人科学技術振興機構
報告書等:

前のページに戻る