Formal Methods for Industrial Critical Systems

12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers


ISBN: 978-3-540-79706-7 (Print) 978-3-540-79707-4 (Online)
Download Book (6,489 KB) As a courtesy to our readers the eBook is provided DRM-free. However, please note that Springer uses effective methods and state-of-the art technology to detect, stop, and prosecute illegal sharing to safeguard our authors’ interests.

Table of contents (17 chapters)

  1. Front Matter

    Pages -

  2. Invited Presentations

    1. Book Chapter

      Pages 1-1

      Verification of Embedded Software: From Mars to Actions

    2. Book Chapter

      Pages 2-2

      Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel

  3. Research Papers

    1. Book Chapter

      Pages 3-20

      Static Analysis of the Accuracy in Control Systems: Principles and Experiments

    2. Book Chapter

      Pages 21-37

      Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code

    3. Book Chapter

      Pages 38-55

      Checking the TWIN Elevator System by Translating Object-Z to SMV

    4. Book Chapter

      Pages 56-67

      Introducing Time in an Industrial Application of Model-Checking

    5. Book Chapter

      Pages 68-84

      Integration of Formal Analysis into a Model-Based Software Development Process

    6. Book Chapter

      Pages 85-100

      Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler

    7. Book Chapter

      Pages 101-114

      Computing Worst-Case Response Times in Real-Time Avionics Applications

    8. Book Chapter

      Pages 115-132

      Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization

    9. Book Chapter

      Pages 133-148

      An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications

    10. Book Chapter

      Pages 149-163

      Model Classifications and Automated Verification

    11. Book Chapter

      Pages 164-181

      An Approach to Formalization and Analysis of Message Passing Libraries

    12. Book Chapter

      Pages 182-199

      Analysis of a Session-Layer Protocol in mCRL2

    13. Book Chapter

      Pages 200-217

      Automatic Certification of Java Source Code in Rewriting Logic

    14. Book Chapter

      Pages 218-233

      Reverse Engineered Formal Models for GUI Testing

    15. Book Chapter

      Pages 234-250

      Automatic Interoperability Test Case Generation Based on Formal Definitions

  4. Back Matter

    Pages -