Embedded systems are nearly ubiquitous, and books on individual topics or components of embedded systems are equally abundant. Unfortunately, for those designers who thirst for knowledge of the big picture of embedded systems there is not a drop to drink. Until now. The Embedded Systems Handbook is an oasis of information, offering a mix of basic and advanced topics, new solutions and technologies arising from the most recent research efforts, and emerging trends to help you stay current in this ever-changing field. With preeminent contributors from leading industrial and academic institutions around the globe, this authoritative handbook presents timely tutorials, surveys, and technological overviews spanning the range of issues and technologies involved in embedded systems. Many of the technology developments, deployments, and trends are made available in this book for the first time. Six sections provide coherence to the presentation, detailing: A broad introduction to embedded systems System- and network-on-chip (SoC/NoC) design Testing of embedded core-based integrated circuits Networked embedded systems Sensor networks, and Automotive, industrial automation, and intelligent sensor applications With concise yet comprehensive coverage of the latest developments, solutions, tools, products, and research results, the Embedded Systems Handbook is ideal for both novices and seasoned engineers looking to enhance and expand embedded systems capabilities.

Table of Contents:
EMBEDDED SYSTEMS Real-Time Embedded Systems Embedded Systems: Toward Networking of Embedded Systems; L. Lavagno and R. Zurawski Real-Time in Embedded Systems; H. Hansson, M. Nolin, and T. Nolte Design and Validation of Embedded Systems Design of Embedded Systems; L. Lavagno and C. Passerone Models of Embedded Computation; A. Jantsch Modeling Formalisms for Embedded System Design; L. Gomes, J.P. Barros, and A. Costa System Validation; J.V. Kapitonova, A.A. Letichevsky, V.A. Volkov, and T. Weigert Design and Verification Languages Languages for Embedded Systems; S.A. Edwards The Synchronous Hypothesis and Synchronous Languages; D. Potop-Butucaru, R. de Simone, and J-P. Talpin Introduction to UML and the Modeling of Embedded Systems; Ø. Haugen, B. Møller-Pedersen, and T. Weigert Verification Languages; A. Gupta, A.A. Bayazit, and Y. Mahajan Operating Systems and Quasi-Static Scheduling Real-Time Embedded Operating Systems: Standards and Perspectives; I.C. Bertolotti Real-Time Operating Systems: The Scheduling and Resource Management Aspects; G.C. Buttazzo Quasi-Static Scheduling of Concurrent Specifications; A. Kondratyev, L. Lavagno, C. Passerone, and Y. Watanabe Timing and Performance Analysis Determining Bounds on Execution Times; R. Wilhelm Performance Analysis of Distributed Embedded Systems; L. Thiele and E. Wandeler Power Aware Computing Power Aware Embedded Computing; M.F. Jacome and A. Ramachandran Security in Embedded Systems Design Issues in Secure Embedded Systems; A.G. Voyiatzis, A.G. Fragopoulos, and D.N. Serpanos SYSTEM-ON-CHIP DESIGN System-on-Chip and Network-on-Chip Design; G. Martin A Novel Methodology for the Design of Application-Specific Instruction-Set Processors; A. Hoffmann, A. Nohl, and G. Braun State-of-the-Art SoC Communication Architectures; J.L. Ayala, M. López-Vallejo, D. Bertozzi, and L. Benini Network-on-Chip Design for Gigascale Systems-on-Chip; D. Bertozzi, L. Benini, and G. De Micheli Platform-Based Design for Embedded Systems; L.P. Carloni, F. De Bernardinis, C. Pinello, A.L. Sangiovanni-Vincentelli, and M. Sgroi Interface Specification and Converter Synthesis; R. Passerone Hardware/Software Interface Design for SoC; W.O. Cesário, F.R. Wagner, and A.A. Jerraya Design and Programming of Embedded Multiprocessors: An Interface-Centric Approach; P. van der Wolf, E. de Kock, T. Henriksson, W. Kruijtzer, and G. Essink A Multiprocessor SoC Platform and Tools for Communications Applications; P.G. Paulin, C. Pilkington, M. Langevin, E. Bensoudane, D. Lyonnard, and G. Nicolescu TESTING OF EMBEDDED CORE-BASED INTEGRATED CIRCUITS Modular Testing and Built-In Self-Test of Embedded Cores in System-on-Chip Integrated Circuits; K. Chakrabarty Embedded Software-Based Self-Testing for SoC Design; K-T. (Tim) Cheng NETWORKED EMBEDDED SYSTEMS Design Issues for Networked Embedded Systems; S. Gupta, H.D. Patel, S.K. Shukla, and R. Gupta Middleware Design and Implementation for Networked Embedded Systems; V. Subramonian and C. Gill SENSOR NETWORKS Introduction to Wireless Sensor Networks; S. Dulman, S. Chatterjea, and P. Havinga Issues and Solutions in Wireless Sensor Networks; R. Musunuri, S. Gandham, and M.D. Patel Architectures for Wireless Sensor Networks; S. Dulman, S. Chatterjea, T. Hoffmeijer, P. Havinga, and J. Hurink Energy-Efficient Medium Access Control; K. Langendoen and G. Halkes Overview of Time Synchronization Issues in Sensor Networks; W. Su Distributed Localization Algorithms; K. Langendoen and N. Reijers Routing in Sensor Networks; S. Gandham, R. Musunuri, and U. Saxena Distributed Signal Processing in Sensor Networks; O.S. Jahromi and P. Aarabi Sensor Network Security; G. Schaefer Software Development for Large-Scale Wireless Sensor Networks; J. Blumenthal, F. Golatowski, M. Haase, and M. Handy EMBEDDED APPLICATIONS Automotive Design and Validation Process of In-Vehicle Embedded Electronic Systems; F. Simonot-Lion and YQ. Song Fault-Tolerant Services for Safe In-Car Embedded Systems; N. Navet and F. Simonot-Lion Volcano: Enabling Correctness by Design; A. Rajnák Industrial Automation Embedded Web Servers in Distributed Control Systems; J. Szymanski HTTP Digest Authentication for Embedded Web Servers; M. Crevatin and T.P. von Hoff Intelligent Sensors Intelligent Sensors: Analysis and Design; E. Dekneuvel CONTRIBUTOR INDEX SUBJECT INDEX