組込みシステムの試作における挙動の形式的記述と動作検証(第4報) 非決定性問題への対応

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

doi:10.11522/pscjspe.2004A.0.17.0

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

セッションID: A18

DOI https://doi.org/10.11522/pscjspe.2004A.0.17.0

会議情報

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

デジタルスタイルデザイン（1）

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

非決定性問題への対応

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

著者情報

キーワード: 代数的仕様表現, グラフィックユーザインターフェース, 自動検証

会議録・要旨集フリー

詳細

抄録

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

責任著者(Corresponding author)

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