Embedded Systems Handbook: Embedded Systems Design and Verification

Part - 1: System-Level Design and Verification Real-Time in Networked Embedded Systems Design of Embedded Systems Models of Computation for Distributed Embedded Systems Embedded Software Modeling and Design Languages for Design and Verification Synchronous Hypothesis and Polychronous Languages Processor-Centric Architecture Description Languages Network-Ready, Open-Source Operating Systems Determining Bounds on Execution Times Performance Analysis of Distributed Embedded Systems Power-Aware Embedded Computing Part - 2: Embedded Processors and System-on-Chip Design Processors for Embedded Systems System-on-Chip Design SoC Communication Architectures: From Interconnection Buses to Packet-Switched NoCs Networks-on-Chip: an Interconnect Fabric for Multiprocessor Systems-on-Chip, Hardware/Software Interfaces Design for SoC FPGA Synthesis and Physical Design Part - 3: Embedded System Security and Web Services Design Issues in Secure Embedded Systems Web Services for Embedded Devices Index