組込みシステムの試作における挙動の形式的記述と動作検証(第3報) 同時並行状態の記述表現と検証

菊地 慶仁; 金井 理; 岸浪 健史

doi:10.11522/pscjspe.2004S.0.178.0

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

セッションID: C74

DOI https://doi.org/10.11522/pscjspe.2004S.0.178.0

会議情報

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

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

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

同時並行状態の記述表現と検証

*菊地慶仁, 金井理, 岸浪健史

著者情報

キーワード: 代数的仕様記述, 挙動モデリング, 組み込みシステム, 公理系

会議録・要旨集フリー

詳細

抄録

製品開発の初期段階では,筐体や操作システムの意匠的なデザインに重点が置かれるが,システムの挙動に関する分析は,重要視されていない.本報告では,設計初期段階において,システムの入力と出力の関係を形式的に記述し,挙動の安定性などに関する分析を行う方式の提案を行う.本報告では,状態遷移が階層化されている中での同時並行状態の記述表現,記述内容の検証について,Mathematicaを用いた試作システムについて報告する.

責任著者(Corresponding author)

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