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, Frdric 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.

University of Bremen
Address: Computer Science, Graduate School System Design, University of Bremen FB3 Bibliothekstr. 1 (MZH)
Postal code: 28359
City: Bremen
Country: Germany
Website: http://www.informatik.uni-bremen.de/syde/index.php?summerschool-21
E-mail: bode@cs.uni-bremen.de
Phone: +4942121863941