Proj
J-GLOBAL ID：202104010728482168
Research Project code：7700000672
刺激応答型実時間システムの自動検証技術:安全性・信頼性技術の開発
刺激応答型実時間システムの自動検証技術:安全性・信頼性技術の開発
National award number：JPMJPR02P3
Study period：2002 - 2005
Organization (1)：
Principal investigator：
(
, 情報処理研究部門, 研究員 )
DOI：
https://doi.org/10.52926/JPMJPR02P3
Research overview：
「設計の初期段階で誤りを検出しなければならない」、「いちど稼働させてしまったら容易に停止させることはできない」といった情報システムのための検証技術の確立を目指します。このために、ツリー・オートマトン理論に根ざした研究成果を応用し、検証手続きの自動化に取り組みます。無限状態をいかに効率よく扱うか、そのために刺激応答型実時間システムをどのように数理的モデルとして取り込むか、が本研究の焦点になります。
Terms in the title (5)：
Terms in the title
Keywords automatically extracted from the title.
,
,
,
,
Research program：
＞
＞
Parent Research Project：
機能と構成
Organization with control over the research：
Japan Science and Technology Agency
