SCSC.uk 
SCSC.uk  
Workshop: Software Safety – Where’s the Evidence?
 
background 

THE SAFETY-CRITICAL SYSTEMS CLUB, Workshop:

Software Safety – Where’s the Evidence?

Tuesday 5 April, 2011 - London

Co-sponsored by

i176-2

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.

Workshop

This workshop addresses the difficult and contentious subject of evidence of software reliability and safety.

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.

Workshop Programme

09:00 Registration and Coffee

10:00 Introduction

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

12:15 Lunch

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:05 Tea

15.25 SESSION 5
Process-based Evidence - Introduced by Paul Edwards, Altran-Praxis

16.25 Summing up

16:40 Close

Event Flyer

A downloadable programme for the event is now available.

Cost & Registration

To Club members the cost is £125, including lunch and refreshments (VAT is not charged).

Non-members pay an extra £95 for Club membership (of which £14.15 is VAT).

Joining instructions and the programme will be sent to registered delegates about two weeks before the event. Delegates must book their own accommodation (if required).

SCSC.UK uses anonymous session cookies please see Privacy policy

SCSC 06-03-2018 [V4e]