文献

J-GLOBAL ID：201702263894143687   整理番号：17A1358901

サイバー-物理システムの多視点モデルのための制約に基づく一貫性検査【Powered by NICT】

Constraint-Based Consistency Checking for Multi-View Models of Cyber-Physical System

著者 (3件)： Yang Gang ,  Zhou Xingshe ,  Lian Yuanyuan
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： QRS-C  ページ： 370-376  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 計算,ソフトウェア,ネットワークと物理プロセスを統合した複雑サイバー物理システム(CPS)はそれぞれ異なるアスペクトを記述するためにマルチビューモデルによる設計に適している。多視点モデルとシステムレベル特性の保証整合性関係は,そのような方法論への主要な課題を残している。パラメータ上の制約に基づいて,このような一貫性のための包括的と形式的記述と検証の手法を提案した。モデル属性を抽出パラメータ,システム特性を関係づける異なるモデルのパラメータに対する制約への,これらの制約を解くマルチモデル挙動をシステムレベル特性を意味する可能性を見分ける。最後に,その適用性を証明するために適応走行制御システム設計プロセスにおける筆者らのアプローチを評価した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： ソフトウェア ,  ネットワーク ,  適応性 ,  *モデル ,  形式記述 ,  システム特性
準シソーラス用語： デザインプロセス ,  マルチモデル ,  *整合性チェック , 【Automatic Indexing@JST】

分類 (3件)： 計算機網  (JC03000K) ,  計算機システム開発  (JD02010R) ,  システムモデル  (IB02000Z)

タイトルに関連する用語 (5件)： 物理 ,  視点 ,  モデル ,  制約 ,  一貫性検査