2004

Formal Methods and Models for System Design

A System Level Perspective

ISBN: 978-1-4419-5464-0 (Print) 978-1-4020-8052-4 (Online)

Table of contents (14 chapters)

  1. Front Matter

    Pages i-ix

  2. Methods and Models for System Level Design

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-32

      Modular Hierarchies of Models for Embedded Systems

    3. No Access

      Book Chapter

      Pages 33-56

      Actor-Oriented Models for Codesign

    4. No Access

      Book Chapter

      Pages 57-81

      Structural Component Composition for System-Level Models

    5. No Access

      Book Chapter

      Pages 83-101

      Truly Heterogeneous Modeling with Systemc

    6. No Access

      Book Chapter

      Pages 103-133

      Mode: A Method for System-Level Architecture Evaluation

  3. Models and Methods for System Validation

    1. Front Matter

      Pages 135-135

    2. No Access

      Book Chapter

      Pages 137-157

      A Verification Methodology for Concurrent Software with Synchronous Communication

    3. No Access

      Book Chapter

      Pages 159-179

      Highlevel Verification of Control Intensive Systems Using Predicate Abstraction

    4. No Access

      Book Chapter

      Pages 181-209

      How to Compute the Refinement Relation for Parameterized Systems

  4. Type Theoretic Models and Methods for System Design

    1. Front Matter

      Pages 211-211

    2. No Access

      Book Chapter

      Pages 213-243

      Behavioral Type Inference

    3. No Access

      Book Chapter

      Pages 245-282

      Behavioral Type Inference

  5. Optimizing System Models

    1. Front Matter

      Pages 283-283

    2. No Access

      Book Chapter

      Pages 285-315

      Optimizations for Faster Execution of Esterel Programs

    3. No Access

      Book Chapter

      Pages 317-330

      Optimizing System Models for Simulation Efficiency

    4. No Access

      Book Chapter

      Pages 331-349

      XFM: Extreme Formal Method for Capturing Formal Specification into Abstract Models

  6. Post-Production Formal Methods

    1. Front Matter

      Pages 351-351

    2. No Access

      Book Chapter

      Pages 353-372

      Engineering Changes in Field Modifiable Architectures