Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

Front Cover
Gwen Salaün, Bernhard Schätz
Springer Science & Business Media, Sep 19, 2011 - Computers - 261 pages
This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

An Experience Report
1
Satisfiability at Microsoft
5
A Case Study With The Plural Tool
6
Runtime Verification of Typical Requirements for a Space Critical SoC Platform
21
Past Time LTL Runtime Verification for Microcontroller Binary Code
37
A SATBased Approach for the Construction of Reusable Control System Components
52
Formal Safety Analysis in Industrial Practice
68
Structural Test Coverage Criteria for Integration Testing of LUSTRESCADE Programs
85
Symbolic Power Analysis of Cell Libraries
134
An Automated SemanticBased Approach for Creating Tasks from Matlab Simulink Models
149
Combining CSRL and MSL
165
Model Checking and Cosimulation of a Dynamic Task Dispatcher Circuit Using CADP
180
Transforming SOS Specifications to Linear Processes
196
A Case Study
212
Hierarchical Modeling and Formal Verification An Industrial Case Study Using Reo and Vereofy
228
Modeling and Verifying Timed Compensable Workflows and an Application to Health Care
244

Formal Analysis of a Triplex Sensor Voter in an Industrial Context
102
ModelBased Specification Implementation and Testing of a Software Bus at Neopost
117
Author Index
260
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information