Embedded System Handbook: Embedded System Design and Verification Ed by Richard Zurawski

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