時間オートマトンによる振舞いモデルに基づく高信頼Real－TimeJavaコード生成手法

摘要

本稿では，実時間システムの振舞いをモデル化した時間オートマトンと，メモリ領域や非同期イベントハンドラなどの条件を指定したシステム設計仕様を用いて，オブジェクト指向言語Javaのリアルタイム仕様拡張言語であるRTSJ（Real－TimeSpeciBcationforJava）のプログラムコードを自動生成する事牡を提案する．