THE SAFETY-CRITICAL SYSTEMS CLUB, Workshop:
Software Safety – Where’s the Evidence?Tuesday 5 April, 2011 - London
Each session of the workshop will be introduced by a domain expert – and chaired so as to keep the discussions relevant and progressive.
Key points of consensus and uncertainty will be documented for the benefit of the community.
To optimise effectiveness, the number of delegates will be limited to 40, so please book early to avoid disappointment.
The purpose is to identify the current state of the art, the principal questions that need to be addressed, and the difficulties to be overcome in addressing them.
The first session of the workshop examines the uncertainty that surrounds every claim made for reliability or safety. This is followed by four sessions covering the various categories of evidence.
Each session begins with a fifteen minute talk by an expert and this is followed by a chaired interactive discussion. Delegates (experts and novices alike) will have the opportunity to contribute questions, answers and observations.
Notes will be taken, and key points of consensus and uncertainty will be published in Safety Systems (the Club’s newsletter) for the benefit of the community and to facilitate continuing discussion.
10:15 SESSION 1
The Role of Uncertainty - Introduced by Bev Littlewood, City University
11:15 SESSION 2
Design and Analysis Evidence - Introduced by John McDermid, University of York
13:00 SCSC update
13:05 SESSION 3
Testing Evidence - Introduced by Lorenzo Strigini, City University
14:05 SESSION 4
Proven in Use Evidence - Introduced by Mark Machin, Logica
15.25 SESSION 5
Process-based Evidence - Introduced by Paul Edwards, Altran-Praxis
16.25 Summing up
SCSC 06-03-2018 [V4e]