Bremen, Germany

SyDe Summer School on Modeling and Verification of Cyber-Physical Systems

when 9 September 2015 - 11 September 2015
duration 1 week
fee EUR 180

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.

Course leader

Bernd Becker, Krish Chakrabarty, Goran Frehse, Sabine Glesner, Sami Haddadin, Klaus Havelund, Anne Haxthausen, Elsa Kirchner, Frédéric Mallet, Jens Dalsgaard Nielsen

Target group

The summer school addresses PhD students in computer science, electrical engineering and related fields. We have a special focus on applications of cyber-physical systems in robotics and space systems.

Course aim

The school will give a comprehensive overview on models of cyber-physical systems. It will show design paradigms and methods for testing and verification. We welcome PhD students who are interested in a deep understanding of real-world problems.

Fee info

EUR 180: All participants will pay a fee of 180€. Early birds (until 31st of December 2014) will have the opportunity to submit a short paper. The best contributions will be included in the lecture notes, which appear in Springer's LNCS series.