THE SAFETY-CRITICAL SYSTEMS CLUB, Nineteenth annual:
Safety-critical Systems Symposium
SSS '11Tuesday 8 - Thursday 10 February, 2011 - De Vere Grand Harbour Hotel, Southampton
The Safety-Critical Systems Club returns to Southampton for its nineteenth annual symposium.
As usual, the event will feature topical presentations by leading practitioners in the field, and will be of interest to all who work in the development of safety-critical systems, or in related fields.
The first day of the symposium is devoted to a tutorial, led this year by Adelard and City University’s Centre for Software Reliability. Speakers will include Peter Bishop, Robin Bloomfield, Sofia Guerra, Dan Sheridan, Bev Littlewood and Lorenzo Strigini.
This day will describe their overall vision and provide technical talks on a range of themes that need to be addressed in a Safety Case manual. There will be presentations from CSR and Adelard covering how to structure cases, justify smart devices, assess diversity, model confidence in claims, and address socio-technical aspects of adaptation and information assurance.
Days two and three will feature papers presented by their authors, all of which will be published by Springer in book form, available to delegates on arrival.
Also on day two there will be an exhibition by leading vendors (e.g. of tools and training for safety-critical systems development), followed by a banquet in the evening.
BCS, The Chartered Institute for IT
Day 1: Tuesday 8th February 2011
Assurance and Safety Cases
Peter Bishop, Robin Bloomfield, Sofia Guerra, Dan Sheridan,
Bev Littlewood and Lorenzo Strigini from specialist consultancy
Adelard LLP and City University’s Centre for Software Reliability
For many systems we need to know whether the system is secure, reliable or safe enough. We need to communicate, review and debate the trustworthiness of systems with a range of stakeholders, from boardroom to back office and beyond. Assurance and safety cases can be used to justify the adequacy of systems in different applications, including security critical, business critical or service critical. Building a case focuses attention on demonstrating and challenging claims that the system is good enough and involves integrating claims about trusted behaviour, the state of vulnerabilities and compliance with standards.
Over 10 years ago Adelard published the first safety case development manual. It is now working on an updated approach which it intends to make freely available to the safety and assurance community. This is part of our professional response to recent disasters and the Haddon Cave report. We are working with long standing clients to adapt and publish some of the practical work and research.
This day will describe our overall vision and provide technical talks on a range of themes that need to be addressed in a Safety Case manual. There will be presentations from CSR and Adelard covering how to structure cases, justify smart devices, assess diversity, model confidence in claims, and address socio-technical aspects of adaptation and information assurance.
Day 2: Wednesday 9th February 2011
Session 1: Safety Cases
10:15 A New Approach to creating Clear Safety Arguments
Richard Hawkins and Tim Kelly, University of York
John Knight and Patrick Graydon, University of Virginia, USA
10:50 Safety Cases – What can we learn from Science?
Steve Kinnersly, ESR Technology
11:25 Accounting for Evidence: managing evidence for goal based software safety standards
Vivien Hamilton, Viv Hamilton Associates Ltd
Session 2: Projects, Services and Systems of Systems
13:30 Distinguishing Fact from Fiction in a System of Systems Safety Case
Zoë Stephenson1, Christian Fairburn2, George Despotou1, Tim Kelly1, Nicola Herbert2
and Bruce Daughtrey2, 1University of York and 2BAE Systems
14:05 A Project Manager’s View of Safety-Critical Systems
Tom Docker, CITI
14:40 System Safety in an IT Service Organization
Mike Parsons and Simon Scutt, Logica
Session 3: Systems Safety in Healthcare
15:45 Integrating a Risk-based Approach and ISO 62304 into a Quality System
for Medical Devices
Celestina Bianco, Systelab Technologies, Spain
16:20 Maintaining the Safety of Operational Health ICT Systems
Alan Debenham, Logica
16:55 Testing of Safety-Critical Software embedded in an Artificial Heart
Sungdeok Cha1, Sehun Jeong1, Junbeom Yoo2 and Young-Gab Kim1
1Korea University and 2Konkuk University, South Korea
19:30 for 20:00 BANQUET with After-dinner talk:
Learning about safety by accident
by Graham Braithwaite, Professor of Safety and Accident Investigation
at Cranfield University
Day 3: Thursday 10th February 2011
09:00 A Risk Driven Approach to testing Medical Device Software
Albert Farré Benet, Systelab Technologies, Spain
09:35 Testing Experiences of Safety-Critical Embedded Systems
Bryan Bakker, Sioux Embedded Systems, The Netherlands
10:10 Testing of Safety-Critical Systems – a structural approach to test-case design
Armin Beer, Independent Consultant, Bernhard Peischl, Technical University of Graz, Austria
Session 5: Technological Matters
11:15 Safety, Security and Multicore
Paul Parkinson, Wind River
11:50 A Pragmatic View of Formal Methods: the Hi-Lite project
Robert Dewar, AdaCore, USA
Session 6: Safety Standards
13:45 CE Marking – the Essential Requirements
Mervyn Playle, Quintec
14:20 Introduction and Revision of IEC 61508
Ron Bell, ESC
14:55 Are we there yet? A practitioner’s view of DO-178C/ED-12C
Dewi Daniels, Verocel Limited
15:30 Closing Remarks
15:35 Tea and Close of the Symposium
Event InformationAn event programme is now available.
SCSC 06-03-2018 [V4e]