Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Front Matter ....Pages I-XVI
Front Matter ....Pages 1-1
 Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds  (Tiziana Margaria)....Pages 3-18
 Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory  (Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gössler)....Pages 19-31
Front Matter ....Pages 33-33
 Automated Functional Safety Analysis of Automated Driving Systems  (Martin Kölbl, Stefan Leue)....Pages 35-51
 Safety Interlocking as a Distributed Mutual Exclusion Problem  (Alessandro Fantechi, Anne E. Haxthausen)....Pages 52-66
 Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL  (Jan Toennemann, Andreas Rausch, Falk Howar, Benjamin Cool)....Pages 67-82
 Formal Verification of a Programmable Hypersurface  (Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides)....Pages 83-97
 Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset  (Maarten Bartholomeus, Bas Luttik, Tim Willemse)....Pages 98-114
 Progress Checking for Dummies  (Antti Valmari, Henri Hansen)....Pages 115-130
 Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker  (Jan Steffen Becker)....Pages 131-146
 Active Mining of Document Type Definitions  (Markus Frohme, Bernhard Steffen)....Pages 147-161
 Adaptive Learning for Learn-Based Regression Testing  (David Huistra, Jeroen Meijer, Jaco van de Pol)....Pages 162-177
Front Matter ....Pages 179-180
 Predicate Abstraction and Such...  (Bernhard Steffen, Tiziana Margaria)....Pages 181-188
 Compositional Verification in Action  (Hubert Garavel, Frédéric Lang, Laurent Mounier)....Pages 189-210
 A Note on Refinement in Hierarchical Transition Systems  (Gerald Lüttgen)....Pages 211-222
 M3C: Modal Meta Model Checking  (Bernhard Steffen, Alnis Murtovi)....Pages 223-241
 Wholly!: A Build System For The Modern Software Stack  (Loic Gelle, Hassen Saidi, Ashish Gehani)....Pages 242-257
 A Modeling Language for Security Threats of IoT Systems  (Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf)....Pages 258-268
 Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP  (Iulian Ober)....Pages 269-283
 Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools  (Sophie Quinton)....Pages 284-290
Back Matter ....Pages 291-291