Modelling and Analysing Resilient Cyber-Physical Systems - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Modelling and Analysing Resilient Cyber-Physical Systems

Amel Bennaceur
Timo Kehrer
  • Fonction : Auteur
Jeffrey Kramer
  • Fonction : Auteur
Marin Litoiu
  • Fonction : Auteur
  • PersonId : 977447
Hausi Müller
  • Fonction : Auteur
  • PersonId : 891691
Laura Nenzi
  • Fonction : Auteur
Liliana Pasquale
  • Fonction : Auteur
Wolfgang Reisig
  • Fonction : Auteur
Heinz Schmidt
  • Fonction : Auteur
Christos Tsigkanos
  • Fonction : Auteur
Haiyan Zhao
  • Fonction : Auteur

Résumé

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 rethink 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.
Fichier principal
Vignette du fichier
seams18_cameraReady.pdf (535.08 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02104308 , version 1 (19-04-2019)

Identifiants

  • HAL Id : hal-02104308 , version 1

Citer

Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, et al.. Modelling and Analysing Resilient Cyber-Physical Systems. 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2019, Montréal, Canada. ⟨hal-02104308⟩
212 Consultations
313 Téléchargements

Partager

Gmail Facebook X LinkedIn More