Vorlesung Cyber Physical System Fundamentals

Cyber-physical systems (CPS) are integrations of physical systems with information processing. Examples of CPSs include various kinds of vehicles and robots. Due to the integration, a number of requirements have to be met. First of all, information processing in such systems must meet hard real-time constraints. This requirement has far-reaching consequences on the design of hard- and software. Best-effort approaches like priority-based communication may have to be replaced by communication with a guaranteed timing behaviour. Furthermore, the direct integration of physics and information processing results in the need for safe and reliable systems. Also, information processing in such systems must be efficient. In particular, energy efficiency is required for mobile systems. Information processing parts of cyber-physical systems are called embedded systems. In the course, cover the fundamentals of embedded system design as it is required for cyber-physical systems. We will explain required properties of systems and how to model them. We will present the essentials of hardware- and software components to be used in such systems. Also, we will explain how designs can be evaluated with respect to the various relevant objectives such as power consumption, real-time behavior and reliability. Furthermore, we will describe how applications can be mapped to hardware platforms. The course will consist of lectures and a lab. The lab will comprise assignments making the students familiar with the modelling of hierarchical finite state machines. Furthermore, students will program Lego mindstorm robots. There will also be theoretical assignments. The course will start on April 26th and consist of 4 hours of lectures and 1.5 hours of labs per week. The last lecture will be on July 12th. P. Marwedel: Embedded System Design - Embedded Systems Foundations of Cyber-Physical Systems, Springer, 2nd. edition, 2011. The book is available in the University library. The 1st edition of the book is also available in the library. Slides, simulation software and videos relating to the book are available at http://ls12-www.cs.tu-dortmund.de/~marwedel/es-book Supplementary information: Edward A. Lee and Sanjit A. Seshia: Introduction to Embedded Systems - A Cyber-Physical Systems Approach, ISBN 978-0-557-70857-4, http://LeeSeshia.org Students attending the course should be fluent in at least one programming language and have a basic understanding of algorithms and computer components. Furthermore, they should be familiar with finite state machines. LeistungsnachweisThe course comprises mid-terms, finals and lab assignments. Students passing the finals and solving the lab assignments will obtain 6 ECTS credit points. Credits can be obtained either for this course or for the German course -Eingebettete Systeme- (held during winter terms), but not for both. Lerninhalte Modeling and design of embedded systems: • Motivation, definitions • Specification and modeling of embedded systems • Hardware of embedded systems • Standard software components for embedded systems • Validation and evaluation of embedded systems • Mapping of applications to execution platforms • Optimization of embedded systems This course follows the book: P. Marwedel: Embedded System Design, Springer, 2003 and 2011. It is recommended to use the second edition. The course comprises mid-terms, finals and lab assignments. Students passing the finals and solving the lab assignments will obtain 6 ECTS credit points. Credits can be obtained either for this course or for the German course -Eingebettete Systeme- (held during winter terms), but not for both. Lerninhalte Modeling and design of embedded systems: • Motivation, definitions • Specification and modeling of embedded systems • Hardware of embedded systems • Standard software components for embedded systems • Validation and evaluation of embedded systems • Mapping of applications to execution platforms • Optimization of embedded systems This course follows the book: P. Marwedel: Embedded System Design, Springer, 2003 and 2011. It is recommended to use the second edition. Technische Universität Dortmund SoSe 2012 Lehrstuhl Informatik XII Univ.-Prof. Dr. Marwedel Peter