(49) 組込みシステムの試作における挙動の代数的記述と動作検証
北海学園大学工学部研究報告, 第31号, pp.191-198, 2004-2
本研究では，設計初期段階におけるシステムの入出力関係や状態遷移規則を形式的に記述し，挙動の安定性や操作性などを分析することを目的とする．このために，代数的な仕様の記述と公理系に基づいた検証方式の提案を行う．また有効性の確認として，提案した方法に基づいて，状態遷移機械を対象とした状態遷移則の基本的な性質の検証を行う．さらに状態遷移が階層化されている場合について，記述方法と検証項目の提案及び仕様の検証を行う．
PREVIOUS << 
>> NEXT