Tuesday 10 September 2019

 19:00 – 20:30 Welcome reception at Turku City Hall

Wednesday 11 September 2019

08:00–08:50 Registration

08:50–09:00 Welcome

09:00–10:00 Invited talk: Marco Vieira. Trustworthiness Benchmarking of Safety Critical Systems (Session Chair: Elena Troubitsyna)

10:00–10:30 Coffee break

10:30–12:00 Session 1: Formal verification (Session Chair: Maritta Heisel)

  • Alessandro Cimatti, Rance DeLong, Ivan Stojic and Stefano Tonetta. Model–Based Run–Time Synthesis of Architectural Configurations for Adaptive MILS Systems
  • Josselin Giet, Laurent Mauborgne, Daniel Kästner and Christian Ferdinand. Towards Zero Alarms in Sound Static Analysis of Finite State Machines
  • Joshua Bockenek, Freek Verbeek, Peter Lammich and Binoy Ravindran. Formal Verification of Memory Preservation of x86–64 Binaries

12:00–13:30 Lunch

13:30–14:30 Invited talk: Jack Weast. An Open, Transparent, Industry–Driven Approach to AV Safety (Session Chair: Antonio Casimiro)

14:30–16:00 Session 2: Autonomous driving (Session Chair: Simon Burton)

  • Tasuku Ishigooka, Satoshi Otsuka, Kazuyoshi Serizawa, Ryo Tsuchiya and Fumio Narisawa. Graceful Degradation Design Process for Autonomous Driving System
  • Ayhan Mehmed, Moritz Antlanger, Wlfried Steiner and Sasikumar Punnekkat. Forecast Horizon for Automated Safety Actions in Automated Driving Systems
  • Philip Koopman, Beth Osyk and Jack Weast. Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety

16:00-16:30 Coffee break

16:30–18:00 Session 3: Safety and reliability modeling (Session Chair: Andrea Bondavalli)

  • Kester Clegg, Mole Li, Alan Grigg, David Stamp and John McDermid. A SysML Profile for Fault Trees — linking safety models to system design
  • Kai Ding, Andrey Morozov and Klaus Janschek. Efficient Model–level Reliability Analysis of Simulink Models
  • Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen–Huene and Thorsten Piper. SafeDeML: On Integrating the Safety Design into the System Model

18:30-20:30 Visit to Wärtsilä  Land and Sea Academy 

Thursday 12 September 2019

09:00–10:00 Invited talk: Ross Anderson. The Sustainability of Safety, Security and Privacy(Session Chair: Alexander Romanovsky)

10:00–10:30 Coffee break

10:30–12:00 Session 4: Security engineering and risk assessment (Session Chair: Frank Ortmeier)

  • Robert Altschaffel, Stefan Kiltz, Prof. Dr. Jana Dittmann and Mario Hildebrandt. Digital Forensics in Industrial Control Systems
  • Abdul Ghafoor, A Qudus Abbasi and Zaheer Abbas Khan. Towards Trusted Security Context Exchange Protocol for SDN based Low Latency Networks
  • Fabio Luiz Leite Junior, Rasmus Adler and Daniel Schneider. Dynamic risk assessment enabling automated interventions for medical cyber–physical systems

12:00–13:30 Lunch

13:30–15:00 Industrial Panel: Safety and Security of Autonomous Systems (Panel Moderator: Phil Koopman)

15:00–15:30 EWICS TC7 presentation

15:30–16:00 Coffee break

16:00–17:30 Session 5: Safety argumentation (Session Chair: Ewan Denny)

  • Nikita Johnson and Tim Kelly. Devil’s in the detail: Through–life safety and security co–assurance using SSAF
  • Jan Reich, Marc Zeller and Daniel Schneider. Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities
  • Chiara Picardi, Richard Hawkins, Colin Paterson and Ibrahim Habli. A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems

18:00-23:30 Conference banquet

Friday 13 September 2019

9:00–10:30 Session 6: Verification and validation of autonomous systems (Session Chair: Philippe Palanque)

  • Jelena Frtunikj. Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems
  • Florian Hauer, Alexander Pretschner and Bernd Holzmüller. Fitness Functions for Testing Automated and Autonomous Driving Systems
  • Lisa Joeckel and Michael Klaes. Increasing Trust in Data–Driven Model Validation – A Framework for Probabilistic Augmentation of Images and Meta–Data Generation using Application Scope Characteristics

10:30-11:00 Coffee break

11:00-12:00 Fast abstracts(Session Chair: Alexander Romanovsky)

12:00–13:30 Lunch

13:30–15:00 Session 7: Interactive systems and design validation (Session Chair: Barbara Gallina)

  • Philippe Palanque, Andy Cockburn, Léopold Désert–Legendre, Carl Gutwin and Yannick Déléris. Brace Touch: a Dependable, Turbulence–Tolerant, Multi–Touch Interaction Technique for Interactive Cockpits
  • Ulrich Thomas Gabor, Simon Dierl and Olaf Spinczyk. Spectrum–Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models
  • Herson Esquivel–Vargas, Marco Caselli, Erik Tews, Doina Bucur and Andreas Peter. BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact

15:00–15:30 Closing session and coffee

Information about industrial panel

Panel moderator: Prof Philip Koopman (Carnegie Mellon University, USA and Edge Case Research co-founder)


  • Dr Simon Collart-Dutilleul (Institut Français des Sciences et Technologies des Transports, de l’Aménagement et des Réseaux IFSTTAR, France)
  • Dr Jelena Frtunikj (BMW, Germany),
  • Dr Timo Latvala (Space Systems Finland)
  • Jack Weast (Intel, USA)

Social events

Tuesday 10 September 2019 19:00 – 20:30

Welcome reception at Turku City Hall

  • Address: Aurakatu 2, Turku (650 meters from the conference venue)
  • After welcome from City of Turku and short guided visit, refreshments and drinks will be served

Wednesday 11 September 2019 18:30-20:30

Visit to Wärtsilä Land and Sea Academy

  • Bus transportation to and from the conference venue
  • Address: Stålarminkatu 45, Turku
  • Guided tour 19:00-20:00

Wärtsilä Oyj Abp is a Finnish corporation which manufactures and services power sources and other equipment in the marine and energy markets. We will be guided through the training center, where the participants will have an opportunity to see the real engines and visit the hands-on area. Please observe NO PHOTOGRAPHY ALLOWED.

Thursday 12 September 2019 18:00 – 23:30

Guided tour and banquet in the Turku Castle

  • Bus transportation to and from the conference venue


  • 18:00: bus departs from the conference venue.
  • 18:30–19:30: Guided tour in the medieval part of Turku Castle (we will be split in four groups)
  • 20:00–23:00: Conference banquet in the King’s hall
  • 23:05: Bus to the conference venue

Download the programme