Embedded system design / (Record no. 3105)

MARC details
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 080328s2006 ne a b 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780387292373
035 ## - SYSTEM CONTROL NUMBER
System control number (Sirsi) u411
040 ## - CATALOGING SOURCE
Original cataloging agency EG-CaNU
Transcribing agency EG-CaNU
Modifying agency EG-CaNU
042 ## - AUTHENTICATION CODE
Authentication code ncode
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.21
Edition number 22
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Marwedel, Peter,
Dates associated with a name 1949-
9 (RLIN) 8131
245 10 - TITLE STATEMENT
Title Embedded system design /
Statement of responsibility, etc. by Peter Marwedel.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Netherlands :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. c2006.
300 ## - PHYSICAL DESCRIPTION
Extent xvii, 241 p. :
Other physical details ill. ;
Dimensions 22 cm.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note cover -- contents -- preface -- acknowledgments -- 1. introduction -- 1.1 terms and scope -- 1.2 application areas -- 1.3 growing importance of embedded systems -- 1.4 structure of this book -- 2. specifications -- 2.1 requirements -- 2.2 models of computation -- 2.3 statecharts -- 2.4 general language characteristics -- 2.5 sdl -- 2.6 petri nets -- 2.7 message sequence charts -- 2.8 uml -- 2.9 process networks -- 2.10 java -- 2.11 vhdl -- 2.12 systemc -- 2.13 verilog and systemverilog -- 2.14 specc -- 2.15 additional languages -- 2.16 levels of hardware modeling -- 2.17 language comparison -- 2.18 dependability requirements -- 3. embedded system hardware -- 3.1 introduction -- 3.2 input -- 3.3 communication -- 3.4 processing units -- 3.5 memories -- 3.6 output -- 4. embedded operating systems, middleware, and scheduling -- 4.1 prediction of execution times -- 4.2 scheduling in real-time systems -- 4.3 embedded operating systems -- 4.4 middleware -- 5. implementing embedded systems: hardware/software codesign -- 5.1 task level concurrency management -- 5.2 high-level optimizations -- 5.3 hardware/software partitioning -- 5.4 compilers for embedded systems -- 5.5 voltage scaling and power management -- 5.6 actual design flows and tools -- 6. validation -- 6.1 introduction -- 6.2 simulation -- 6.3 rapid prototyping and emulation -- 6.4 test -- 6.5 fault simulation -- 6.6 fault injection -- 6.7 risk- and dependability analysis -- 6.8 formal verification — references — about the author — list of figures.
520 ## - SUMMARY, ETC.
Summary, etc. Until the late eighties, information processing was associated with large mainframe computers and huge tape drives. During the nineties, this trend shifted towards information processing with personal computers, or PCs. The trend towards miniaturization continues. In the future, most of the information processing systems will be quite small and embedded into larger products such as transportation and fabrication equipment. Hence, these kinds of systems are called embedded systems. 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 languages for embedded systems. A brief overview is provided of hardware devices used for embedded systems and also presents the essentials of software design for embedded systems. Real-time operating systems and real-time scheduling are covered briefly. Techniques for implementing embedded systems are also discussed, using hardware/software codesign. It closes with a survey on validation techniques. 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. The book assumes a basic knowledge of information processing hardware and software.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references (p. 212-226) and index.
596 ## -
-- 1
630 00 - SUBJECT ADDED ENTRY--UNIFORM TITLE
Uniform title CIT.
9 (RLIN) 14
630 00 - SUBJECT ADDED ENTRY--UNIFORM TITLE
Uniform title Electronics
9 (RLIN) 8132
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Embedded computer systems.
9 (RLIN) 1495
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Source of acquisition Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
    Dewey Decimal Classification     Main library Main library General Stacks 01/26/2020 PURCHASE   004.21 / MA.E 2006 000505 11/24/2019 1 11/24/2019 Books