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

2 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 1
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

Fingerprint

Intelligent buildings
Open systems
Technical presentations
Cyber Physical System

Keywords

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

ASJC Scopus subject areas

  • Hardware and Architecture
  • Software

Cite this

Bennaceur, A., Ghezzi, C., Tei, K., Kehrer, T., Weyns, D., Calinescu, R., ... 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

Modelling and Analysing Resilient Cyber-Physical Systems. / Bennaceur, Amel; Ghezzi, Carlo; Tei, Kenji; Kehrer, Timo; Weyns, Danny; Calinescu, Radu; Dustdar, Schahram; Hu, Zhenjiang; Honiden, Shinichi; Ishikawa, Fuyuki; Jin, Zhi; Kramer, Jeffrey; Litoiu, Marin; Loreti, Michele; Moreno, Gabriel; Muller, Hausi; Nenzi, Laura; Nuseibeh, Bashar; Pasquale, Liliana; Reisig, Wolfgang; Schmidt, Heinz; Tsigkanos, Christos; Zhao, Haiyan.

Proceedings - 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019. IEEE Computer Society, 2019. p. 70-76 8787077 (ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems; Vol. 2019-May).

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

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, Reisig, W, Schmidt, H, Tsigkanos, C & 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., 8787077, ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, vol. 2019-May, IEEE Computer Society, pp. 70-76, 14th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019, Montreal, Canada, 19/5/25. https://doi.org/10.1109/SEAMS.2019.00018
Bennaceur A, Ghezzi C, Tei K, Kehrer T, Weyns D, Calinescu R et al. 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. IEEE Computer Society. 2019. p. 70-76. 8787077. (ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems). https://doi.org/10.1109/SEAMS.2019.00018
Bennaceur, Amel ; Ghezzi, Carlo ; Tei, Kenji ; Kehrer, Timo ; Weyns, Danny ; Calinescu, Radu ; Dustdar, Schahram ; Hu, Zhenjiang ; Honiden, Shinichi ; Ishikawa, Fuyuki ; Jin, Zhi ; Kramer, Jeffrey ; Litoiu, Marin ; Loreti, Michele ; Moreno, Gabriel ; Muller, Hausi ; Nenzi, Laura ; Nuseibeh, Bashar ; Pasquale, Liliana ; Reisig, Wolfgang ; Schmidt, Heinz ; Tsigkanos, Christos ; Zhao, Haiyan. / Modelling and Analysing Resilient Cyber-Physical Systems. Proceedings - 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019. IEEE Computer Society, 2019. pp. 70-76 (ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems).
@inproceedings{a85af6068af341b7a83e8da025663ad4,
title = "Modelling and Analysing Resilient Cyber-Physical Systems",
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.",
keywords = "Adaptive methods for CPS, Cyber Physical Systems, Exemplars of CPS, Theoretical foundations of CPS",
author = "Amel Bennaceur and Carlo Ghezzi and Kenji Tei and Timo Kehrer and Danny Weyns and Radu Calinescu and Schahram Dustdar and Zhenjiang Hu and Shinichi Honiden and Fuyuki Ishikawa and Zhi Jin and Jeffrey Kramer and Marin Litoiu and Michele Loreti and Gabriel Moreno and Hausi Muller and Laura Nenzi and Bashar Nuseibeh and Liliana Pasquale and Wolfgang Reisig and Heinz Schmidt and Christos Tsigkanos and Haiyan Zhao",
year = "2019",
month = "5",
day = "1",
doi = "10.1109/SEAMS.2019.00018",
language = "English",
series = "ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems",
publisher = "IEEE Computer Society",
pages = "70--76",
booktitle = "Proceedings - 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019",

}

TY - GEN

T1 - Modelling and Analysing Resilient Cyber-Physical Systems

AU - Bennaceur, Amel

AU - Ghezzi, Carlo

AU - Tei, Kenji

AU - Kehrer, Timo

AU - Weyns, Danny

AU - Calinescu, Radu

AU - Dustdar, Schahram

AU - Hu, Zhenjiang

AU - Honiden, Shinichi

AU - Ishikawa, Fuyuki

AU - Jin, Zhi

AU - Kramer, Jeffrey

AU - Litoiu, Marin

AU - Loreti, Michele

AU - Moreno, Gabriel

AU - Muller, Hausi

AU - Nenzi, Laura

AU - Nuseibeh, Bashar

AU - Pasquale, Liliana

AU - Reisig, Wolfgang

AU - Schmidt, Heinz

AU - Tsigkanos, Christos

AU - Zhao, Haiyan

PY - 2019/5/1

Y1 - 2019/5/1

N2 - 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.

AB - 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.

KW - Adaptive methods for CPS

KW - Cyber Physical Systems

KW - Exemplars of CPS

KW - Theoretical foundations of CPS

UR - http://www.scopus.com/inward/record.url?scp=85071102500&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85071102500&partnerID=8YFLogxK

U2 - 10.1109/SEAMS.2019.00018

DO - 10.1109/SEAMS.2019.00018

M3 - Conference contribution

AN - SCOPUS:85071102500

T3 - ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems

SP - 70

EP - 76

BT - Proceedings - 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019

PB - IEEE Computer Society

ER -