Book Volume 6959 2011

Formal Methods for Industrial Critical Systems

16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Editors:

ISBN: 978-3-642-24430-8 (Print) 978-3-642-24431-5 (Online)

Table of contents (18 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Chapter and Conference Paper

    Pages 1-4

    Towards Trustworthy Aerospace Systems: An Experience Report

  3. No Access

    Chapter and Conference Paper

    Pages 5-5

    Satisfiability at Microsoft

  4. No Access

    Chapter and Conference Paper

    Pages 6-20

    Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool

  5. No Access

    Chapter and Conference Paper

    Pages 21-36

    Runtime Verification of Typical Requirements for a Space Critical SoC Platform

  6. No Access

    Chapter and Conference Paper

    Pages 37-51

    Past Time LTL Runtime Verification for Microcontroller Binary Code

  7. No Access

    Chapter and Conference Paper

    Pages 52-67

    A SAT-Based Approach for the Construction of Reusable Control System Components

  8. No Access

    Chapter and Conference Paper

    Pages 68-84

    Formal Safety Analysis in Industrial Practice

  9. No Access

    Chapter and Conference Paper

    Pages 85-101

    Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs

  10. No Access

    Chapter and Conference Paper

    Pages 102-116

    Formal Analysis of a Triplex Sensor Voter in an Industrial Context

  11. No Access

    Chapter and Conference Paper

    Pages 117-133

    Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost.

  12. No Access

    Chapter and Conference Paper

    Pages 134-148

    Symbolic Power Analysis of Cell Libraries

  13. No Access

    Chapter and Conference Paper

    Pages 149-164

    An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models

  14. No Access

    Chapter and Conference Paper

    Pages 165-179

    Performability Measure Specification: Combining CSRL and MSL

  15. No Access

    Chapter and Conference Paper

    Pages 180-195

    Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP

  16. No Access

    Chapter and Conference Paper

    Pages 196-211

    Transforming SOS Specifications to Linear Processes

  17. No Access

    Chapter and Conference Paper

    Pages 212-227

    Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study

  18. No Access

    Chapter and Conference Paper

    Pages 228-243

    Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy

  19. No Access

    Chapter and Conference Paper

    Pages 244-259

    Modeling and Verifying Timed Compensable Workflows and an Application to Health Care

  20. Back Matter

    Pages -