プロセス代数に基づく組込みシステム向けソフトウェア開発・検証技術の開発

実施期間：2009 - 2009
実施機関 (1件)：
研究代表者： ( , 情報システム部, 研究員 )
研究概要：

組込みシステムのソフトウェアの複雑化に伴い、その検証手法が課題となっており,数学的基盤に基づく形式手法やモデル検査などの技術が注目されている。CSPは、プロセス代数に基づく形式手法であると同時に、同じ概念のプログラム環境(Occam, JCSP等)が存在し、仕様記述から実装までを一貫して扱える。本課題では、CSPベースの組込みシステム向けプログラム環境を開発し、検証作業の効率化を目指す。

, , , ,

研究制度：＞＞＞＞
研究所管機関：

国立研究開発法人科学技術振興機構

前のページに戻る