Symposium: Safety-critical Systems Symposium

THE SAFETY-CRITICAL SYSTEMS CLUB, Nineteenth annual:

Safety-critical Systems Symposium

SSS '11

Tuesday 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.

Event Sponsors

BAE SYSTEMS
SSEI
Programming Research
AdaCore
Logica
BCS, The Chartered Institute for IT
IET

Day 1: Tuesday 8th February 2011

09:30 – 17:00 Tutorial

Assurance and Safety Cases

Presented by

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

09:00 Registration and Coffee

10:00 Introductions

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

12:00 Lunch

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

15:15 Tea

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

Session 4: Testing Safety-Critical Systems

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

10:45 Coffee

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

12:25 Lunch

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

Registration Fees

The tutorial fee includes lunch on Tuesday and a copy of the handout material from the tutorial. The non-residential symposium fee covers lunch on Wednesday and Thursday, and a copy of the proceedings. A residential option is available which includes accommodation on Wednesday night (with banquet and breakfast) for delegates attending just the two day symposium, or accommodation on Tuesday and Wednesday night (with dinner, banquet and breakfasts) for delegates attending the tutorial and the symposium.

Event Information

An event programme is now available.

SCSC.UK uses anonymous session cookies please see Privacy policy

		Login or register
		Symposium: Safety-critical Systems Symposium

Home Safety in the News Events Diary Catch up Publications Newsletters Proceedings eJournal Working groups Community space @SafetyClubUK		THE SAFETY-CRITICAL SYSTEMS CLUB, Nineteenth annual: Safety-critical Systems Symposium SSS '11 Tuesday 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. Event Sponsors BAE SYSTEMS SSEI Programming Research AdaCore Logica BCS, The Chartered Institute for IT IET Day 1: Tuesday 8th February 2011 09:30 – 17:00 Tutorial Assurance and Safety Cases Presented by 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 09:00 Registration and Coffee 10:00 Introductions 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 12:00 Lunch 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 15:15 Tea 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 Session 4: Testing Safety-Critical Systems 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 10:45 Coffee 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 12:25 Lunch 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 Registration Fees The tutorial fee includes lunch on Tuesday and a copy of the handout material from the tutorial. The non-residential symposium fee covers lunch on Wednesday and Thursday, and a copy of the proceedings. A residential option is available which includes accommodation on Wednesday night (with banquet and breakfast) for delegates attending just the two day symposium, or accommodation on Tuesday and Wednesday night (with dinner, banquet and breakfasts) for delegates attending the tutorial and the symposium. Event Information An event programme is now available. SCSC.UK uses anonymous session cookies please see Privacy policy © SCSC 2023