Formal methods for industrial critical systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings / Gwen Salaün, Bernhard Schätz (eds.)
Machine generated contents note: Towards Trustworthy Aerospace Systems: An Experience Report / Joost-Pieter Katoen -- Satisfiability at Microsoft / Leonardo de Moura -- Lightweight Verification of a Multi-Task Threaded Server: A Case Study with the Plural Tool / Ijaz Ahmed -- Runtime Verification of Typical Requirements for a Space Critical SoC Platform / Vincent Lefftz -- Past Time LTL Runtime Verification for Microcontroller Binary Code / Stefan Kowalewski -- SAT-Based Approach for the Construction of Reusable Control System Components / Richard St-Denis -- Formal Safety Analysis in Industrial Practice / Stefan Milius -- Structural Test Coverage Criteria for Integration Testing of Lustre/Scade Programs / Ioannis Parissis -- Formal Analysis of a Triplex Sensor Voter in an Industrial Context / Michael Dierkes -- Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost / Lawrence Marinelli -- Symbolic Power Analysis of Cell Libraries / Mohammad Reza Mousavi -- Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models / Ingo Stierand -- Performability Measure Specification: Combining CSRL and MSL / Jeremy Sproston -- Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP / Wendelin Serwe -- Transforming SOS Specifications to Linear Processes / Sven Weber -- Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study / Christos Zamantzas -- Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy / Christel Baier -- Modeling and Verifying Timed Compensable Workflows and an Application to Health Care / Wendy MacCaull
Summary
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
Bibliography
Includes bibliographical references and author index