研課題
J-GLOBAL ID：202104000868677788
研究課題コード：07051035
ディペンダブルシステムソフトウェア構築技術に関する研究
体系的課題番号：JPMJCR06N5
実施期間：2006 - 2011
実施機関 (1件)：
研究代表者：
(
, 大学院情報理工学系研究科, 助手 )
DOI：
https://doi.org/10.52926/JPMJCR06N5
研究概要：
本研究では、静的プログラム解析技術 (プログラムを数学的理論に基づいて解析することで、プログラムを実行することなく、その性質を知る技術)、特に型理論とモデル検査理論に基づき、システムソフトウェアの安全性・信頼性を保証・検証する技術を実現します。また、この技術を実用化し、実際にシステムソフトウェア開発者に広く利用してもらえるような現実的な検証ツールを開発・公開します。
タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した研究課題タイトルの用語をもとにしたキーワードです
,
研究制度：
＞
＞
上位研究課題：
実用化を目指した組込みシステム用ディペンダブル・オペレーティングシステム
研究所管機関：
報告書等：
前のページに戻る
