文献

J-GLOBAL ID：201902258592570736   整理番号：19A0527781

通信組込みシステムのモデリングと検証【JST・京大機械翻訳】

Communicating embedded systems modeling and validation

著者 (3件)： Mili Saoussen (Quartz Laboratory, EISTI, 95000 Cergy, France) ,  Nguyen Nga (Quartz Laboratory, EISTI, 95000 Cergy, France) ,  Chelouah Rachid (Quartz Laboratory, EISTI, 95000 Cergy, France)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ISSE  ページ： 1-5  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,通信埋込みシステムに対するモデリングと検証法を提案した。このアプローチは3段階からなる。最初のものは,接続性プロファイルによりUMLメタモデルを拡張することにより,接続システムのSysML半形式表現を導入する。第2ステップは,SysMLで表現された半形式モデリングから,遷移ベースのデータフロー言語,NuSMVで表現される形式表現に向けて,自動変換を実行する。最後のステップは,NuSMVモデルチェッカーを用いることにより,接続されたコンポーネントを通しての誤差の伝搬に対する埋込みシステムの検証と検証を行う。著者らの研究を強化するために,車両のJeep Cherokeeに関する事例研究を,サイバー攻撃に対する脆弱性のために選択した。このプロセスは,設計故障を形式的に証明するために適用される。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 連結性 ,  *組込みシステム ,  *通信 ,  言語 ,  *モデリング ,  故障 ,  事例研究
準シソーラス用語： 脆弱性 ,  自動変換 ,  データフロー ,  システムモデリング言語 ,  メタモデル ,  埋込みシステム , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (3件)： 組込みシステム ,  モデリング ,  検証