Organizers / Chairs:

• Andy Pimentel (University of Amsterdam, Netherlands)

• Martina Maggio (University of Saarland, Germany) 

Session Abstract: 

Due to the increasing performance demands of mission- and safety-critical Cyber Physical Systems (CPS), these systems exhibit a rapidly growing complexity, manifested by an increasing number of (distributed) computational cores and application components connected via complex networks. However, with the growing complexity and interconnectivity of these systems, the chances of hardware failures as well as disruptions due to cyber-attacks will also quickly increase. System adaptivity, for example in the form of dynamically remapping of application components to processing cores, represents a promising technique to handle this challenging scenario. In this session, we address the (consequences of the) idea of deploying runtime adaptivity to mission- and safety-critical CPS, yielding dynamically morphing systems, to establish robustness against computational hurdles, component failures, and cyber-attacks.

Speakers: 

• Clemens Grelck (University of Amsterdam, Netherlands) 

  The TeamPlay Coordination Language for Dependable Systems

• Sasa Misailovic (University of Illinois at Urbana-Champaign, USA) 

  Programming Systems for Helping Developers Cope with Uncertainty

• Stefanos Skalistis (Raytheon Technologies, Ireland) 

  Certification challenges of adaptive avionics systems