ABSTRACT

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.

 

part |2 pages

Part I System-Level Design and Verification

chapter 1|46 pages

Real-Time in Networked Embedded Systems

chapter 2|26 pages

Design of Embedded Systems

chapter 4|48 pages

Embedded Software Modeling and Design

chapter 5|42 pages

Languages for Design and Verification

chapter 9|28 pages

Determining Bounds on Execution Times

chapter 11|26 pages

Power-Aware Embedded Computing

part |2 pages

Part II Embedded Processors and System-on-Chip Design

part |2 pages

Part III Embedded System Security and Web Services

chapter 18|32 pages

Design Issues in Secure Embedded Systems

chapter 19|32 pages

Web Services for Embedded Devices