Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings

Real-Time Specification Patterns and Tools.- Automated Extraction of Abstract Behavioural Models from JMS Applications.- Certifying and Reasoning on Cost Annotations in C Programs.-  Waiting for Locks: How Long Does It Usually Take?.- Microcontroller Assembly Synthesis from Timed Automaton Task Specifications.- Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs.- Range Analysis of Binaries with Minimal Effort.- Combining Analyses for C Program Verification.- Model Checking the FlexRay Startup Phase.- Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations.- Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.-  Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems.- A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java.- Checking Properties Described by State Machines: OnSynergy of Instrumentation, Slicing, and Symbolic Execution.