Foreword |
|
vii | |
|
|
xix | |
Preface |
|
xxiii | |
|
|
1 | (56) |
|
|
1 | (1) |
|
Complex Systems and Microprocessors |
|
|
2 | (8) |
|
|
2 | (3) |
|
Characteristics of Embedded Computing Applications |
|
|
5 | (1) |
|
|
6 | (2) |
|
Challenges in Embedded Computing System Design |
|
|
8 | (2) |
|
The Embedded System Design Process |
|
|
10 | (11) |
|
|
12 | (5) |
|
|
17 | (1) |
|
|
18 | (2) |
|
Designing Hardware and Software Components |
|
|
20 | (1) |
|
|
20 | (1) |
|
Formalisms for System Design |
|
|
21 | (11) |
|
|
22 | (7) |
|
|
29 | (3) |
|
Design Example: Model Train Controller |
|
|
32 | (15) |
|
|
34 | (1) |
|
|
34 | (5) |
|
|
39 | (8) |
|
|
47 | (1) |
|
A Guided Tour of This Book |
|
|
47 | (7) |
|
|
48 | (1) |
|
|
48 | (1) |
|
The Embedded Computing Platform |
|
|
49 | (1) |
|
Program Design and Analysis |
|
|
50 | (1) |
|
Processes and Operating Systems |
|
|
51 | (1) |
|
|
52 | (1) |
|
|
52 | (1) |
|
|
53 | (1) |
|
|
54 | (3) |
|
|
54 | (1) |
|
|
54 | (1) |
|
|
54 | (2) |
|
|
56 | (1) |
|
|
57 | (48) |
|
|
57 | (1) |
|
|
58 | (4) |
|
Computer Architecture Taxonomy |
|
|
58 | (2) |
|
|
60 | (2) |
|
|
62 | (20) |
|
Processor and Memory Organization |
|
|
63 | (1) |
|
|
63 | (10) |
|
|
73 | (9) |
|
|
82 | (17) |
|
|
83 | (1) |
|
|
83 | (10) |
|
|
93 | (6) |
|
Parallelism within Instructions |
|
|
99 | (1) |
|
|
99 | (6) |
|
|
100 | (1) |
|
|
100 | (1) |
|
|
100 | (4) |
|
|
104 | (1) |
|
|
105 | (72) |
|
|
105 | (1) |
|
Programming Input and Output |
|
|
106 | (22) |
|
|
106 | (2) |
|
Input and Output Primitives |
|
|
108 | (2) |
|
|
110 | (2) |
|
|
112 | (16) |
|
Supervisor Mode, Exceptions, and Traps |
|
|
128 | (2) |
|
|
128 | (1) |
|
|
129 | (1) |
|
|
129 | (1) |
|
|
130 | (1) |
|
|
131 | (13) |
|
|
131 | (8) |
|
Memory Management Units and Address Translation |
|
|
139 | (5) |
|
|
144 | (8) |
|
|
145 | (4) |
|
|
149 | (2) |
|
|
151 | (1) |
|
|
152 | (6) |
|
Design Example: Data Compressor |
|
|
158 | (13) |
|
Requirements and Algorithm |
|
|
158 | (3) |
|
|
161 | (2) |
|
|
163 | (7) |
|
|
170 | (1) |
|
|
171 | (6) |
|
|
172 | (1) |
|
|
172 | (1) |
|
|
173 | (3) |
|
|
176 | (1) |
|
The Embedded Computing Platform |
|
|
177 | (68) |
|
|
177 | (1) |
|
|
178 | (15) |
|
|
178 | (8) |
|
|
186 | (1) |
|
System Bus Configurations |
|
|
187 | (3) |
|
|
190 | (1) |
|
|
191 | (2) |
|
|
193 | (9) |
|
Memory Device Organization |
|
|
194 | (1) |
|
|
195 | (6) |
|
|
201 | (1) |
|
|
202 | (7) |
|
|
202 | (1) |
|
|
203 | (1) |
|
|
204 | (2) |
|
|
206 | (1) |
|
|
206 | (2) |
|
|
208 | (1) |
|
|
209 | (3) |
|
|
209 | (2) |
|
|
211 | (1) |
|
Designing with Microprocessors |
|
|
212 | (8) |
|
|
213 | (1) |
|
|
214 | (2) |
|
|
216 | (4) |
|
Development and Debugging |
|
|
220 | (8) |
|
|
220 | (1) |
|
|
221 | (6) |
|
|
227 | (1) |
|
|
228 | (5) |
|
Design Example: Alarm Clock |
|
|
233 | (8) |
|
|
233 | (2) |
|
|
235 | (4) |
|
|
239 | (1) |
|
Component Design and Testing |
|
|
240 | (1) |
|
System Integration and Testing |
|
|
241 | (1) |
|
|
241 | (4) |
|
|
241 | (1) |
|
|
242 | (1) |
|
|
242 | (2) |
|
|
244 | (1) |
|
Program Design and Analysis |
|
|
245 | (96) |
|
|
245 | (1) |
|
|
246 | (6) |
|
|
246 | (2) |
|
Design Patterns for Embedded Systems |
|
|
248 | (4) |
|
|
252 | (6) |
|
|
252 | (2) |
|
|
254 | (4) |
|
|
258 | (7) |
|
|
259 | (5) |
|
|
264 | (1) |
|
Basic Compilation Techniques |
|
|
265 | (25) |
|
|
267 | (6) |
|
|
273 | (1) |
|
|
274 | (1) |
|
Expression Simplification |
|
|
275 | (2) |
|
|
277 | (1) |
|
|
277 | (1) |
|
|
278 | (2) |
|
|
280 | (5) |
|
|
285 | (2) |
|
|
287 | (1) |
|
Understanding and Using Your Compiler |
|
|
288 | (1) |
|
Interpreters and JIT Compilers |
|
|
289 | (1) |
|
Analysis and Optimization of Execution Time |
|
|
290 | (15) |
|
Elements of Program Performance |
|
|
292 | (4) |
|
Trace-Driven Performance Analysis |
|
|
296 | (8) |
|
Optimizing for Execution Speed |
|
|
304 | (1) |
|
Analysis and Optimization of Energy and Power |
|
|
305 | (5) |
|
Program Energy Consumption and Optimization |
|
|
306 | (4) |
|
Analysis and Optimization of Program Size |
|
|
310 | (2) |
|
Program Validation and Testing |
|
|
312 | (13) |
|
|
313 | (9) |
|
|
322 | (1) |
|
Evaluating Function Tests |
|
|
323 | (1) |
|
|
324 | (1) |
|
Design Example: Software Modem |
|
|
325 | (5) |
|
Theory of Operation and Requirements |
|
|
325 | (3) |
|
|
328 | (1) |
|
|
328 | (1) |
|
Component Design and Testing |
|
|
329 | (1) |
|
System Integration and Testing |
|
|
329 | (1) |
|
|
330 | (11) |
|
|
330 | (1) |
|
|
331 | (1) |
|
|
331 | (8) |
|
|
339 | (2) |
|
Processes and Operating Systems |
|
|
341 | (78) |
|
|
341 | (2) |
|
Multiple Tasks and Multiple Processes |
|
|
343 | (4) |
|
|
345 | (1) |
|
Early Multitasking Technology: The Co-Routine |
|
|
346 | (1) |
|
|
347 | (4) |
|
|
351 | (7) |
|
|
351 | (5) |
|
|
356 | (1) |
|
Processes and Object-Oriented Design |
|
|
357 | (1) |
|
|
358 | (13) |
|
Process State and Scheduling |
|
|
358 | (3) |
|
Operating System Structure |
|
|
361 | (1) |
|
Timing Requirements on Processes |
|
|
362 | (3) |
|
Interprocess Communication |
|
|
365 | (6) |
|
Other Operating System Functions |
|
|
371 | (1) |
|
|
371 | (16) |
|
Rate-Monotonic Scheduling |
|
|
372 | (5) |
|
Earliest-Deadline-First Scheduling |
|
|
377 | (5) |
|
|
382 | (1) |
|
A Closer Look at Our Modeling Assumptions |
|
|
383 | (3) |
|
Other POSIX Scheduling Policies |
|
|
386 | (1) |
|
Interprocess Communication Mechanisms |
|
|
387 | (6) |
|
|
387 | (2) |
|
|
389 | (1) |
|
Shared Memory Communication |
|
|
389 | (3) |
|
Message-Based Communication |
|
|
392 | (1) |
|
Evaluating Operating System Performance |
|
|
393 | (3) |
|
Power Optimization Strategies for Processes |
|
|
396 | (4) |
|
Design Example: Telephone Answering Machine |
|
|
400 | (9) |
|
Theory of Operation and Requirements |
|
|
400 | (4) |
|
|
404 | (2) |
|
|
406 | (2) |
|
Component Design and Testing |
|
|
408 | (1) |
|
System Integration and Testing |
|
|
409 | (1) |
|
|
409 | (10) |
|
|
410 | (1) |
|
|
410 | (1) |
|
|
410 | (7) |
|
|
417 | (2) |
|
|
419 | (30) |
|
|
419 | (1) |
|
|
420 | (4) |
|
|
421 | (2) |
|
|
423 | (1) |
|
Accelerated System Design |
|
|
424 | (13) |
|
|
424 | (5) |
|
System Architecture Framework |
|
|
429 | (3) |
|
|
432 | (2) |
|
Scheduling and Allocation |
|
|
434 | (3) |
|
System Integration and Debugging |
|
|
437 | (1) |
|
Design Example: Video Accelerator |
|
|
437 | (8) |
|
Algorithm and Requirements |
|
|
437 | (4) |
|
|
441 | (1) |
|
|
441 | (2) |
|
|
443 | (1) |
|
|
444 | (1) |
|
|
445 | (4) |
|
|
446 | (1) |
|
|
446 | (1) |
|
|
446 | (1) |
|
|
447 | (2) |
|
|
449 | (48) |
|
|
449 | (1) |
|
Distributed Embedded Architectures |
|
|
450 | (8) |
|
|
451 | (1) |
|
|
452 | (1) |
|
Hardware and Software Architectures |
|
|
453 | (4) |
|
Message Passing Programming |
|
|
457 | (1) |
|
Networks for Embedded Systems |
|
|
458 | (17) |
|
|
459 | (5) |
|
|
464 | (3) |
|
|
467 | (3) |
|
|
470 | (2) |
|
|
472 | (1) |
|
|
473 | (2) |
|
|
475 | (9) |
|
|
475 | (6) |
|
System Performance Analysis |
|
|
481 | (1) |
|
Hardware Platform Design, Allocation, and Scheduling |
|
|
482 | (2) |
|
|
484 | (2) |
|
Design Example: Elevator Controller |
|
|
486 | (7) |
|
Theory of Operation and Requirements |
|
|
487 | (2) |
|
|
489 | (2) |
|
|
491 | (1) |
|
|
492 | (1) |
|
|
493 | (4) |
|
|
493 | (1) |
|
|
493 | (1) |
|
|
494 | (2) |
|
|
496 | (1) |
|
|
497 | (64) |
|
|
497 | (1) |
|
|
498 | (9) |
|
Why Design Methodologies? |
|
|
498 | (2) |
|
|
500 | (7) |
|
|
507 | (2) |
|
|
509 | (6) |
|
Control-Oriented Specification Languages |
|
|
509 | (3) |
|
|
512 | (3) |
|
System Analysis and Architecture Design |
|
|
515 | (5) |
|
|
516 | (4) |
|
|
520 | (14) |
|
Quality Assurance Techniques |
|
|
523 | (2) |
|
Verifying the Specification |
|
|
525 | (2) |
|
|
527 | (3) |
|
Measurement-Driven Quality Assurance |
|
|
530 | (4) |
|
Design Example: Telephone PBX |
|
|
534 | (5) |
|
|
535 | (2) |
|
|
537 | (2) |
|
Design Example: Ink Jet Printer |
|
|
539 | (9) |
|
|
542 | (4) |
|
|
546 | (2) |
|
Design Example: Personal Digital Assistants |
|
|
548 | (3) |
|
Design Example: Set-Top Boxes |
|
|
551 | (4) |
|
|
555 | (2) |
|
|
557 | (4) |
|
|
557 | (1) |
|
|
558 | (1) |
|
|
558 | (1) |
|
|
559 | (2) |
|
|
561 | (6) |
|
|
561 | (1) |
|
|
561 | (1) |
|
|
562 | (5) |
|
|
563 | (1) |
|
|
564 | (1) |
|
A.3.3 Sequence and Collaboration Diagrams |
|
|
565 | (2) |
|
Appendix B Notes on Hardware Design |
|
|
567 | (12) |
|
|
567 | (1) |
|
|
567 | (4) |
|
|
571 | (6) |
|
|
571 | (2) |
|
B.3.2 Synchronous Machines |
|
|
573 | (3) |
|
B.3.3 Asynchronous Machines |
|
|
576 | (1) |
|
|
577 | (2) |
Glossary |
|
579 | (22) |
References |
|
601 | (12) |
Index |
|
613 | (44) |
About the CDs |
|
657 | |