Formal Techniques for Safety-Critical Systems

1. Front Matter

   Pages I-XII

   PDF

2. Analysis and Verification of Safety-Critical Systems

   1. Front Matter

      Pages 1-1

      PDF

   2. Formal Stability Analysis of Control Systems

      • Asad Ahmed, Osman Hasan, Falah Awwad

      Pages 3-17

   3. Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time

      • Maryam Kamali, Sven Linker, Michael Fisher

      Pages 18-36

   4. Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees

      • Liana Mikaelyan, Sascha Müller, Andreas Gerndt, Thomas Noll

      Pages 37-54

   5. Formal Verification of Random Forests in Safety-Critical Applications

      • John Törnblom, Simin Nadjm-Tehrani

      Pages 55-71

3. Analysis of Timed Systems

   1. Front Matter

      Pages 73-73

      PDF

   2. A Benchmark Library for Parametric Timed Model Checking

      • Étienne André

      Pages 75-83

   3. Formal Timing Analysis of Digital Circuits

      • Qurat Ul Ain, Osman Hasan

      Pages 84-100

   4. Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications

      • Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet

      Pages 101-118

4. Semantics and Analysis Methods

   1. Front Matter

      Pages 119-119

      PDF

   2. Refinement of Statecharts with Run-to-Completion Semantics

      • Karla Morris, Colin Snook, Thai Son Hoang, Robert Armstrong, Michael Butler

      Pages 121-138

   3. Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking

      • Nils Timm, Stefan Gruner

      Pages 139-157

5. Model Transformation

   1. Front Matter

      Pages 159-159

      PDF

   2. Model Transformation with Triple Graph Grammars and Non-terminal Symbols

      • William da Silva, Max Bureck, Ina Schieferdecker, Christian Hein

      Pages 161-177

6. Back Matter

   Pages 179-179

   PDF

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.
The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.

• artificial intelligence
• formal logic
• formal methods
• formal verifications
• model checking
• problem solving
• semantics
• software engineering
• specifications
• theorem proving
• algorithm analysis and problem complexity

• KTH Royal Institute of Technology, Stockholm, Sweden

  Cyrille Artho

• University of Oslo, Oslo, Norway

  Peter Csaba Ölveczky

Policies and ethics