文献

J-GLOBAL ID：202002256225043749   整理番号：20A1865681

サイバー物理システムのハードウェアインザループ試験のためのUMLプロファイルと解析フレームワーク【JST・京大機械翻訳】

HITECS A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems

著者 (6件)： Shin Seung Yeob (SnT Centre, University of Luxembourg, Luxembourg) ,  Chaouch Karim (SnT Centre, University of Luxembourg, Luxembourg) ,  Nejati Shiva (SnT Centre, University of Luxembourg, Luxembourg) ,  Sabetzadeh Mehrdad (SnT Centre, University of Luxembourg, Luxembourg) ,  Briand Lionel C. (SnT Centre, University of Luxembourg, Luxembourg) ,  Zimmer Frank (SES Networks, Luxembourg)
資料名： ACM Proceedings  (ACM Proceedings)
号： MODELS ’18  ページ： 357-367  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ハードウェアインザループ(HiL)試験はサイバー物理システム(CPS)の開発において重要なステップである。CPS HiLテストケースはハードウェアコンポーネントを操作し,時間がかかり,それらの挙動はCPS環境における不確実性によって影響を受ける。HiL試験に関連したリスクを緩和するために,技術者は(1)HiLテストケースがうまく行動し,すなわち,有効なテストシナリオを実行し,事故的に損傷するハードウェアを実行せず,(2)HiLテストケースは,HiLテストに割り当てられた時間予算内で実行することができることを保証しなければならない。本論文では,技術者がCPS HiLテストケースを系統的に特定し,解析するためのアプローチを提案する。UMLプロファイルメカニズムの悪化により,HiLテストケース仕様のための実行可能ドメイン特異的言語,HITECSを開発した。HITECSはUMLテストプロファイル(UTP)とUML動作言語(Alf)上に構築する。HITECSを用いて,HiLテストケースが良好に動作し,実際のHiL試験段階の前にこれらのテストケースの実行時間を推定するための解析手法を提供した。HITECSを衛星ドメインからの産業事例研究に適用した。結果は以下を示した。(1)HITECSは実際に使用できる。(2)HITECSは,これらのアサーションが系統的ガイダンスなしで定義される場合と比較して,HiLテストケースに対するより完全で効果的な良好な行動の主張を定義するのを助ける。(3)HITECSは,HiLテストケースがうまく振舞う実際的時間において確認した。(4)HITECSは,HiLテストケース実行時間を正確に推定した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： シミュレーション ,  言語 ,  不確実性 ,  *ハードウェア ,  事例研究
準シソーラス用語： 実行時間 ,  *ハードウェアインザループ ,  テストケース , 【Automatic Indexing@JST】

著者キーワード (5件)： サイバー物理システム ,  JavaPathFinder ,  モデル検査とシミュレーション ,  テストケースの仕様と解析 ,  UMLプロファイル

分類 (3件)： 二次電池  (YB04030K) ,  電装品  (QG03070C) ,  試験方法と試験  (QG02040O)

タイトルに関連する用語 (5件)： 物理 ,  ハードウェアインザループ ,  試験 ,  UMLプロファイル ,  解析フレームワーク