2015 SyDe Summer School on Modeling and Verification of CPS

The 2015 SyDe Summer School on Modeling and Verification of Cyber-Physical Systems was held at Haus der Wissenschaft in Bremen, Germany from 9 September to 11 September 2015. Lecture notes will be published in the series LNCS by Springer publishing.

SUMMARY:

Today, embedded systems are ubiquitous in our everyday life, in cell phones and washing machines, but also in cars and even medical equipment. With this escape from their former habitat within PCs, these systems are increasingly interacting with their environment: Sensors measure physical phenomena like temperature, acceleration, or magnetic fields, while actors manipulate the outside world, like in robots or electronically controlled combustion engines. The combination of an electronic system with a physical process is called a cyber-physical system (CPS).

With this new paradigm, many new challenges need to be faced during modeling, design, implementation, verification, and test. For the design of hardware and software of CPS, new approaches need to be developed, taking into account non-functional requirements like energy efficiency and reliability even in harsh environments. Real-time aspects often play an important role. Furthermore, if a system is interacting with its physical environment, it becomes difficult to prove the functional correctness of the system. The combination of discrete and continuous behavior and the treatment of noisy sensor data are challenging problems.

SPEAKERS:

Bernd Becker (Albert-Ludwigs University, Freiburg, Germany)
Kirsh Cakrabarty (Duke University, North Carolina, USA)
Goran Frehse (Verimag, Grenoble, France)
Sabine Glesner (Technical University of Berlin, Germany)
Sami Haddadin (University of Hannover, Germany)
Klaus Havelund (NASA Jet Propulsion Lab, Pasadena, USA)
Anne Haxthausen (Technical University of Denmark)
Elsa Kirchner (DFKI, Breman, Germany)
Frederic Mallet (Sophia Antipolis, Nice, France)
Jens Dalsgaard Nielsen (Aalborg University, Denmark)