文献

J-GLOBAL ID：202002217204807022   整理番号：20A2516092

複雑なサイバー-物理システムの検証および検証における努力切断技術としての妥当性フレーム概念【JST・京大機械翻訳】

Validity frame concept as effort-cutting technique within the verification and validation of complex cyber-physical systems

著者 (5件)： Van Acker Bert (University of Antwerp and Flanders Make vzw, Belgium) ,  Oakes Bentley James (University of Antwerp and Flanders Make vzw, Belgium) ,  Moradi Mehrdad (University of Antwerp and Flanders Make vzw, Belgium) ,  Demeulenaere Paul (University of Antwerp and Flanders Make vzw, Belgium) ,  Denil Joachim (University of Antwerp and Flanders Make vzw, Belgium)
資料名： ACM Proceedings  (ACM Proceedings)
号： MODELS ’20  ページ： 1-10  発行年： 2020年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 複雑なサイバー-物理システム(CPS)の性能向上要求と認証ニーズは,開発段階だけでなく検証と検証(V&V)相においても,工学プロセスの複雑性を上げる。CPSの複雑性を扱う証明技術は,モデルベース設計(MBD)である。それにもかかわらず,複雑なCPSの検証と検証は,まだ徹底的プロセスであり,フロントロードV&V活動に対するモデルの有用性は,モデルの知識と,実施した仮想実験の正当性に大きく依存する。本論文では,複雑なCPSの工学プロセスのV&V位相の努力(およびコスト)を,システム構成要素に関する知識を強化することによって低減でき,対応する妥当性フレーム内でそれを明示的に捉える方法を検討した。この努力削減は,効率的なV&Vプロセスを生成し,また,境界値または故障注入試験のセットアップや実行のような異なるモデルライフステージで活動を自動化することにより,捕捉されたシステム知識の利用から生じる。これは,複雑なCPS:安全臨界適応巡航制御システムの文脈で議論される。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *自動化 ,  制御系 ,  臨界 ,  Vプロセス ,  位相 ,  認証
準シソーラス用語： 故障注入 ,  システム構成 ,  複雑性 , 【Automatic Indexing@JST】

分類 (5件)： 飛しょう体の設計・構造  (QK04010H) ,  電装品  (QG03070C) ,  計算機システム開発  (JD02010R) ,  移動通信  (ND08030H) ,  燃焼一般  (XE04010W)

タイトルに関連する用語 (4件)： 物理 ,  検証 ,  妥当性 ,  概念