抄録

◎黒木裕太（東京都市大）・田村雅成（日立INSソフトウェア）・神山達哉（エー・アンド・デイ）・兪　明連・横山孝典（東京都市大）

本論文では，組み込み制御ソフトウェアの開発効率向上を目的に，状態遷移を含む制御モデルに対応可能なSimulink・UMLモデル変換ツールを提案する．本モデル変換ツールは，Stateflowブロックを含むSimulinkモデルを入力し，状態遷移に応じて実行する処理を切り替えられるUMLモデル，具体的にはクラス図，オブジェクト図，シーケンス図を出力する．そして，複数のSimulinkモデルに対して適用実験を行い，本モデル変換ツールの有用性を確認した．