Literatur |
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 |
Bemerkung |
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.
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 2010 |