Formal Methods and Models for System Design: A System Level Perspective

by Rajesh Gupta (Editor)

Preface. 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. A Method for System-level Architecture Evaluation; J. Romberg, et al. 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. 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. 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. Post Production Formal Methods. 14. Engineering Changes in Field Modifiable Architectures; S. Komatsu, et al.

384 pages, Paperback

First published October 1, 2004