Embedded Systems Handbook: Embedded Systems Design and Verification, 1st Edition (Hardback) book cover

Embedded Systems Handbook

Embedded Systems Design and Verification, 1st Edition

Edited by Richard Zurawski

CRC Press

666 pages | 256 B/W Illus.

Purchasing Options:$ = USD
Hardback: 9781439807552
pub: 2009-06-25
$140.00
x
eBook (VitalSource) : 9781315218281
pub: 2018-09-03
from $28.98


FREE Standard Shipping!

Description

Considered a standard industry resource, the Embedded Systems Handbook provided researchers and technicians with the authoritative information needed to launch a wealth of diverse applications, including those in automotive electronics, industrial automated systems, and building automation and control. Now a new resource is required to report on current developments and provide a technical reference for those looking to move the field forward yet again. Divided into two volumes to accommodate this growth, the Embedded Systems Handbook, Second Edition presents a comprehensive view on this area of computer engineering with a currently appropriate emphasis on developments in networking and applications. Those experts directly involved in the creation and evolution of the ideas and technologies presented offer tutorials, research surveys, and technology overviews that explore cutting-edge developments and deployments and identify potential trends.

This first self-contained volume of the handbook, Embedded Systems Design and Verification, is divided into three sections. It begins with a brief introduction to embedded systems design and verification. It then provides a comprehensive overview of embedded processors and various aspects of system-on-chip and FPGA, as well as solutions to design challenges. The final section explores power-aware embedded computing, design issues specific to secure embedded systems, and web services for embedded devices.

Those interested in taking their work with embedded systems to the network level should complete their study with the second volume: Network Embedded Systems.

Reviews

… 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

Table of Contents

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

About the Editor

Richard Zurawski is with ISA Group in San Francisco, California, and is involved in providing solutions to Fortune companies.

Subject Categories

BISAC Subject Codes/Headings:
TEC007000
TECHNOLOGY & ENGINEERING / Electrical
TEC008010
TECHNOLOGY & ENGINEERING / Electronics / Circuits / General