11 September 2015
SyDe Summer School on Modeling and Verification of Cyber-Physical Systems
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.
Bernd Becker, Krish Chakrabarty, Goran Frehse, Sabine Glesner, Sami Haddadin, Klaus Havelund, Anne Haxthausen, Elsa Kirchner, Frédéric Mallet, Jens Dalsgaard Nielsen
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.
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.
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.