Skip to main content
SpringerLink
Log in
Book cover

Formal Methods for Industrial Critical Systems

24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Kim Guldstrand Larsen

    1. Aalborg University, Aalborg, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tim Willemse

    1. Eindhoven University of Technology, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: FMICS 2019.

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 EPUB and 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 (9 papers)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC

    • Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay
    Pages 1-21

  3. Formal Modelling and Verification of an Interlocking Using mCRL2

    • Mark Bouwman, Bob Janssen, Bas Luttik
    Pages 22-39

  4. A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas

    • Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nießen
    Pages 40-58

  5. Multiple Analyses, Requirements Once:

    • Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
    Pages 59-75

  6. The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis

    • Martijn Goorden, Joanna van de Mortel-Fronczak, Michel Reniers, Wan Fokkink, Jacobus Rooda
    Pages 76-92

  7. Incremental Development of a Safety Critical System Combining formal Methods and DSMLs

    • Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart-Dutilleul
    Pages 93-109

  8. Probabilistic Verification for Reliable Network-on-Chip System Design

    • Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Rajesh Jayashankara Shridevi, Koushik Chakraborty, Sanghamitra Roy et al.
    Pages 110-126

  9. A Simulator for LLVM Bitcode

    • Petr Ročkai, Jiří Barnat
    Pages 127-142

  10. Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study

    • Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
    Pages 143-159

  11. Back Matter

    Pages 161-161
    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 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.

The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), jointly with CONCUR, and Holger Hermanns (Universität des Saarlandes) and a special session on (commercial) formal methods in industry.

The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.


Editors and Affiliations

  • Aalborg University, Aalborg, Denmark

    Kim Guldstrand Larsen

  • Eindhoven University of Technology, Eindhoven, The Netherlands

    Tim Willemse

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation