文献

J-GLOBAL ID：201702235994592220   整理番号：17A1772383

高保証サイバー-物理システムのための要素ベースのシンプレックスアーキテクチャ【Powered by NICT】

A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems

著者 (7件)： Phan Dung ,  Yang Junxing ,  Clark Matthew ,  Grosu Radu ,  Schierman John ,  Smolka Scott ,  Stoller Scott
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ACSD  ページ： 49-58  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： コンポーネントベースシンプレックスアーキテクチャ(CBSA),コンポーネントベースサイバー物理システム(CPS)の実行時安全性を保証するための新しいフレームワークを提案した。A~G契約と大域的性質が満たされることをまだ実行時間保証を提供しながら,高度,非認証制御器を実行するコンポーネントベースCPS可能にするCBSAはヘルペス制御アーキテクチャのコア原理と仮定-保証(A G)推論を統合した。CBSAでは,ネスト化した,直列共振,あるいは並列的に構成できる,多重ヘルペス例がシステム全体の特性を保証するために配位している。A~G推論とシンプレックスアーキテクチャの組合せは大きな利益を産生することを挑戦的な問題である。A~G契約を利用することにより,著者らは組成CBSAsのためのスイッチング論理を決定し,それによって他のアプローチで遭遇する状態爆発を軽減することができた。もう一つの利点は,システム全体の安全性確保の証明を分解システムアーキテクチャのコンポーネントベース構造に対応するサブ証明にA~G証明規則を使用することができることである。もヘルペスインスタンス間の配位したスイッチングの概念,CBSAスイッチング論理に関する推論に組成アプローチの鍵となる成分を導入した。基底ローバのための構成要素ベース管理システムと提案フレームワークを示した。この系のCBSAはエネルギー安全性(ローバは電力の切れない),及び衝突自由(静止障害物と衝突しないローバ)を保証することを証明した。ミッション完了を保証するローバのためのCBSAを考察した:全ての標的目的地は,規定された時間内で受診した。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件)： 遷移金属元素(鉄族元素を除く)の錯体の結晶構造  (BK09030X) ,  第3族元素の錯体  (CE01060J) ,  第11族,第12族元素の錯体  (CE01050Y)

タイトルに関連する用語 (3件)： 保証 ,  物理 ,  要素