Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems by Peter MarwedelEmbedded System Design: Embedded Systems Foundations of Cyber-Physical Systems by Peter Marwedel

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

byPeter Marwedel

Paperback | November 25, 2010

Pricing and Purchase Info

$148.02 online 
$167.95 list price save 11%
Earn 740 plum® points

In stock online

Ships free on orders over $25

Not available in stores

about

Embedded systems can be defined as information processing systems embedded into enclosing products such as cars, telecommunication or fabrication equipment. Such systems come with a large number of common characteristics, including real-time constraints, and dependability as well as efficiency requirements. Following the success of information technology (IT) for office and workflow applications, embedded systems are considered to be the most important application area of IT during the coming years. This importance of embedded systems is so far not well reflected in many of the current curricula. Embedded System Design is intended as an aid for changing this situation. It provides the material for a first course on embedded systems, but can also be used by PhD students and professors. A key goal of this book is to provide an overview of embedded system design and to relate the most important topics in embedded system design to each other. It should help to motivate students as well as professors to put more emphasis on education in embedded systems. In order to facilitate teaching from this book, slides, exercises and other related material can be downloaded via the author's web page.
Dr. Peter Marwedel received his PhD in Physics from the University of Kiel in 1974. He is one of the early researchers in high level synthesis, working on the MIMOLA system for a number of years. Dr. Marwedel is a professor at the University of Dortmund since 1989. He has served as the chairman of the computer science department, has p...
Title:Embedded System Design: Embedded Systems Foundations of Cyber-Physical SystemsFormat:PaperbackDimensions:421 pagesPublished:November 25, 2010Publisher:Springer NetherlandsLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:9400702566

ISBN - 13:9789400702561

Look for similar items by category:

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

Reviews

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.