Book Volume 7437 2012

Formal Methods for Industrial Critical Systems

17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Editors:

ISBN: 978-3-642-32468-0 (Print) 978-3-642-32469-7 (Online)

Table of contents (14 chapters)

  1. Front Matter

    Pages -

  2. Chapter and Conference Paper

    Pages 1-15

    Real-Time Specification Patterns and Tools

  3. Chapter and Conference Paper

    Pages 16-31

    Automated Extraction of Abstract Behavioural Models from JMS Applications

  4. Chapter and Conference Paper

    Pages 32-46

    Certifying and Reasoning on Cost Annotations in C Programs

  5. Chapter and Conference Paper

    Pages 47-62

    Waiting for Locks: How Long Does It Usually Take?

  6. Chapter and Conference Paper

    Pages 63-77

    Microcontroller Assembly Synthesis from Timed Automaton Task Specifications

  7. Chapter and Conference Paper

    Pages 78-92

    Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs

  8. Chapter and Conference Paper

    Pages 93-107

    Range Analysis of Binaries with Minimal Effort

  9. Chapter and Conference Paper

    Pages 108-130

    Combining Analyses for C Program Verification

  10. Chapter and Conference Paper

    Pages 131-145

    Model Checking the FlexRay Startup Phase

  11. Chapter and Conference Paper

    Pages 146-161

    Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations

  12. Chapter and Conference Paper

    Pages 162-176

    Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis

  13. Chapter and Conference Paper

    Pages 177-191

    Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems

  14. Chapter and Conference Paper

    Pages 192-206

    A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java

  15. Chapter and Conference Paper

    Pages 207-221

    Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution

  16. Back Matter

    Pages -