Embedded Systems Handbook: Embedded Systems Design and Verification (Hardcover, 2)

System-Level Design and Verification
Real-Time in Networked Embedded Systems Hans Hansson, Thomas Nolte, M. Sjodin, and Daniel Sundmark

Design of Embedded Systems Luciano Lavagno and Claudio Passerone

Models of Computation for Distributed Embedded Systems Axel Jantsch

Embedded Software Modeling and Design Marco Di Natale

Languages for Design and Verification Stephen A. Edwards

Synchronous Hypothesis and Polychronous Languages Dumitru Potop-Butucaru, Robert de Simone, and Jean-Pierre Talpin

Processor-Centric Architecture Description Languages Steve Leibson, Himanshu Sanghavi, and Nupur Andrews

Network-Ready, Open-Source Operating Systems Ivan Cibrario Bertolotti

Determining Bounds on Execution Times Reinhard Wilhelm

Performance Analysis of Distributed Embedded Systems Lothar Thiele, Ernesto Wandeler, and Wolfgange Haid

Power-Aware Embedded Computing Margarida F. Jacome and Anand Ramachandran

Embedded Processors and System-on-Chip Design
Processors for Embedded Systems Steve Leibson

System-on-Chip Design Grant Martin

SoC Communication Architectures: From Interconnection Buses to Packet-Switched NoCs, Jose L. Ayala, Marisa Lopez-Vallejo, Davide Bertozzi, and Luca Benini

Networks-on-Chip: an Interconnect Fabric for Multiprocessor Systems-on-Chip, Francisco Gilabert, Davide Bertozzi, Luca Benini, and Giovanni DeMicheli

Hardware/Software Interfaces Design for SoC Katalin Popovici, Wander O. Cesario, Flavio R. Wagner, and A.A. Jerraya

FPGA Synthesis and Physical Design Mike Hutton and Vaughn Betz

Embedded System Security and Web Services
Design Issues in Secure Embedded Systems A.G. Fragopoulos, Dimitrios N. Serpanos, and A.G. Voyiatzis

Web Services for Embedded Devices Hendrik Bohn and Frank Golatowski

Index