Modeling Embedded Systems And Soc's

Hardcover (Print)
Buy New
Buy New from
Used and New from Other Sellers
Used and New from Other Sellers
from $25.91
Usually ships in 1-2 business days
(Save 70%)
Other sellers (Hardcover)
  • All (7) from $25.91   
  • New (4) from $81.00   
  • Used (3) from $25.91   


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.

• Offers a unique and significant contribution to the emerging field of models of computation

• Presents a systematic way of understanding and applying different Models of Computation to embedded systems and SoC design

• Offers insights and illustrative examples for practioners, researchers and students of complex electronic systems design.

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

Read More Show Less

Editorial Reviews

From Barnes & Noble
The Barnes & Noble Review
The System-on-Chip (SoC) era is firmly upon us, but your ability to use modeling tools to design the systems has lagged behind. Enter author Axel Jantsch and his excellent Modeling Embedded Systems and SoC's, which sheds light on the best way to overcome modeling obstacles. The author provides the framework and concepts needed for building executable system models. Furthermore, he's made this book very useful for several types of reader, each with a different learning requirement.

For example, after an introduction in Chapter 1 that explains the importance of understanding models of computation and concurrency in system design and introduces basic system modeling concepts, Chapter 2 presents the important models of Finite State Machines and Petri Nets. Chapter 3, the heart of the book, introduces the author's formal modeling framework and notation in an introduction to untimed models of computation (MOC), with extensions to include the embedding of synchronous dataflow (one of the most useful models) in this analytical framework. Next, Chapter 4 adds major concepts of synchronous models, building a base for Chapter 5's introduction to timed models of computation. Chapter 6 examines the issue of interfacing different models, whether using the same or different MOC. Chapter 7 elaborates on tightly coupled process networks. Next, Chapter 8 addresses the important notions of determinism and nondeterminism and the use of stochastic processes as a more tractable substitution for nondeterministic models. The last major chapter in the book, Chapter 9, covers the use of the various models in performance analysis and functional specification, as well as the links between modeling, design, and synthesis.

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

John Vacca, the former computer security official (CSO) for NASA's space station program (Freedom), has written 38 books about advanced storage, computer security, and aerospace technology.

From the Publisher
"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

Read More Show Less

Product Details

  • ISBN-13: 9781558609259
  • Publisher: Elsevier Science
  • Publication date: 1/1/2004
  • Series: Systems on Silicon Series
  • Edition description: New Edition
  • Pages: 374
  • Product dimensions: 0.88 (w) x 10.00 (h) x 7.00 (d)

Meet the Author

Axel Jantsch received a Dipl.Ing. in 1988 and a Dr. Tech. degree in 1992 from the Technical University of Vienna. Between 1993 and 1995 he received the Alfred Schrödinger scholarship from the Austrian Science Foundation as a guest researcher at the Royal Institute of Technology (KTH) in Stockholm. From 1995 through 1997 he was with Siemens Austria in Vienna as a system validation engineer. From 1997 to 2002 he was as Associate Professor at KTH, and since December 2002 he has served as Professor in Electronic System Design. Jantsch has published in the areas of VLSI design and synthesis, system level specification, modeling and validation, HW/SW codesign and cosynthesis, reconfigurable computing, processor design and networks-on-chip. For several years he has been a program committee member of FDL and DATE conferences. He has served as TPC chair of SSDL/FDL 2000 and is Subject Area Editor for the Journal of Systems Architecture. At KTH, Jantsch is heading a number of research projects in the areas of system level specification, design, synthesis, validation and network-on-chip architecture. From 1999 to 2002, he served as program manager of the Swedish research program Integrated Electronic Systems with a 4-year budget of 12 million Euro.

Read More Show Less

Table of Contents

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

Read More Show Less

Customer Reviews

Average Rating 5
( 1 )
Rating Distribution

5 Star


4 Star


3 Star


2 Star


1 Star


Your Rating:

Your Name: Create a Pen Name or

Barnes & Review Rules

Our reader reviews allow you to share your comments on titles you liked, or didn't, with others. By submitting an online review, you are representing to Barnes & that all information contained in your review is original and accurate in all respects, and that the submission of such content by you and the posting of such content by Barnes & does not and will not violate the rights of any third party. Please follow the rules below to help ensure that your review can be posted.

Reviews by Our Customers Under the Age of 13

We highly value and respect everyone's opinion concerning the titles we offer. However, we cannot allow persons under the age of 13 to have accounts at or to post customer reviews. Please see our Terms of Use for more details.

What to exclude from your review:

Please do not write about reviews, commentary, or information posted on the product page. If you see any errors in the information on the product page, please send us an email.

Reviews should not contain any of the following:

  • - HTML tags, profanity, obscenities, vulgarities, or comments that defame anyone
  • - Time-sensitive information such as tour dates, signings, lectures, etc.
  • - Single-word reviews. Other people will read your review to discover why you liked or didn't like the title. Be descriptive.
  • - Comments focusing on the author or that may ruin the ending for others
  • - Phone numbers, addresses, URLs
  • - Pricing and availability information or alternative ordering information
  • - Advertisements or commercial solicitation


  • - By submitting a review, you grant to Barnes & and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Terms of Use.
  • - Barnes & reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & also reserves the right to remove any review at any time without notice.
  • - See Terms of Use for other conditions and disclaimers.
Search for Products You'd Like to Recommend

Recommend other products that relate to your review. Just search for them below and share!

Create a Pen Name

Your Pen Name is your unique identity on It will appear on the reviews you write and other website activities. Your Pen Name cannot be edited, changed or deleted once submitted.

Your Pen Name can be any combination of alphanumeric characters (plus - and _), and must be at least two characters long.

Continue Anonymously
Sort by: Showing 1 Customer Reviews
  • Posted June 27, 2009

    more from this reviewer

    The best book I have ever read on modelling formalism - from a practical perspective!

    Whether you are new to system modelling -- whether you are a seasoned engineer, you will not fail to appreciate the thorougness of Axel Janstch book on modelling thoery: from the classic Finite State Machine to more complex untimed, timed, synchronous and concurrent models of computation.

    I had the privilege to attend a course on System Modelling 5 years ago, as a Masters degree student at the Technical University of Denmark (DTU). Professor Axel Jantsch has the rare ability to illustrate how this highly-formalistic methodology can be applied to solve complex engineering problems.

    Was this review helpful? Yes  No   Report this review
Sort by: Showing 1 Customer Reviews

If you find inappropriate content, please report it to Barnes & Noble
Why is this product inappropriate?
Comments (optional)