Formal Methods and Models for System Design A System Level Perspective
Perhaps nothing characterizes the inherent heterogeneity in embedded sys tems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core repre sent a careful division and design of hardware and software parts of...
| Other Authors: | , , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY
Springer US
2004, 2004
|
| Edition: | 1st ed. 2004 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- I Methods and Models for System Level Design
- 1 Modular Hierarchies of Models for Embedded Systems
- 2 Actor-oriented models for codesign
- 3 Structural Component Composition for System-level Models
- 4 Truly Heterogeneous modeling with SystemC
- 5 MoDe: A Method for System-Level Architecture Evaluation
- II Models and Methods for System Validation
- 6 A Verification Methodology for Concurrent Software with Synchronous Communication
- 7 High Level Verification of Control Intensive Systems
- 8 How to Compute the Refinement Relation for Parameterized Systems
- III Type Theoretic Models and Methods for System Design
- 9 Algebraic theory for behavioral type inference
- 10 Behavioral type inference for compositional system design
- IV Optimizing System Models
- 11 Optimizations for Faster Execution of Esterel Programs
- 12 Optimizing System Models for Simulation Efficiency
- 13 Capturing Formal Specification into Abstract Models
- V Post-Production Formal Methods
- 14 Engineering Changes in Field Modifiable Architectures