Embedded system design : (Record no. 27035)

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
Holdings
Lost status Source of classification or shelving scheme Damaged status Not for loan Permanent location Current location Shelving location Date acquired Source of acquisition Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type
        University of Wollongong in Dubai University of Wollongong in Dubai Main Collection 2015-07-20 AMAUS 004.21 MA EM T0051689 2017-01-26 88.41 2017-01-26 REGULAR
        University of Wollongong in Dubai University of Wollongong in Dubai Main Collection 2015-07-20 AMAUS 004.21 MA EM T0051690 2017-01-26 88.41 2017-01-26 REGULAR

Powered by Koha