エレベーター制御用ソフトウェアの自動生成

スポンサーリンク

概要

論文の詳細を見る
近年、ソフトウェアの大規模化、および短ライフサイクルに伴う開発・保守の問題に対して、ソフトウェアの仕様を形式的に記述し、プログラム作成を自動化するアプローチが盛んになっている。特に制御用ソフトウェアにおいては、状態遷移モルをベースとした仕様化技術が用いられるようになってきており、比較的小規模な仕様を持つ電子レンジや冷蔵庫等のマイコンソフトウェアの分野に実適用可能となっている。本稿では、多くの運転モードを持ち、運転モード間の関係が複雑で、比較的規模の大きいという特徴を持った分野にこのようなアプローチを適用するための方法を、エレベータのシーケンス制御ソフトウェアを例にとって報告する。
一般社団法人情報処理学会の論文
1993-09-27

著者

関連論文

スポンサーリンク