時間オートマトン記述に基づくReal-Time Javaコード生成向きシステム設計仕様

抄録

本稿では、リアルタイムプログラムの機能仕様書と、システムの動作遷移をモデル化した時間オートマトン記述から、コード生成向きのシステム設計仕様を新たに生成する手法を提案する。リアルタイム性を要するソフウェア開発において、時間制約など要求仕様が頻繁に変更されることによる開発工程の圧迫が問題となっている。ここで、システムの設計仕様から自動的にコードを生成することが可能であれば、ソフトウェア開発工程での作業負荷の軽減が期待できる。このコード生成向きシステム設計仕様を利用することにより、オブジェクト指向言語Javaのリアルタイム仕様拡張言語であるRTSJ(Real-Time Specification for Java)を対象としたスケルトンコードの自動生成を目指す。