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 | Computer multitasking
Embedded computer systems - Design and construction Data processing Multitasking (Computer science) Systems on a chip - Design and construction Data processing Vis mer... Timing circuits - Design and construction Data processing
Datamaskiner - Systemutvikling Electrical & Computer Engineering Electrical Engineering Engineering & Applied Sciences Innebygde systemer : (NO-TrBIB)REAL013994 Systemdesign : (NO-TrBIB)REAL006541 Systemutvikling (Databehandling) innebygde systemer system-on-chip fe8119 |
Sjanger | |
Dewey | |
ISBN | 1558609253
|