Formal methods and models for system design: a system level perspective
Rajesh K. Gupta, Paul Le Guernic, Sandeep K. Shukla, Jean-Pierre Talpin · Kluwer Academic Publishers eBooks · 2004
Preface. I: Methods and Models for System Level Design. 1. Modular Hierarchies of Models for Embedded Systems M. Broy. 2. Actor-oriented Models for Codesign E.A. Lee, S. Neuendorffer. 3. Structural Component Composition for System-level Models F. Doucet, et al. 4. Truly Heterogeneous Modeling with SystemC H.D. Patel, S.K. Shukla. 5. MoDe: A Method for System-level Architecture Evaluation J. Romberg, et al. II: Models and Methods for System Evaluation. 6. A Verification Methodology for Concurrent Software with Synchronous Communication C. Sprenger, K. Worytkiewicz. 7. High-level Verification of Control Intensive Systems E. Clarke, et al. 8. How to Compute the Refinement Relation for Parameterized Systems F. Bellegarde, et al. III: Type Theoretic Models and Methods for System Design. 9. Algebraic Theory for Behavioral Type Inference J.-P. Talpin, P. Le Guernic. 10. Behavioral Type Inference for Compositional System design J.-P. Talpin, et al. IV: Optimizing System Models. 11. Optimizations for Faster Execution of Esterel Programs D. Potop-Butucaru, R. de Simone. 12. Optimizing System Models for Simulation Efficiency S.A. Sharad, S.K. Shukla. 13. Capturing Formal Specification into Abstract Models D. Berner, et al. V: Post Production Formal Methods. 14. Engineering Changes in Field Modifiable Architectures S. Komatsu, et al.