Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings /
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 co...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
| Edition: | 1st ed. 2019. |
| Series: | Programming and Software Engineering ;
11687 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-030-27008-7 |
Table of Contents:
- Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC
- Formal Modelling and Verification of an Interlocking using mCRL2
- A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas
- Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development
- The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis
- Incremental development of a safety critical system combining formal methods and DSMLs
- Probabilistic Verification for Reliable Network-on-Chip System Design
- A Simulator for LLVM Bitcode
- Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study.