文献

J-GLOBAL ID：201702249574182873   整理番号：17A0826316

高保証SPIRAL:ロボットと自動車制御のためのエンドツーエンド保証【Powered by NICT】

High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control

著者 (13件)： Franchetti Franz ,  Low Tze Meng ,  Mitsch Stefan ,  Mendoza Juan Pablo ,  Gui Liangyan ,  Phaosawasdi Amarin ,  Padua David ,  Kar Soummya ,  Moura Jose M.F. ,  Franusich Michael ,  Johnson Jeremy ,  Platzer Andre ,  Veloso Manuela M.
資料名： IEEE Control Systems Magazine  (IEEE Control Systems Magazine)
巻： 37  号： 2  ページ： 82-103  発行年： 2017年 
JST資料番号： D0895B  ISSN： 1066-033X  CODEN： ISMAD7  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 発電所のような重要インフラストラクチャ,現代の(半)自律走行車~,サイバー物理システム(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】

分類 (3件)： システム設計・解析  (IA02030D) ,  システム工学一般  (IB01000S) ,  科学技術教育  (AA04000C)

タイトルに関連する用語 (4件)： 保証 ,  ロボット ,  自動車制御 ,  エンドツーエンド