SCSC.org.uk 
SCSC.org.ukSafety-Critical Systems Club - Events Diary
 
background 

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.

The rates listed below apply to Club members who have paid a current subscription. Non-members, members who have not paid a current subscription, and anyone wishing to renew for 2011 should pay a supplement of £95 which covers Club membership until 31 December 2011.
 
Non-residential
Tutorial - £245
Symposium only (2 days) - £495
Tutorial & Symposium (3 days) - £695

Residential
Extra night's accommodation- £120
Symposium only (2 days) - £690
Tutorial & Symposium (3 days) - £995


Membership Supplement - £95

Banquet tickets for guests
and non-residential delegates - £49 each

Event Information

An event programme is now available.

A copy of the registration form is available here.

Registration & Exhibitor Opportunities

Please contact Joan.Atkinson@ncl.ac.uk

Phone: +44 191 221 2222

Fax: +44 191 222 7995

©SCSC 01-01-2016 [V4c]