Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems

✍ Scribed by Peter Marwedel (auth.)

• Publisher: Springer Netherlands
• Year: 2011
• Tongue: English
• Leaves: 399
• Series: Embedded Systems
• Edition: 2
• Category: Library

✦ Synopsis

Until the late 1980s, information processing was associated with large mainframe computers and huge tape drives. During the 1990s, this trend shifted toward information processing with personal computers, or PCs. The trend toward miniaturization continues and in the future the majority of information processing systems will be small mobile computers, many of which will be embedded into larger products and interfaced to the physical environment. Hence, these kinds of systems are called embedded systems. Embedded systems together with their physical environment are called cyber-physical systems. Examples include systems such as transportation and fabrication equipment. It is expected that the total market volume of embedded systems will be significantly larger than that of traditional information processing systems such as PCs and mainframes. Embedded systems share a number of common characteristics. For example, they must be dependable, efficient, meet real-time constraints and require customized user interfaces (instead of generic keyboard and mouse interfaces). Therefore, it makes sense to consider common principles of embedded system design.

Embedded System Design starts with an introduction into the area and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such systems and presents the essentials of system software for embedded systems, like real-time operating systems. The book also discusses evaluation and validation techniques for embedded systems. Furthermore, the book presents an overview of techniques for mapping applications to execution platforms. Due to the importance of resource efficiency, the book also contains a selected set of optimization techniques for embedded systems, including special compilation techniques. The book closes with a brief survey on testing.

Embedded System Design can be used as a text book for courses on embedded systems and as a source which provides pointers to relevant material in the area for PhD students and teachers. It assumes a basic knowledge of information processing hardware and software. Courseware related to this book is available at http://ls12-www.cs.tu-dortmund.de/~marwedel.

✦ Table of Contents

Front Matter....Pages I-XXI
Introduction....Pages 1-19
Specifications and Modeling....Pages 21-118
Embedded System Hardware....Pages 119-175
System Software....Pages 177-201
Evaluation and Validation....Pages 203-234
Application mapping....Pages 235-279
Optimization....Pages 281-320
Test....Pages 321-333
Back Matter....Pages 335-389

✦ Subjects

Circuits and Systems; Software Engineering/Programming and Operating Systems