Symposium: Safety-Critical Systems Symposium (SSS'20)

  Event description   Programme    
SSS’20 Safety-Critical Systems Symposium 2020
Day One - Tuesday 11th February 2020
Session One: Autonomy, AI and Machine Learning (i)
Chair: Roger Rivett
Keynote: Dewi Daniels - Software Safety Ltd
The 737 Max Accidents
View Paper   View Presentation   Watch the presentation  
Nikita Johnson and Mark Nicholson - University of York
Challenges in Education and (Human) Training for Systems with AI
View Presentation  
Alastair Faulkner - Abbeymeade Limited
Mark Nicholson - University of York
The Emergence of Accidental Autonomy
View Paper  
Darryl Hond, Alex White, Hamid Asgari - Thales Research, Technology & Innovation
Quantifying Properties of Real-world Classification Datasets for Improving the Performance and Enhancing the Safety of Autonomous Systems
View Paper  
Session Two: New Techniques
Chair: Graham Jolliffe
Keynote: John Spriggs - Consultant
Satellite Navigation ~ Where Are We Going?
View Paper   View Presentation   Watch the presentation  
Working Group ReportService Assurance (SAWG)
View report  
Kevin King - BAE Systems
Mike Parsons - CGI
Mark Sujan - Human Reliability Associates
A Service Perspective on Accidents
View Paper   View Presentation  
Omar Jaradat - Electric Vehicle Sweden
Irfan Sljivo - Malardalen University
Richard Hawkins, Ibrahim Habli - University of York
Modular Safety Case for the Assurance of Industry 4.0
View Paper   View Presentation  
Keynote: Emma Taylor - SaRS
Safety in Space: A Changing Picture
View Paper   View Presentation   Watch the presentation  
Day One Extras

An interactive session where delegates will be asked to vote on current issues in systems safety.  The issues proposed by the delegates were:

  1. Would you ride in a Tesla on Autopilot?
  2. Would you be happy for an AI GP to treat your family?
  3. Philosophers, not engineers, are the real experts on safety.
  4. Accidents are a necessary evil to prevent complacency.
  5. Are the lessons of Haddon-Cave being lost?
  6. Will the Boeing 737 MAX be the next Haddon-Cave report?
  7. Is requirements engineering still being neglected in safety critical systems?
  8. Is software design outpacing safety analysis?
  9. Will modelling and simulation eventually replace physical testing?
  10. Can safety critical software be safely produced using Agile?
  11. How good is the organisational safety culture in the following industries?

View the results of the votes.  
Day Two - Wednesday 12th February 2020
Session One: Assurance
Chair: Richard Hawkins
Jane Fenn - BAE Systems
Yvonne Oakshott - Leonardo MW
Richard Hawkins , Ran Wei - University of York
Making Modular Assurance Cases Work Using Structured Assurance Case Metamodel (SACM)
View Paper  
Working Group ReportAssurance Cases (ACWG)
View report  
Mark Hadley, Mike Standish - DSTL
A Practical Assurance Approach for Multi-Cores (MCs) Within Safety-Critical Software Applications
View Paper  
Rajiv Bongirwar - Hemraj Consultants Limited
Demystifying Functional Safety in Road Vehicles – ISO 26262
View Presentation   View Paper  
Waleed N Chaudhry - EDF Energy Nuclear Generation Ltd
Utilising MBSE for Safety Assurance of COTS devices with embedded software
View Paper   View Presentation  
Session Two: Security Informed Safety
Chair: Stephen Bull
Nikita Johnson, Youcef Gheraibia and Tim Kelly - University of York
Independent Co-Assurance using the Safety-Security Assurance Framework (SSAF): A Bayesian Belief Network Implementation for IEC 61508 and Common Criteria
View Paper   View Presentation  
Working Group ReportSecurity Informed Safety (SISWG)
View report  
Paul Hampton, Jonathan Pugh, Richard Ball, - Independent Consultants
Developments in Safety & Security Integration for Remotely Piloted Unmanned Aircraft Systems Command and Control
View Presentation   View Paper  
Peter Ladkin - CAUSALIS LIMITED / CAUSALIS IngenieurGmbH
IEC TR 63069, Security Environments and Security-Risk Analysis
View Paper   A comment on IEC TR 63069 - Martyn Thomas  

Drinks with Poster Session    

  1. Applying reverse systems engineering to perform integrated safety and cybersecurity analyses of system functionality – Xinxin Lou

  2. A Step Towards Harmonising IEC Terminology - Peter Bernard Ladkin et al.

  3. Formal verification of relative safety for autonomous decision making - Hoang Tung Dinh

  4. An Effective Approach to Meeting the Challenges of RTCA DO-326A – Elizabeth Lennon

  5. Safety approaches for autonomous mobile machines in industrial environments

  6. Applicability of systems-theoretic methods in the safety assessment of autonomous port logistics- Eetu Heikkilä

  7. Safety Aspects of Complex Human-Robot Interaction in Healthcare Robotics – Chris Harper et al.

  8. Using Task Analysis and Environmental Survey Hazard Analysis to identify requirements of autonomous systems - Chris Harper et al.

  9. A Gamified Prototype Design for Software Safety Requirements Engineering - Helen Partou et al
    Not presented

  10. MSCA ETN Safer Auntonomou Systems Project. Davy Pissort et al

  11. A ‘Z’ specification of the concepts of Data Safety Assurance - Divya Atkins

  12. Formalising the Language of Risk - Dave Banham

Abstracts of the posters and some papers are included in the Symposium proceedings.

View posters in the symposium Proceedings  
Day Three - Thursday 13th February 2020
Session One: Data Safety
Chair: Dave Banham
Keynote: Reuben McDonald - High Speed Two (HS2) Ltd
Application of Engineering Safety & Security Management across HS2: From automatic trains to concrete
Working Group ReportData Safety Initiative (DSIWG)
View report  
G S Sutherland - Ikon Riskconsulting
A Hessami - Vega Systems
Safety Critical Integrity Assurance in Large Datasets
View Presentation   View Paper  
Session Two: Human Factors
Chair: Jane Fenn
Mark Sujan and Dominic Furniss - Human Reliability Associates
Richard Hawkins and Ibrahim Habli - University of York
Human Factors of Using Artificial Intelligence for Patient Care
View Paper  
Michael Wright and Sam Opiah - Greenstreet Berman Ltd London, UK
Suzanne Croes - Shell
Psychological safety - facilitating self-reporting of error, mistakes and non-compliance: A rapid review for the Energy Institute
View Presentation   View Paper  
Keynote: Alastair Crawford - EDF Energy
Safety Systems and Defence in Depth in Nuclear New Build
View Presentation   View Paper   Watch the presentation  
Session Three: Autonomy, AI and Machine Learning (ii)
Chair: Mark Nicholson
Working Group Report Safety of Autonomous Systems (SASWG)
View report  
Michael Ellims, John Botham - Ricardo UK
Issues with Rules for AV Safety
View Paper  
James McCloskey, Rose Gambon, Chris Allsopp, Thom Kirwan-Evans - Frazer-Nash Consultancy
Richard McGuire - Defence Science and Technology Laboratory
Generating the evidence necessary to support Machine Learning Safety Claims
View Paper   View Presentation  
Keynote: Jack Weast - Intel and Mobileye
An Open, Transparent, Industry-Driven Approach to AV Safety

SCSC.UK uses anonymous session cookies please see Privacy policy

© SCSC 2023