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 Report	Service 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: Would you ride in a Tesla on Autopilot? Would you be happy for an AI GP to treat your family? Philosophers, not engineers, are the real experts on safety. Accidents are a necessary evil to prevent complacency. Are the lessons of Haddon-Cave being lost? Will the Boeing 737 MAX be the next Haddon-Cave report? Is requirements engineering still being neglected in safety critical systems? Is software design outpacing safety analysis? Will modelling and simulation eventually replace physical testing? Can safety critical software be safely produced using Agile? 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 Report	Assurance 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 Report	Security 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 Applying reverse systems engineering to perform integrated safety and cybersecurity analyses of system functionality – Xinxin Lou A Step Towards Harmonising IEC Terminology - Peter Bernard Ladkin et al. Formal verification of relative safety for autonomous decision making - Hoang Tung Dinh An Effective Approach to Meeting the Challenges of RTCA DO-326A – Elizabeth Lennon Safety approaches for autonomous mobile machines in industrial environments Applicability of systems-theoretic methods in the safety assessment of autonomous port logistics- Eetu Heikkilä Safety Aspects of Complex Human-Robot Interaction in Healthcare Robotics – Chris Harper et al. Using Task Analysis and Environmental Survey Hazard Analysis to identify requirements of autonomous systems - Chris Harper et al. A Gamified Prototype Design for Software Safety Requirements Engineering - Helen Partou et al Not presented MSCA ETN Safer Auntonomou Systems Project. Davy Pissort et al A ‘Z’ specification of the concepts of Data Safety Assurance - Divya Atkins 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 Report	Data 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

Download the flyer for this event

SCSC.UK uses anonymous session cookies please see Privacy policy

Drinks with Poster Session