Conference Paper 2019 5 IEEE : Institute of Electrical and Electronics Engineers Modelling and Analysing Resilient Cyber-Physical Systems
耐久性のあるサイバーフィジカルシステムのモデリングと分析
Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel Moreno, Hausi Muller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang ReisigShow 3 more
【抄録】From smart buildings to medical devices to smart nations, software systems increasingly integrate computation, networking, and interaction with the physical environment. These systems are known as Cyber-Physical Systems (CPS). While these systems open new opportunities to deliver improved quality of life for people and reinvigorate computing, their engineering is a difficult problem given the level of heterogeneity and dynamism they exhibit. While progress has been made, we argue that complexity is now at a level such that existing approaches need a major re-think to define principles and associated techniques for CPS. In this paper, we identify research challenges when modelling, analysing and engineering CPS. We focus on three key topics: theoretical foundations of CPS, self-adaptation methods for CPS, and exemplars of CPS serving as a research vehicle shared by a larger community. For each topic, we present an overview and suggest future research directions, thereby focusing on selected challenges. This paper is one of the results of the Shonan Seminar 118 on Modelling and Analysing Resilient Cyber-Physical Systems, which took place in December 2018. © 2019 IEEE.
【抄録日本語訳】スマートビルディングから医療機器、スマート国家に至るまで、ソフトウェアシステムは計算、ネットワーク、物理環境との相互作用をますます統合しています。これらのシステムは、サイバーフィジカルシステム(CPS)として知られています。これらのシステムは、人々の生活の質を向上させ、コンピューティングを活性化させる新しい機会を提供する一方で、そのエンジニアリングは、それらが示す異質性とダイナミズムのレベルを考えると難しい問題である。これまでにも進歩はあったが、現在では、CPSの原理と関連技術を定義するために、既存のアプローチを大きく見直す必要があるレベルまで複雑化していると主張する。この論文では、CPSのモデリング、分析、エンジニアリングにおける研究課題を明らかにする。CPSの理論的基礎、CPSの自己適応手法、より大きなコミュニティで共有される研究手段としてのCPSの模範という3つの主要なトピックに焦点を当てる。それぞれのトピックについて、概要を説明し、今後の研究の方向性を示唆することで、選択された課題に焦点を当てる。本論文は、2018年12月に開催された湘南セミナー118 on Modelling and Analysing Resilient Cyber-Physical Systemsの成果の1つである。© 2019 IEEE.