講演抄録/キーワード |
講演名 |
2016-01-25 18:30
モデル検査とテストを応用した制御システム検証手法の検討 ○松原潤弥・髙木理恵子・中澤輝幸(デンソークリエイト)・東道徹也・井原博之・川合幸典(デンソー) MSS2015-52 SS2015-61 |
抄録 |
(和) |
近年の車載制御システムの複雑化により,システムの信頼性の確保とその客観性が求められている.このため,システム設計の過程でより形式的な記述や検証手法の導入が試みられているが,分野や用途が限定的であるのが現状である.本研究では,現実的に形式手法を応用する方法として,要件から系統的にテストケースを構築する方法論を検討する.また評価実験として実システムに既存のカバレッジ基準の適用結果を示し考察を述べる. |
(英) |
Due to the automotive control systems have become complex, it is necessary to ensure the dependability of the systems. In order to achieve the dependability, many formal descriptions and verification techniques are proposed for the system design, but applications are very limited cases. This study considers methodologies to build test case systematically from requirements for the purpose of introducing the benefits that concepts and techniques of the formal methods. It also provides some results of applying existing requirement-based coverage criteria to existing artifacts of a real system. |
キーワード |
(和) |
モデル検査 / 制御システム / コンポジショナル検証 / UFCカバレッジ / 自動テストケース生成 / / / |
(英) |
model-checking / control systems / compositional verification / UFC coverage / automatic test-case generation / / / |
文献情報 |
信学技報, vol. 115, no. 420, SS2015-61, pp. 99-103, 2016年1月. |
資料番号 |
SS2015-61 |
発行日 |
2016-01-18 (MSS, SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
MSS2015-52 SS2015-61 |