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

研究課題

体系的番号	JPMJCR06N5
DOI	https://doi.org/10.52926/JPMJCR06N5
研究代表者	前田俊行東京大学, 大学院情報理工学系研究科, 助手
研究期間 (年度)	2006 – 2011
概要	本研究では、静的プログラム解析技術 (プログラムを数学的理論に基づいて解析することで、プログラムを実行することなく、その性質を知る技術)、特に型理論とモデル検査理論に基づき、システムソフトウェアの安全性・信頼性を保証・検証する技術を実現します。また、この技術を実用化し、実際にシステムソフトウェア開発者に広く利用してもらえるような現実的な検証ツールを開発・公開します。
研究領域	実用化を目指した組込みシステム用ディペンダブル・オペレーティングシステム

報告書

(2件)