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
N1 - Funding Information:
The authors would like to thank the staff of Shonan Village for their valuable support. We acknowledge SFI grant 13/RC/2094 and EPSRC support.
Publisher Copyright:
© 2019 IEEE.
PY - 2019/5
Y1 - 2019/5
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
T2 - 14th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019
Y2 - 25 May 2019 through 26 May 2019
ER -