文献

J-GLOBAL ID：201302266962134658   整理番号：13A0783086

モデル変換と振る舞い検証を活用した組み込み制御ソフトウェア設計法

著者 (3件)： 田村雅成 (東京都市大) ,  兪明連 (東京都市大) ,  横山孝典 (東京都市大)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 112  号： 481(CPSY2012 85-99)  ページ： 181-186  発行年： 2013年03月06日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 組み込み制御ソフトウェア開発の効率向上のため,Simulinkモデルから実装を考慮したUMLモデルを効率的に設計する手法を提案する。一般に,組み込み制御ソフトウェア開発は制御ロジックを作成する制御設計と制御ロジックを元にソフトウェアモデルを作成するソフトウェア設計の2段階で行う。近年の制御設計ではMATLAB/Simulinkを用いて制御ロジックをSimulinkモデルとして設計することが多い。しかし,MATLAB/Simulinkはプリエンプティブなマルチタスク環境でのタスク間のプリエンプションなどについては考慮していない。そのため,制御ロジックをそのままソフトウェアとして実装する場合,プリエンプションによってデータの不整合が発生する恐れがあり,同期や通信の処理を追加する必要がある。我々はこれまでに,制御設計からソフトウェア設計への移行をスムーズに行うため,Simulinkモデルをソフトウェア設計に適した形のUMLモデルに変換するモデル変換ツールを開発してきた。本論文では,生成されたUMLモデルをプリエンプティブなマルチタスク環境で実行した場合に起こりうるデータの不整合を,モデル検査ツールSPINを用いて発見する手法を提案する。そして,モデル変換ツールが生成したUMLモデルから検証用のPROMELAコードを自動生成するツールを開発する。これにより,効率的なソフトウェア設計を可能とする。(著者抄録)

シソーラス用語： *制御プログラム ,  計算機システム ,  *ソフトウェア設計 ,  *UML【モデリング言語】 ,  シミュレータプログラム ,  プログラムパッケージ ,  スケジューリング ,  *モデル検査 ,  支援プログラム ,  生産 ,  組込みシステム
準シソーラス用語： *制御ソフトウェア ,  Simulink ,  MATLAB ,  プリエンプティブスケジューリング ,  ソフトウェアツール ,  自動生成

分類 (4件)： オペレーティングシステム  (JD03020J) ,  計算機システム開発  (JD02010R) ,  応用プログラミング言語  (JD03052Y) ,  計算理論  (JB02000A)

タイトルに関連する用語 (6件)： モデル変換 ,  検証 ,  活用 ,  組み込み ,  制御ソフトウェア ,  設計法