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

Study period：2009 - 2009
Organization (1)：
Principal investigator： ( , 情報システム部, 研究員 )
Research overview：

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

, , , ,

Research program：＞＞＞＞
Organization with control over the research：

Japan Science and Technology Agency

Return to Previous Page