モデルベース開発

モデルベース開発による高信頼性プログラム生成

研究の背景
研究方法：プログラムの動作(仕様)記述のための論理体系 I-LTL の提案
適用例

論理式による動作の記述

論理式からペトリネットの生成
従来手法との相違

講座配属を考えている学部学生へ（学内限定）

研究についての問い合わせは (inomata＠iwate-pu.ac.jp)までお願いします.

猪股モデリング実践論組込みシステム論ＲＴＳ講座学部県大(学外版)