NDUSTRIAL I N F O R M A T I O N TECHNOLOGY SERIES

EMBEDDED SYSTEMS HANDBOOK S E C O N D E D I T I O N

EMBEDDED SYSTEMS DESIGN AND VERIFICATION

Edited by

Richard Zurawski ISA Corporation

San Francisco, California, U.S.A.

(g) CRC Press Taylor & Francis Group

Boca Raton London New York

CRC Press is an imprint of the Taylor & Francis Group, an informa business

Contents

Preface ix

Acknowledgments xxv

Editor xxvii

Contributors xxix

International Advisory Board xxxi

Part I System-Level Design and Verification

1 Real-Time in Networked Embedded Systems Hans Hansson, Thomas Nolte, Mikael Sjödin, and Daniel Sundmark 1-3

2 Design of Embedded Systems Luciano Lavagno and Claudio Passerone . . . 2-1

3 Models of Computation for Distributed Embedded Systems

Axeljantsch 3-1

4 Embedded Software Modeling and Design Marco Di Natale 4-1

5 Languages for Design and Verification Stephen A. Edwards 5-1 6 Synchronous Hypothesis and Polychronous Languages Dumitru Potop-Butucaru,

Robert de Simone, and Jean-Pierre Talpin 6-1

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

8 Network-Ready, Open-Source Operating Systems for Embedded Real-Time Applications Ivan Cibrario Bertolotti 8-1

9 Determining Bounds on Execution Times Reinhard Wilhelm 9-1

10 Performance Analysis of Distributed Embedded Systems Lothar Thiele, Ernesto Wandeler, and Wolfgang Haid 10-1

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

vii

viii Contents

Part II Embedded Processors and System-on-Chip Design

12 Processors for Embedded Systems Steve Leibson 12-1

13 System-on-Chip Design Grant Martin 13-1

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

15 Networks-on-Chip: An Interconnect Fabric for Multiprocessor Systems-on-Chip Francisco Gilabert, Davide Bertozzi, Luca Benini, and Giovanni De Micheli . . . 15-1

16 Hardware/Software Interfaces Design for SoC Katalin Popovici, Wander O. Cesärio, Flävio R. Wagner, and A. A. jerraya 16-1

17 FPGA Synthesis and Physical Design Mike Hutton and Vaughn Betz 17-1

Part III Embedded System Security and Web Services

18 Design Issues in Secure Embedded Systems Anastasios G. Fragopoulos, Dim-itrios N. Serpanos, and Artemios G. Voyiatzis 18-1

19 Web Services for Embedded Devices Hendrik Bohn and Frank Golatowski 19-1

Contributor Index CI-1

Subject Index Sil