Book 2004

Formal Methods for Embedded Distributed Systems

How to master the complexity

Editors:

ISBN: 978-1-4020-7996-2 (Print) 978-1-4020-7997-9 (Online)

Table of contents (8 chapters)

  1. Front Matter

    Pages i-xx

  2. The BART Case Study

    1. No Access

      Chapter

      Pages 3-22

      The BART Case Study

  3. Building and Validating Conceptual Aspects

    1. No Access

      Chapter

      Pages 25-64

      Formal Specifcation and Refinement of a Safe Train Control Function

    2. No Access

      Chapter

      Pages 65-88

      From UML to Z

    3. No Access

      Chapter

      Pages 89-129

      Environmental Modeling with UML

  4. Building and Validating Operational Aspects

    1. No Access

      Chapter

      Pages 133-170

      Checking BART Test Scenarios with UML’s Object Constraint Language

    2. No Access

      Chapter

      Pages 171-211

      Modeling and verifying behavioral aspects

  5. Methodological Aspects

    1. No Access

      Chapter

      Pages 215-258

      Mastering the Complexity of Reactive Systems - The AutoFocusApproach

    2. No Access

      Chapter

      Pages 259-263

      Conclusions