文献

J-GLOBAL ID：202102247846126297   整理番号：21A0462913

CPS検証工学に向けて【JST・京大機械翻訳】

Towards CPS Verification Engineering

著者 (4件)： Mueller Andreas (University of Applied Sciences, Upper Austria, Hagenberg, Austria) ,  Mitsch Stefan (Computer Science Department, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA) ,  Retschitzegger Werner (Department of Cooperative Information Systems, Johannes Kepler University, Linz, Austria) ,  Schwinger Wieland (Department of Cooperative Information Systems, Johannes Kepler University, Linz, Austria)
資料名： ACM Proceedings  (ACM Proceedings)
号： iiWAS ’20  ページ： 367-371  発行年： 2020年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 正式な検証技術は,重要なサイバー-フィカルシステム(CPS)の安全性を確保するために避けられないが,そのようなCPSの設計と解析をサポートするための工学技術は,まだそれらの乳児期にある。したがって,CPS検証のための適切な工学技術の提供に向けた最初のステップを取り上げ,既存の手法によってまだ取り組まれていない課題を特定し,CPS検証モデルのための完全に支援された工学プロセスに向けての道を拓くための研究ロードマップを提案することにより,最新の手法の提案をした。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *地図 ,  *成長期
準シソーラス用語： ロードマップ ,  乳児期 , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (2件)： 検証 ,  工学