Content: 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