文献

J-GLOBAL ID：201702290887790837   整理番号：17A1635314

招待:サイバーフィジカルシステムのタイミング挙動を検証するためのテストベッド【Powered by NICT】

INVITED: A testbed to verify the timing behavior of Cyber-Physical Systems

著者 (10件)： Shrivastava Aviral (Arizona State University, USA) ,  Mehrabian Mohammadreza (Arizona State University, USA) ,  Khayatian Mohammad (Arizona State University, USA) ,  Derler Patricia (National Instruments, USA) ,  Andrade Hugo (National Instruments, USA) ,  Stanton Kevin (Intel, USA) ,  Ya-Shian Li-Baboud (National Institute of Standards and Technology, USA) ,  Griffor Edward (National Institute of Standards and Technology, USA) ,  Weiss Marc (Qulsar, USA) ,  Eidson John (University of California Berkeley, USA)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： DAC  ページ： 1-6  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： サイバーフィジカルシステム(CPS)の基礎的側面である。システムイベントの正しい時間とタイミングは環境への最適化された反応性に決定的な役割を果たし,知識,測定,予測,およびCPS挙動の制御における適時性,正確度,及び精度の点で。しかし,仕様とCPSのタイミング要求の検証の両方は,典型的には,特定の問題手法で行った。実行可能なが,システムは高価で解析し,維持するために困難になることができ,正確なタイミング挙動を実装し,検証のプロセスはerrorproneできる。陽的時間支援ツールとプラットフォームにおける試験タイミング挙動の検証テストベッドの開発に向けて,本論文では,まず,分散CPSにおけるタイミング制約を表現する方法を記述した。,系統的フレームワークによる分散CPSのタイミングを検証し解析的に分散テストベッドの設計と初期実装を概説した。最後に,二つの分散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】

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： サイバーフィジカルシステム ,  挙動 ,  検証 ,  テストベッド