Formal Methods for Industrial Critical Systems: 24th International Conference, Fmics 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings

ISBN-13: 9783030270070 / Angielski / Miękka / 2019 / 161 str.

Kim Guldstrand Larsen; Tim Willemse

Spis treści

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.