1. 前のページに戻る

刺激応答型実時間システムの自動検証技術:安全性・信頼性技術の開発

研究課題

戦略的な研究開発の推進 戦略的創造研究推進事業 さきがけ

体系的番号 JPMJPR02P3
DOI https://doi.org/10.52926/JPMJPR02P3

研究代表者

大崎 人士  産業技術総合研究所, 情報処理研究部門, 研究員

研究期間 (年度) 2002 – 2005
概要「設計の初期段階で誤りを検出しなければならない」、「いちど稼働させてしまったら容易に停止させることはできない」といった情報システムのための検証技術の確立を目指します。このために、ツリー・オートマトン理論に根ざした研究成果を応用し、検証手続きの自動化に取り組みます。無限状態をいかに効率よく扱うか、そのために刺激応答型実時間システムをどのように数理的モデルとして取り込むか、が本研究の焦点になります。
研究領域機能と構成

報告書

(1件)
  • 2005 終了報告書 ( PDF )

URL: 

JSTプロジェクトデータベース掲載開始日: 2016-04-26   JSTプロジェクトデータベース最終更新日: 2025-03-26  

サービス概要 よくある質問 利用規約

Powered by NII jst