Preliminary Conference Program

Tuesday September 18th

08:00 - 09:00 Registration Desk
09:00 - 10:30 Workshops Session 1
10:30 - 11:00 Coffee Break
11:00 - 12:30 Workshops Session 2
12:30 - 13:30 Lunch
13:30 - 15:30 Workshops Session 3
15:30 - 16:00 Coffee Break
16:00 - 18:00 Workshops Session 4

Wednesday September 19th

08:00 - 08:45 Registration Desk
08:45 - 09:00 Welcome Note
09:00 - 10:00 Keynote Talk 1: Robyn Lutz (session chair: TBA)
10:00 - 10:30 Coffee Break
10:30 - 12:00 Session 1 - Automotive safety standards and cross-domain reuse potential: (session chair: TBA)
Papers:
  • Automotive Safety Practices vs. Accepted Principles (Practical Experience Report)
  • A Generic Method for a Bottom-Up ASIL Decomposition
  • Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics
12:00 - 12:30 Exposition overview
12:30 - 14:00 Lunch Break
14:00 - 15:30 Session 2 - Autonomous driving and safety analysis: (session chair: TBA)
Papers:
  • Structuring Validations Targets of a Machine Learning Function applied in Automated Driving
  • Multi-Aspect Safety Engineering for Highly Automated Driving - Looking beyond functional safety and established standards and methodologies
  • A Model-Based Safety Analysis of Dependencies Across Abstraction Layers
15:30 - 16:00 Coffee Break
16:00 - 17:30 Session 3: Fast abstracts 30' + Corresponding Posters Presentation 60' (session chair: Jeremie)
18:30 - 19:30 Guided tour
19:30 Social Event: Conference Welcome Reception at Skrapan

Thursday September 20th

08:00 - 09:00 Registration Desk
09:00 - 10:00 Keynote Talk 2: "Reviews?! We do that! Cross-domain reuse of engineering knowledge and evidence" by Uma Ferrell (session chair: TBA)
10:00 - 10:30 Coffee Break
10:30 - 12:30 Session 4 - Verification: (session chair: TBA)
Papers:
  • Formal verification of signalling programs with SafeCap
  • Deriving and Formalising Safety and Security Requirements for Control Systems
  • Optimal Test Suite Generation for Modified Condition Decision Coverage using SAT solving
  • Efficient Splitting of Test and Simulation Cases for the Veri√ěcation of Highly Automated Driving Functions
12:30 - 14:00 Lunch Break
14:00 - 14:30 EWICS Presentation
14:30 - 16:00 Session 5 - Multi-concern assurance: (session chair: TBA)
Papers:
  • Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry
  • Safe and Secure Automotive Over-The-Air Updates
  • Dependability Analysis of the AFDX Frame Management Design
15:30 - 16:00 Coffee Break
16:00 - 17:30 Session 6: Panel
17:45 BUS to Eskilstuna. The bus leaves from Congress Center
18:30 - 20:00 Mingle & Guiding
20:00 - 22:30 Social Event: Conference Dinner at MUNTKTELLMUSEET
22:30 Departure from Eskilstuna at 22.30

Friday September 21st

08:00 - 09:00 Registration Desk
09:00 - 10:00 Keynote Talk 3: "Experiences from the industry, design and application of a control system platform for safety of machinery" by Richard Hendeberg (session chair: TBA)
10:00 - 10:30 Coffee Break
10:30 - 12:30 Session 7 - Fault tolerance: (session chair: TBA)
Papers:
  • Efficient On-Line Error Detection and Mitigation for Deep Neural Network Accelerators
  • Random Additive Control Flow Error Detection
  • Fault-Tolerant Clock Synchronization with only Two Redundant Paths
  • MORE: MOdel-based REdundancy for Simulink
12:30 - 14:00 Lunch Break
14:00 - 15:30 Session 8 - Safety and security risk: (session chair: TBA)
Papers:
  • Diversity in Open Source Intrusion Detection Systems
  • Inter-Device Sensor-Fusion for Action Authorization on Industrial Mobile Robots
  • Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and Signaling
15:30 - 16:00 Closing