Embedded System Design

Front Cover
Springer Science & Business Media, 2003 - Technology & Engineering - 241 pages
1 Review
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

INTRODUCTION
1
12 Application areas
5
13 Growing importance of embedded systems
8
14 Structure of this book
9
SPECIFICATIONS
13
22 Models of computation
16
23 StateCharts
18
231 Modeling of hierarchy
19
36 Output
120
361 DAconverters
121
362 Actuators
122
EMBEDDED OPERATING SYSTEMS MIDDLEWARE AND SCHEDULING
125
41 Prediction of execution times
126
42 Scheduling in realtime systems
127
421 Classification of scheduling algorithms
128
422 Aperiodic scheduling
131

232 Timers
23
233 Edge labels and StateCharts semantics
24
234 Evaluation and extensions
26
24 General language characteristics
27
242 Process concepts
28
244 Specifying timing
29
245 Using nonstandard IO devices
30
26 Petri nets
36
262 Conditionevent nets
40
264 Predicatetransition nets
42
265 Evaluation
44
28 UML
45
29 Process networks
50
292 Asynchronous message passing
53
293 Synchronous message passing
55
210 Java
58
211 VHDL
59
2112 Entities and architectures
60
2113 Multivalued logic and IEEE 1164
62
2114 VHDL processes and simulation semantics
69
212 SystemC
73
213 Verilog and SystemVerilog
75
214 SpecC
76
215 Additional languages
77
216 Levels of hardware modeling
79
217 Language comparison
82
218 Dependability requirements
83
EMBEDDED SYSTEM HARDWARE
87
32 Input
88
322 Sampleandhold circuits
90
323 ADconverters
91
33 Communication
93
331 Requirements
94
332 Electrical robustness
95
333 Guaranteeing realtime behavior
96
334 Examples
97
34 Processing Units
98
342 ApplicationSpecific Circuits ASICs
100
344 Reconfigurable Logic
115
35 Memories
118
423 Periodic scheduling
135
424 Resource access protocols
140
43 Embedded operating systems
143
432 Realtime operating systems
144
44 Middleware
148
442 Access to remote objects
149
IMPLEMENTING EMBEDDED SYSTEMS HARDWARESOFTWARE CODESIGN
151
51 Task level concurrency management
153
52 Highlevel optimizations
157
522 Simple loop transformations
159
523 Loop tilingblocking
160
524 Loop splitting
163
525 Array folding
165
53 Hardwaresoftware partitioning
167
532 COOL
168
54 Compilers for embedded systems
177
542 Energyaware compilation
178
543 Compilation for digital signal processors
181
544 Compilation for multimedia processors
184
546 Compilation for network processors
185
55 Voltage Scaling and Power Management
186
552 Dynamic power management DPM
189
56 Actual design flows and tools
190
562 IMEC tool flow
191
563 The COSYMA design flow
194
564 Ptolemy II
195
565 The OCTOPUS design flow
196
VALIDATION
199
62 Simulation
200
63 Rapid Prototyping and Emulation
201
642 Design for testability
202
643 Selftest programs
205
65 Fault simulation
206
66 Fault injection
207
68 Formal Verification
209
Bibliography
212
About the Author
227
List of Figures
229
Index
237
Copyright

Other editions - View all

Common terms and phrases

References to this book

All Book Search results »

About the author (2003)

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.

Bibliographic information