Modeling Embedded Systems and SoC's

Concurrency and Time in Models of Computation


  • Axel Jantsch, Royal Institute of Technology, Stockholm, Sweden

Over the last decade, advances in the semiconductor fabrication process have led to the realization of true system-on-a-chip devices. But the theories, methods and tools for designing, integrating and verifying these complex systems have not kept pace with our ability to build them. System level design is a critical component in the search for methods to develop designs more productively. However, there are a number of challenges that must be overcome in order to implement system level modeling. This book directly addresses that need by developing organizing principles for understanding, assessing, and comparing the different models of computation necessary for system level modeling. Dr. Axel Jantsch identifies the representation of time as the essential feature for distinguishing these models. After developing this conceptual framework, he presents a single formalism for representing very different models, allowing them to be easily compared. As a result, designers, students, and researchers are able to identify the role and the features of the "right" model of computation for the task at hand.
View full description


Digital Systems Designers; Embedded Systems Designers, System-on-a-chip designers, graduate students, researchers


Book information

  • Published: June 2003
  • ISBN: 978-1-55860-925-9


"I recommend this book highly to those who are new to this subject or who need to better understand its formal underpinnings. System level tool developers will find these concepts an excellent basis for determining which modeling approaches will be supported and why. Jantsch's book is a major advance in the material available to students, researchers and practitioners alike in this important and vital area." -From the foreword by Grant Martin, Fellow, Cadence Laboratories "This book is a groundbreaking first, offering a comparative analysis of families of methods. It will be extremely valuable to anyone who thinks about modeling and worries about how to select from competing approaches." -Edward A. Lee, University of California, Berkeley "Anyone interested in computational models for the design of embedded systems will find this outstanding book most helpful. It provides a close look at architectural issues that are fundamental for designing SoCs now and in the near future." -John Vacca, former computer security official (CSO) for NASA's space station program

Table of Contents

Preface 1. Introduction 2. Behavior and Concurrency 3. The Untimed Model of Computation 4. The Synchronous Model of Computation 5. The Timed Model of Computation 6. MoC Interfaces 7. Tightly Coupled Process Networks 8. Nondeterminism and Probability 9. Applications 10. Concluding Remarks