文献

J-GLOBAL ID：201902219137572235   整理番号：19A2417910

複数の分析,必要条件:自動車モデルベース開発における試験と検証の簡素化【JST・京大機械翻訳】

Multiple Analyses, Requirements Once: Simplifying Testing and Verification in Automotive Model-Based Development

著者 (6件)： Berger Philipp (RWTH Aachen University, Aachen, Germany) ,  Nellen Johanna (RWTH Aachen University, Aachen, Germany) ,  Katoen Joost-Pieter (RWTH Aachen University, Aachen, Germany) ,  Abraham Erika (RWTH Aachen University, Aachen, Germany) ,  Waez Md Tawhid Bin (Ford Motor Company, Dearborn, USA) ,  Rambow Thomas (Ford Research and Innovation Center Aachen, Aachen, Germany)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11687  ページ： 59-75  発行年： 2019年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 産業モデルベース開発(MBD)フレームワークにおいて,要求は典型的にテキスト記述を用いて情報的に規定されている。形式的方法の適用を可能にするために,これらの仕様は,異なる開発レベルでモデルを分析するために適用されるべきすべての形式的ツールの入力言語において形式化される必要がある。本論文では,異なる検証ツールの仕様言語への要求とそれらの完全に自動化された翻訳の計算機支援形式仕様に対する統一手法を提案した。最初のSimulinkモデルが開発され,実行可能なコードが自動的に生成される二段階MBDシナリオを考察した。ここでは,(i)形式的ではあるが依然として必要条件のテキスト仕様に対する仕様言語とプロトタイプツールを提案した。(ii)これらの要求はSimulinkモデルの検証のためのSimulink設計検証器の入力言語に自動的に変換でき,(iii)この統一フレームワークが自動形式検証の他にテストケースの自動生成を可能にすることを示した。Copyright 2019 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 仕様記述言語 ,  *簡素化 ,  言語 ,  計算機械 ,  *自動車 ,  プロトタイプ ,  *必要条件 ,  自動化
準シソーラス用語： 自動生成 ,  テストケース ,  形式的検証 ,  設計検証 ,  Simulink ,  テキスト ,  *モデルベース開発 , 【Automatic Indexing@JST】

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (7件)： 分析 ,  必要条件 ,  自動車 ,  モデルベース開発 ,  試験 ,  検証 ,  簡素化