動的組込みシステムの仕様記述言語の開発

スポンサーリンク

概要

論文の詳細を見る
組込みシステムは外部からの信号を入力して,多数のタスクが通信しながら並行動作して,計算を進める.組込みシステムの主要な特徴としては,多数のタスクの並行動作,タスク間の同期及び非同期の通信,リアクティブ性,リアルタイムハイブリッド性などがある.最近では,組込みシステムの新しいアプリケーションとして,モバイルコンピューティングや動的再構成可能組込みシステムがあり,これらは構成要素が動的に生成消滅してシステム構成が動的に変化するといった特徴がある.本論文では,このようなシステムを仕様記述できるオートマトンを提案する.提案言語の構文と意味などを定義して,検証手法を示す。
2013-10-30

著者

関連論文

もっと見る

スポンサーリンク