chapter 1 Embedded Systems: Toward Networking of Embedded Systems -- chapter 2 Real-Time in Embedded Systems / chapter 3 Design of Embedded Systems -- chapter 4 Models of Embedded Computation -- chapter 5 Modeling Formalisms for Embedded System Design -- chapter 6 System Validation -- chapter 7 Languages for Embedded Systems -- chapter 8 The Synchronous Hypothesis and Synchronous Languages -- chapter 9 Introduction to UML and the Modeling of Embedded Systems / chapter 10 Verification Languages -- chapter 11 Real-Time Embedded Operating Systems: Standards and Perspectives -- chapter 12 Real-Time Operating Systems: The Scheduling and Resource Management Aspects -- chapter 13 Quasi-Static Scheduling of Concurrent Specifications -- chapter 14 Determining Bounds on Execution Times -- chapter 15 Performance Analysis of Distributed Embedded Systems -- chapter 16 Power Aware Embedded Computing -- chapter 17 Design Issues in Secure Embedded Systems -- chapter 18 System-on-Chip and Network-on-Chip Design -- chapter 19 A Novel Methodology for the Design of Application-Specific Instruction-Set Processors -- chapter 20 State-of-the-Art SoC Communication Architectures -- chapter 21 Network-on-Chip Design for Gigascale Systems-on-Chip / chapter 22 Platform-Based Design for Embedded Systems -- chapter 23 Interface Specification and Converter Synthesis -- chapter 24 Hardware/Software Interface Design for SoC -- chapter 25 Design and Programming of Embedded Multiprocessors: An Interface-Centric Approach -- chapter 26 A Multiprocessor SoC Platform and Tools for Communications Applications -- chapter 27 Modular Testing and Built-In Self-Test of Embedded Cores in System-on-Chip Integrated Circuits -- chapter 28 Embedded Software-Based Self-Testing for SoC Design -- chapter 29 Design Issues for Networked Embedded Systems -- chapter 30 Middleware Design and Implementation for Networked Embedded Systems -- chapter 31 Introduction to Wireless Sensor Networks -- chapter 32 Issues and Solutions in Wireless Sensor Networks -- chapter 33 Architectures for Wireless Sensor Networks -- chapter 34 Energy-Efficient Medium Access Control -- chapter 35 Overview of Time Synchronization Issues in Sensor Networks -- chapter 36 Distributed Localization Algorithms -- chapter 37 Routing in Sensor Networks -- chapter 38 Distributed Signal Processing in Sensor Networks -- chapter 39 Sensor Network Security -- chapter 40 Software Development for Large-Scale Wireless Sensor Networks -- chapter 41 Design and Validation Process of In-Vehicle Embedded Electronic Systems -- chapter 42 Fault-Tolerant Services for Safe In-Car Embedded Systems -- chapter 43 Volcano and#8212; Enabling Correctness by Design -- chapter 44 Embedded WebServers in Distributed Control Systems -- chapter 45 HTTP Digest Authentication for Embedded Web Servers -- chapter 46 Intelligent Sensors: Analysis and Design.