Modeling Embedded Systems And Soc'sby Axel Jantsch
Pub. Date: 01/01/2004
Publisher: Elsevier Science
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
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.
Table of Contents
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
10. Concluding Remarks
and post it to your social network
Most Helpful Customer Reviews
See all customer reviews >
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.