000			02831nam a2200265 a 4500
999			_c27035 _d27035
001			61050
020			_a978-9400702561
082			_a004.21
100			_aMarwedel, Peter _910520
245	1	0	_aEmbedded system design : _bembedded systems foundations of cyber-physical systems / _cPeter Marwedel
250			_a2nd ed.
260			_aLondon : _bSpringer, _cc2011.
300			_axxi, 389 p. : _bill. ; _c24 cm.
490	1		_aEmbedded system
505	0		_aPreface. 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.
520			_aEmbedded 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.
526	0		_aECTE433
650		7	_aEmbedded computer systems _xDesign and construction _933202
650		7	_aEmbedded computer systems _913899
650		7	_aElectrical engineering _9781
650		7	_aComputer science _9898
650		7	_aEngineering _9780
856			_uhttps://uowd.box.com/s/pqsfn03gq5c5kaz4nrexs4slbvsq7apx _zLocation Map
942			_cREGULAR _2ddc