WEKO3
アイテム
組込み制御ソフトウェア開発のためのデータ整合性検証環境
https://ipsj.ixsq.nii.ac.jp/records/187579
https://ipsj.ixsq.nii.ac.jp/records/1875795291ab21-128b-4c60-bc35-55fff26f0893
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z80-6H-03.pdf (458.7 kB)
|
Copyright (c) 2018 by the Information Processing Society of Japan
|
| Item type | National Convention(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2018-03-13 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 組込み制御ソフトウェア開発のためのデータ整合性検証環境 | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | コンピュータシステム | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 東京都市大 | ||||||||||||
| 著者所属 | ||||||||||||
| 東京都市大 | ||||||||||||
| 著者所属 | ||||||||||||
| 東京都市大 | ||||||||||||
| 著者名 |
岩崎, 友哉
× 岩崎, 友哉
× 兪, 明連
× 横山, 孝典
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 本発表では,プリエンティブなマルチタスク環境で動作する組込み制御ソフトウェアにおけるデータの整合性を検証する環境を提案する.組込み制御ソフトウェアではMATLAB/Simulinkなどを用いたシミュレーションにより,制御ロジックの検証は可能になっている.一方,マルチタスク構成のソフトウェアの振る舞いの検証は自動化できるに至っていない.本発表ではモデル検査ツールSPINを用いて組込み制御ソフトウェアのデータの整合性を検証する手法と,UML記述されたソフトウェアモデルからデータ整合性検証のためのPromelaコードを生成するツールを提案する.これにより組込み制御ソフトウェアの開発効率向上を目指す. | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AN00349328 | |||||||||||
| 書誌情報 |
第80回全国大会講演論文集 巻 2018, 号 1, p. 101-102, 発行日 2018-03-13 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
