Program

Workshop 1: 
Techniques for
safety development

• Prof. Mattias Nyberg:
  Requirements specification
  tool for safety critical systems
  based upon Linked Data
• Henrik Thane: Lessons learned: How to write good safety plans
• Jingyue Li: Safety and security analysis using STPA
• Vikash Katta: Using traceability information
• Narges Khakpour:
  Provably Secure Self-Protecting Systems

Workshop 2: 
Cooperative functions in
safety-critical System-of-
Systems scenarios [Ends 10:30]

• Hans Hansson: Introduction
• Irfan Sljivo: Facing design and assurance challenges of security-informed safety critical vehicle platoons via FLAR2SAF
• Leonardo Napoletani: CO-CPS: A sample XSTAMPP usage in V2I traffic management scenario based on STAMP model
   

Workshop 5: [Start 11:00]

Safety and software architectures

• Ilya Verbitskiy: Architectural Risk Analysis
• Wojciech Mostowski: Safety Analysis of
  Automotive Software: From Functional Safety to Component Testing

Workshop 3:
Where are the Safety Standards going? ​

• Barbara Gallina: Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-assessment,
• Illya Rudkin: Standardizing Technologies for Safety Critical Systems
• Even-André Karlsson: Comparing 26262 and ASPICE
• Andrzej Wardzinski: Managing safety
  case relations to system models,
• Björn Koberstein: Updated FMV
  handbook on Safety Critical Sofware

Workshop 4:
Safety critical software and agile development

• Interactive workshop
  where the challenges
  with combining
  Safety and Agile
  methods will be
  discussed.
  The workshop will be
  facilited by Tor
  Stålhane and Nicolas
  Martin-Vivaldi

Workshop 5: (continued)
Safety and software architectures

• Even-André Karlsson:
  Documenting the architecture
• Andreas Platschek: An Approach to Performing a Layers of Protection Analysis for Complex Software
• Nicholas Mc Guire: Diversity approaches investigated for the SIL2LinuxMP architecture
• Miroslaw Staron: Bridging Functional Safety Analysis and Software Architecture Assessment -- Safety scenarios in Architecture Trade-off Analysis Method (ATAM)
• Alex Wilson: Use of COTS Operating Systems with Lock Step for Rail Safety,
• Joakim Strandberg: Ada 2012 and SPARK 2014

Workshop 6:
Architecture and Safety for Autonomous Systems ​

• Martin Törngren and Viktor Kaznov:
  Architecting and safety of autonomous
  vehicles - preliminary findings from the Archer project,
• John Birch: Safety Assurance Argument Strategies for Vehicle Autonomy,
• Naveen Mohan: ATRIUM: Design method for architecting under uncertain information,
• Masoumeh Parseh: From hazard analysis to verification, real and imagined gaps when preparing for autonomy in the automotive domain
• Jérémie Guiochet: Safety monitoring for dependable autonomous systems