組込みシステムの試作における挙動の形式的記述と動作検証(第6報) 状態遷移仕様入力用フォーマットの開発

菊地 慶仁; 金井 理; 岸浪 建史; 坂田 豊; 菊田 幸明

doi:10.11522/pscjspe.2006S.0.1.0

2006年度精密工学会春季大会

セッションID: A05

DOI https://doi.org/10.11522/pscjspe.2006S.0.1.0

会議情報

主催: 社団法人精密工学会

デジタルスタイルデザイン(1)

組込みシステムの試作における挙動の形式的記述と動作検証(第6報)

状態遷移仕様入力用フォーマットの開発

*菊地慶仁, 金井理, 岸浪建史, 坂田豊, 菊田幸明

著者情報

キーワード: ユーザインターフェース, 組み込みシステム, デジタルモックアップ, 状態遷移仕様, 表計算ソフト

会議録・要旨集フリー

詳細

抄録

第1報から第5報にかけて,組み込み機器のユーザインターフェースに関する挙動を代数的に表現して検証する方式について提案してきた.本報告では,各社のヒアリングの結果から状態遷移仕様の入力として,広く一般に用いられている表計算ソフトを用いる方式の,表の形式及び実際に表を用いた開発の形態などについて報告する.

責任著者(Corresponding author)

J-STAGEへの登録はこちら（無料）