Logo - springer
Slogan - springer

Engineering - Circuits & Systems | Embedded System Design - Embedded Systems Foundations of Cyber-Physical Systems

Embedded System Design

Embedded Systems Foundations of Cyber-Physical Systems

Marwedel, Peter

2nd ed. 2011, XXI, 400p.

Available Formats:

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.


(net) price for USA

ISBN 978-94-007-0257-8

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase

learn more about Springer eBooks

add to marked items


Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.


(net) price for USA

ISBN 978-94-007-0256-1

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days

add to marked items

  • Using the book as a textbook is supported by integrated assignments and an appendix containing prerequisites frequently found to be missing among computer science students
  • Provides a unifying survey of the key issues in embedded system design, with a focus on embedded system software design, and provides the foundation for advanced studies in various areas of embedded system design

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.

Content Level » Research

Keywords » Cyber-Physical Systems - Embedded Systems - Multi-Objective Optimization

Related subjects » Circuits & Systems - Software Engineering

Table of contents 

Preface. Acknowledgments.

1. INTRODUCTION. 1.1 Application areas and examples. 1.2 Common characteristics. 1.3 Challenges in Embedded System Design. 1.4 Design Flows. 1.5 Structure of this book. 1.6 Assignments.

2. SPECIFICATIONS AND MODELING. 2.1 Requirements. 2.2 Models of computation. 2.3 Early design phases. 2.4 Communicating finite state machines (CFSMs). 2.5 Data flow. 2.6 Petri nets. 2.7 Discrete event based languages. 2.8 Von-Neumann languages. 2.9 Levels of hardware modeling. 2.10 Comparison of models of computation. 2.11 Assignments.

3. EMBEDDED SYSTEM HARDWARE. 3.1 Introduction. 3.2 Input. 3.3 Processing Units. 3.4 Memories. 3.5 Communications. 3.6 Output. 3.7 Secure hardware. 3.8 Assignments.

4. SYSTEM SOFTWARE. 4.1 Embedded Operating Systems. 4.2 ERIKA. 4.3 Hardware abstraction layers. 4.4 Middleware. 4.5 Real-time databases. 4.6 Assignments.

5. EVALUATION AND VALIDATION. 5.1 Introduction. 5.2 Performance evaluation. 5.3 Energy and power models. 5.4 Thermal models. 5.5 Risk- and dependability analysis. 5.6 Simulation. 5.7 Rapid prototyping and emulation. 5.8 Formal Verification. 5.9 Assignments.

6. APPLICATION MAPPING. 6.1 Problem definition. 6.2 Scheduling in real-time systems. 6.3 Hardware/software partitioning. 6.4 Mapping to heterogeneous multi-processors. 6.5 Assignments.

7. OPTIMIZATION. 7.1 Task level concurrency management. 7.2 High-level optimizations. 7.3 Compilers for embedded systems. 7.4 Power Management and Thermal Management. 7.5 Assignments.

8. TEST. 8.1 Scope. 8.2 Test procedures. 8.3 Evaluation of test pattern sets and system robustness. 8.4 Design for testability. 8.5 Assignments.

Appendices. A. Integer linear programming. B. Kirchhoff’s laws and operational amplifiers. References. About the author. List of Figures. Index.

Popular Content within this publication 



Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Circuits and Systems.