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 ReisigHeinz Schmidt, Christos Tsigkanos, Haiyan Zhao

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019
PublisherIEEE Computer Society
Pages70-76
Number of pages7
ISBN (Electronic)9781728133683
DOIs
Publication statusPublished - 2019 May
Event14th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019 - Montreal, Canada
Duration: 2019 May 252019 May 26

Publication series

NameICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Volume2019-May
ISSN (Print)2157-2305
ISSN (Electronic)2156-7891

Conference

Conference14th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019
CountryCanada
CityMontreal
Period19/5/2519/5/26

Keywords

  • Adaptive methods for CPS
  • Cyber Physical Systems
  • Exemplars of CPS
  • Theoretical foundations of CPS

ASJC Scopus subject areas

  • Hardware and Architecture
  • Software

Fingerprint Dive into the research topics of 'Modelling and Analysing Resilient Cyber-Physical Systems'. Together they form a unique fingerprint.

  • Cite this

    Bennaceur, A., Ghezzi, C., Tei, K., Kehrer, T., Weyns, D., Calinescu, R., Dustdar, S., Hu, Z., Honiden, S., Ishikawa, F., Jin, Z., Kramer, J., Litoiu, M., Loreti, M., Moreno, G., Muller, H., Nenzi, L., Nuseibeh, B., Pasquale, L., ... Zhao, H. (2019). Modelling and Analysing Resilient Cyber-Physical Systems. In Proceedings - 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019 (pp. 70-76). [8787077] (ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems; Vol. 2019-May). IEEE Computer Society. https://doi.org/10.1109/SEAMS.2019.00018