1st Edition
Embedded Systems Handbook Embedded Systems Design and Verification
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
Biography
Richard Zurawski is with ISA Group in San Francisco, California, and is involved in providing solutions to Fortune companies.
… This first volume of the handbook is an in-depth survey of embedded systems design and verification. This volume is essential reading especially for novices in this field for it provides a framework for the discussion of the design issues of embedded systems, formal methods, embedded systems architectures and security as well as web services. Also, the book may be highly recommended for professionals as well as lecturers and students of academic courses on the rapidly progressing field of networks-on-chips.
—Zentralblatt MATH 1186
