Skip to main content
SpringerLink
Log in

Formal Methods for Industrial Critical Systems

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Gwen Salaün

    1. Grenoble INP - INRIA - LIG, Montbonnot Saint-Martin, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Schätz

    1. fortiss GmbH, München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Included in the following conference series:

Conference proceedings info: FMICS 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Towards Trustworthy Aerospace Systems: An Experience Report

    • Joost-Pieter Katoen
    Pages 1-4

  3. Satisfiability at Microsoft

    • Leonardo de Moura
    Pages 5-5

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

    • Néstor Cataño, Ijaz Ahmed
    Pages 6-20

  5. 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

  6. Past Time LTL Runtime Verification for Microcontroller Binary Code

    • Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
    Pages 37-51

  7. 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

  8. Formal Safety Analysis in Industrial Practice

    • Ilyas Daskaya, Michaela Huhn, Stefan Milius
    Pages 68-84

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

    • Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis
    Pages 85-101

  10. Formal Analysis of a Triplex Sensor Voter in an Industrial Context

    • Michael Dierkes
    Pages 102-116

  11. 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

  12. Symbolic Power Analysis of Cell Libraries

    • Matthias Raffelsieper, MohammadReza Mousavi
    Pages 134-148

  13. 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

  14. Performability Measure Specification: Combining CSRL and MSL

    • Alessandro Aldini, Marco Bernardo, Jeremy Sproston
    Pages 165-179

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

    • Etienne Lantreibecq, Wendelin Serwe
    Pages 180-195

  16. Transforming SOS Specifications to Linear Processes

    • Frank P. M. Stappers, Michel A. Reniers, Sven Weber
    Pages 196-211

  17. 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

  18. 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

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

    • Ahmed Shah Mashiyat, Fazle Rabbi, Wendy MacCaull
    Pages 244-259

  20. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Methods for Industrial Critical Systems

Keywords

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.

Editors and Affiliations

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

    Gwen Salaün

  • fortiss GmbH, München, Germany

    Bernhard Schätz

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation