‹ zurück Sie sind hier:  Startseite » Buchhändler » » Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems

Linksbuch Neu neu Rechtsbuch
EN9/789/400/9789400702561.jpg

Marwedel, Peter

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems (Kartoniert / Broschiert / Paperback)


Reihe: Embedded Systems

Springer-Verlag GmbH, Springer Netherland, Dezember 2010


2nd Edition. - 400 S. - Sprache: Englisch - 232x159x30 mm

ISBN: 9400702566 EAN: 9789400702561

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.

Titel derzeit leider nicht verfügbar.

 

Produktdetails

This book is the second edition of Peter Marwedel's book on Embedded System Design is based on the successful first edition, published by Kluwer Academic Publishers in 2003. For the second edition, topics have been restructured and extended. The book does now include information on cyber-physical systems where appropriate. The chapter on specification languages has been turned into a chapter on specification and modeling. This way, various flavors of model-based design are now covered. In general models of computation are emphasized. Languages are no longer presented as such, but as a means to demonstrate properties of the underlying model of computation.A new chapter on evaluation and verification covers various objectives in embedded systems design. The need to consider multi-objective optimization replaces earlier approaches based on single objectives. A second new chapter focuses on the mapping of applications to execution platforms. The presented techniques range from simple scheduling techniques to multi-objective optimization for multi-core systems. This book can be used as a textbook for students as well as a tutorial for faculty members and engineers. Using the book as a textbook is supported by integrated assignments and an appendix containing pre-requisites frequently found to be missing among computer science students. A rich set of updated references provides pointers to more advanced topics for faculty members and project-based education.

Inhaltsverzeichnis

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.

Über den Autor

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 played a leading role in establishing the Design, Automation and Test in Europe (DATE) conference and is the chairman of the Informatik Centrum Dortmund (ICD), a technology transfer centre.

ISBN 9-400702-56-6, ISBN 9-40-070256-6, ISBN 9-40070-256-6, ISBN 9-400-70256-6, ISBN 9-4007-0256-6

ISBN 978-9-400702-56-1, ISBN 978-9-40-070256-1, ISBN 978-9-40070-256-1, ISBN 978-9-400-70256-1, ISBN 978-9-4007-0256-1

Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

e-Business and Telecommunication Networks von Ascenso, Joao (Herausgeber); Vasiu, Luminita (Herausgeber); Belo, Carlos (Herausgeber); Saramago, Mo
149,79 EUR

Machine Vision Beyond Visible Spectrum von Hammoud, Riad (Herausgeber); Fan, Guoliang (Herausgeber); McMillan, Robert W. (Herausgeber); Ikeuchi
169,99 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2018 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.