Modeling Embedded Systems and SoC's : Concurrency and Time in Models of Computation


Axel. Jantsch
Bok Engelsk 2003 · Electronic books.
Annen tittel
Utgitt
Burlington : : Elsevier Science, , 2003.
Omfang
1 online resource (374 p.)
Opplysninger
Description based upon print version of record.. - Cover; Copyright Page; Contents; Foreword; Preface; Notation; Chapter 1. Introduction; 1.1 Motivation; 1.2 Heterogeneous Models; 1.3 Separation of Computation and Communication; 1.4 Systems and Models; 1.5 The Rugby Metamodel; 1.6 Domains; 1.7 Notation; 1.8 Design Methods and Methodology; 1.9 Case Study: A Design Project; 1.10 Further Reading; 1.11 Exercises; Chapter 2. Behavior and Concurrency; 2.1 Models for the Description of Behavior; 2.2 Finite State Machines; 2.3 Petri Nets; 2.4 Extended and Restricted Petri Nets; 2.5 Further Reading; 2.6 Exercises. - 4.1 Perfect Synchrony4.2 Process Constructors; 4.3 Feedback Loops; 4.4 Perfectly Synchronous MoC; 4.5 Process Merge; 4.6 Clocked Synchronous Models; 4.7 Extended Characteristic Function; 4.8 Example: Traffic Light Controller; 4.9 Rugby Coordinates; 4.10 Validation; 4.11 Further Reading; 4.12 Exercises; Chapter 5. The Timed Model of Computation; 5.1 Introduction; 5.2 Process Constructors; 5.3 Discrete Event Models Based on d-Delay; 5.4 Rugby Coordinates; 5.5 Applications; 5.6 Further Reading; 5.7 Exercises; Chapter 6. MoC Interfaces; 6.1 Interfaces between Domains of the Same MoC. - 6.2 Interfaces between Different Computational Models6.3 Integrated Model of Computation; 6.4 Asynchronous Interfaces; 6.5 Process Migration; 6.6 Applications; 6.7 Further Reading; 6.8 Exercises; Chapter 7. Tightly Coupled Process Networks; 7.1 Nonblocking Read; 7.2 Blocking Read and Blocking Write; 7.3 Oversynchronization; 7.4 Rugby Coordinates; 7.5 Further Reading; 7.6 Exercises; Chapter 8. Nondeterminism and Probability; 8.1 The Descriptive Purpose; 8.2 The Constraining Purpose; 8.3 The s Process; 8.4 Synthesis and Formal Verification; 8.5 Process Constructors. - 8.6 Usage of Stochastic Skeletons8.7 Further Reading; 8.8 Exercises; Chapter 9. Applications; 9.1 Performance Analysis; 9.2 Functional Specification; 9.3 Design and Synthesis; 9.4 Further Reading; 9.5 Exercises; Chapter 10. Concluding Remarks; Bibliography; Index. - Chapter 3. The Untimed Model of Computation3.1 The MoC Framework; 3.2 Processes and Signals; 3.3 Signal Partitioning; 3.4 Process Constructors; 3.5 Process Properties; 3.6 Composition Operators; 3.7 Definition of the Untimed MoC; 3.8 Characteristic Functions; 3.9 Process Signatures; 3.10 Process Up-rating; 3.11 Process Down-rating; 3.12 Process Merge; 3.13 Rugby Coordinates; 3.14 The Untimed Computational Model and Petri Nets; 3.15 Synchronous Dataflow; 3.16 Variants of the Untimed MoC; 3.17 Further Reading; 3.18 Exercises; Chapter 4. The Synchronous Model of Computation. - 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 understandin
Emner
Sjanger
Dewey
ISBN
1558609253

Bibliotek som har denne