研課題
J-GLOBAL ID:202104010728482168
研究課題コード:7700000672
刺激応答型実時間システムの自動検証技術:安全性・信頼性技術の開発
体系的課題番号:JPMJPR02P3
実施期間:2002 - 2005
実施機関 (1件):
研究代表者:
(
, 情報処理研究部門, 研究員 )
DOI:
https://doi.org/10.52926/JPMJPR02P3
研究概要:
「設計の初期段階で誤りを検出しなければならない」、「いちど稼働させてしまったら容易に停止させることはできない」といった情報システムのための検証技術の確立を目指します。このために、ツリー・オートマトン理論に根ざした研究成果を応用し、検証手続きの自動化に取り組みます。無限状態をいかに効率よく扱うか、そのために刺激応答型実時間システムをどのように数理的モデルとして取り込むか、が本研究の焦点になります。
タイトルに関連する用語 (5件):
タイトルに関連する用語
J-GLOBALで独自に切り出した研究課題タイトルの用語をもとにしたキーワードです
,
,
,
,
研究制度:
>
>
上位研究課題:
機能と構成
研究所管機関:
報告書等:
前のページに戻る