INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
978-9400702561 |
DEWEY DECIMAL CLASSIFICATION NUMBER |
Call number |
004.21 |
MAIN ENTRY--PERSONAL NAME |
Authors |
Marwedel, Peter |
TITLE STATEMENT |
Title |
Embedded system design : |
Subtitle |
embedded systems foundations of cyber-physical systems / |
Statement of responsibility, etc |
Peter Marwedel |
EDITION STATEMENT |
Edition |
2nd ed. |
PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication |
London : |
Publisher |
Springer, |
Date |
c2011. |
PHYSICAL DESCRIPTION |
Extent |
xxi, 389 p. : |
Other Details |
ill. ; |
Size |
24 cm. |
SERIES STATEMENT |
Series statement |
Embedded system |
CONTENTS |
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. |
SUMMARY |
Summary |
Embedded System Design provides a survey of specification languages for embedded systems. The text provides an overview of hardware devices, and presents the essentials of software design for embedded systems. |
STUDY PROGRAM |
Program name |
ECTE433 |
SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Heading |
Embedded computer systems |
General |
Design and construction |
SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Heading |
Embedded computer systems |
SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Heading |
Electrical engineering |
SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Heading |
Computer science |
SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Heading |
Engineering |
ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
https://uowd.box.com/s/pqsfn03gq5c5kaz4nrexs4slbvsq7apx |
Public note |
Location Map |
MAIN ENTRY--PERSONAL NAME |
-- |
10520 |
SUBJECT ADDED ENTRY--TOPICAL TERM |
-- |
33202 |
SUBJECT ADDED ENTRY--TOPICAL TERM |
-- |
13899 |
SUBJECT ADDED ENTRY--TOPICAL TERM |
-- |
781 |
SUBJECT ADDED ENTRY--TOPICAL TERM |
-- |
898 |
SUBJECT ADDED ENTRY--TOPICAL TERM |
-- |
780 |