Skip to main content
  • Conference proceedings
  • © 2011

Formal Methods for Industrial Critical Systems

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

  • Up-to-date results

  • Fast-track conference proceedings

  • State-of-the-art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6959)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): FMICS: International Conference on Formal Methods for Industrial Critical Systems

Conference proceedings info: FMICS 2011.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (18 papers)

  1. Front Matter

  2. Satisfiability at Microsoft

    • Leonardo de Moura
    Pages 5-5
  3. Runtime Verification of Typical Requirements for a Space Critical SoC Platform

    • Luca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jérôme Lachaize, Vincent Lefftz
    Pages 21-36
  4. Past Time LTL Runtime Verification for Microcontroller Binary Code

    • Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
    Pages 37-51
  5. A SAT-Based Approach for the Construction of Reusable Control System Components

    • Daniel Côté, Benoît Fraikin, Marc Frappier, Richard St-Denis
    Pages 52-67
  6. Formal Safety Analysis in Industrial Practice

    • Ilyas Daskaya, Michaela Huhn, Stefan Milius
    Pages 68-84
  7. Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs

    • Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis
    Pages 85-101
  8. Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost.

    • Marten Sijtema, Mariëlle I. A. Stoelinga, Axel Belinfante, Lawrence Marinelli
    Pages 117-133
  9. Symbolic Power Analysis of Cell Libraries

    • Matthias Raffelsieper, MohammadReza Mousavi
    Pages 134-148
  10. An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models

    • Matthias Büker, Werner Damm, Günter Ehmen, Ingo Stierand
    Pages 149-164
  11. Performability Measure Specification: Combining CSRL and MSL

    • Alessandro Aldini, Marco Bernardo, Jeremy Sproston
    Pages 165-179
  12. Transforming SOS Specifications to Linear Processes

    • Frank P. M. Stappers, Michel A. Reniers, Sven Weber
    Pages 196-211
  13. Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study

    • Naghmeh Ghafari, Ramana Kumar, Jeff Joyce, Bernd Dehning, Christos Zamantzas
    Pages 212-227
  14. Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy

    • Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier
    Pages 228-243
  15. Modeling and Verifying Timed Compensable Workflows and an Application to Health Care

    • Ahmed Shah Mashiyat, Fazle Rabbi, Wendy MacCaull
    Pages 244-259
  16. Back Matter

Other Volumes

  1. Formal Methods for Industrial Critical Systems

About this book

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.

Keywords

  • concurrency
  • distributed model checking
  • model-based development
  • time constraint
  • verification

Editors and Affiliations

  • Grenoble INP - INRIA - LIG, Montbonnot Saint-Martin, France

    Gwen Salaün

  • fortiss GmbH, München, Germany

    Bernhard Schätz

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions