Program

5th Scandinavian Conference on SYSTEM & SOFTWARE SAFETY

Dates: May 22-23, 2017
Place: Spårvagnshallarna, Stockholm, Sweden
Register deadline: May 15, 2016

The conference on system and software safety is a central meeting place for Scandinavian safety experts from different industries. It is an opportunity to share experiences and make new contacts. There will be an overview day followed by a day of parallel sessions with in depth presentations and discussions about different challenges, techniques, standards and methods.

Technical Program:

 

DAY 1 - Monsday May 22, 2017

Time Plenary
0800-0900 Registration and coffee
0900-0910 Conference introduction, Nicolas Martin-Vivaldi, Addalot and Martin Törngren, KTH/ICES               
0910-1010 Keynote: Engineering Safety and Security in the era of the Industrial Internet of Things, Dr Robert Oates, Rolls-Royce
1010-1030  Break
1030-1105 Requirements specification tool for safety critical systems based upon Linked Data, Prof. Mattias Nyberg, Scania
1105-1140 Agility and Resilience, Tor Stålhane, NTNU
1140-1240  Lunch
1240-1340 Keynote: Safety of digital health technologies, Prof. Farah Magrabi, Macquarie University, Austrailia
1340-1415 Documenting the architecture, Even-André Karlsson, Addalot
1415-1450 Lessons learned: Introducing safety in organizations, Henrik Thane, Safety Integrity AB
1450-1515  Break
1515-1550 Updated FMV handbook on Safety Critical Software, Björn Koberstein, FMV
1550-1625 Bridging Functional Safety Analysis and Software Architecture Assessment, Miroslaw Staron, Chalmers / University of Gothenburg
1625-1700 Challenges for ensuring functional safety for connected autonomous vehicles, Fredrik Warg, RISE Research Institutes of Sweden

 

 

DAY 2 - Tuesday May 23, 2017

Time Workshops
0800-0830 Registration and Coffee
0830-1200 Morning Workshops

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

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
  • Ileana Cerasani: 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
  • Mohammad Mousavi: 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
1200-1300 Lunch
1300-1700 Afternoon Workshops

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 ​

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