The Safety-Critical Systems Club SSS 09 PROGRAMME Safety-critical Systems Symposium 2009

Transcription

1 The Safety-Critical Systems Club SSS 09 PROGRAMME Safety-critical Systems Symposium 2009 Hilton Brighton Metropole 3rd - 5th February 2009

2 The Safety-Critical Systems Club gratefully acknowledges the support of the following sponsors Preliminary List BAE Systems for sponsorship of the Symposium s proceedings Programming Research for sponsorship of the Symposium banquet The British Computer Society for overall sponsorship The Institution of Engineering & Technology for sponsorship of the Symposium s technical programme Further sponsor opportunities are available; please contact Joan Atkinson Tel: +44 (0) Tel: +44 (0)

3 THE SAFETY-CRITICAL SYSTEMS CLUB announces its Seventeenth Annual Safety-critical Systems Symposium (SSS 09) Highlights Tuesday 3 rd February: A whole-day tutorial on STPA: A New Technique for Hazard Analysis Presented by Nancy Leveson Professor of Aeronautics and Astronautics and Professor of Engineering Systems at the Massachusetts Institute of Technology Wednesday 4 th and Thursday 5 th February: Six sessions of papers, including the following key topics: The Economics of Safety Transport Safety Safety in Society New Challenges Safety Assessment Safety Standards Wednesday An exhibition and tools and services fair will run throughout the day. Wednesday night The Symposium banquet with an after-dinner talk: Risk, but not as we think of it by Felix Redmill Symposium Attendance It is possible to attend the tutorial only, the paper sessions only, or both tutorial and paper sessions - with or without accommodation. Please see Page 7 for details. The Safety-Critical Systems Club welcomes delegates to its Seventeenth annual Symposium 3

4 Day 1: Tuesday 3 rd February :30 Registration and Coffee 09:30 17:00 Tutorial STPA: A New Technique for Hazard Analysis Presented by Nancy Leveson Professor of Aeronautics and Astronautics and Professor of Engineering Systems at the Massachusetts Institute of Technology Most of the common hazard analysis techniques used today date back to the 1950s and 1960s, with little change in the intervening years. These traditional techniques are being overwhelmed by the increasing complexity of the systems we are building today, by the introduction of digital technology and software, and by the increased reliance on distributed human-machine decisionmaking and control. In this tutorial, I will teach a new model of accident causation called STAMP, and the new approach to hazard analysis built upon it called STPA that allows handling much greater complexity and the new types of technology common today. STPA also has the ability to consider the social and organizational factors ( safety culture ) in accidents and incidents along with the technical. STPA is being used successfully on complex systems today. The tutorial will cover fundamental principles as well as real examples. 4

5 Day 2: Wednesday 4 th February 2009 An exhibition and tools and services fair will run throughout the day 09:00 Registration and Coffee 10:05 Introductions Session 1: The Economics of Safety 10:15 Risk Management: The Economics and Morality of Safety Revisited John Adams, University College London 10:55 The Morality and Economics of Safety in Defence Procurement Tim Clement, Adelard 11:35 Safety Expenditure: Where should we draw the Line? Mike Jones-Lee, Newcastle University 12:15 Lunch Session 2: Transport Safety 13:45 Hazard Management with DOORS: Rail Infrastructure Projects Dave Hughes and Amer Saeed, ATKINS Limited 14:25 Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies Jörn Stuphorn, Bernd Sieker and Peter B. Ladkin, Causalis Limited 15:05 Tea Session 3: Safety in Society 15:35 Accidents Policy and Punishment Alan Fisher, Fisher-Scoggins LLP 16:05 Professional Issues in System Safety Engineering John McDermid, University of York, Martyn Thomas, Thomas Associates and Felix Redmill, Redmill Consultancy Followed by an open discussion of the professionalism issues raised 19:30 for 20:00 BANQUET with After-dinner talk: Risk, but not as we think of it by Felix Redmill 5

6 Day 3: Thursday 5 th February 2009 Session 4: New Challenges 09:00 Certification of FPGAs Current Issues and Possible Solutions Iain Bate and Philippa Conmy, University of York 09:40 What is Clinical Safety in Electronic Health Care Record Systems? George Davies, CSC 10:20 Coffee Session 5: Safety Assessment 10:50 Back to Basics: Risk Matrices and ALARP Glen Wilkinson, Atkins Defence and Rhys David, Safety Assurance Services Ltd 11:30 Safety Case Development as an Information Management Problem Robert Lewis, IntelleQ Ltd 12:10 Safety Process Measurement Are we there yet? Stephen Drabble, QinetiQ 12:50 Lunch Session 6: Safety Standards 14:10 Software Testing and IEC Project Case Study and Further Thoughts Wayne Flint and Ian Gilchrist, IPL 14:50 Defence Standard Issue 4: Towards Evidence-based Safety Standards Catherine Menon, Richard Hawkins and John McDermid, University of York 15:30 Closing Remarks 15:35 Tea and Close of the Symposium 6

7 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. Nonmembers, members who have not paid a current subscription, and anyone wishing to renew for 2009 should pay a supplement of 95 which covers Club membership until 31 December Non-Residential Residential Extra night s accommodation Tutorial Symposium only (2 days) Tutorial & Symposium (3 days) Membership supplement 95 Banquet tickets for guests and non-residential delegates 49 each VENUE The symposium will take place at: Hilton Brighton Metropole Hotel Kings Road, East Sussex Tel: + 44 (0) Brighton, BN1 2FU Fax: + 44 (0) The hotel is situated on Brighton s seafront. It has extensive leisure facilities including a gymnasium, sauna, jacuzzi, spa and large swimming pool. There are daily direct international flights to Gatwick airport from Amsterdam, Brussels, Frankfurt and Paris, as well as from several UK airports. Direct trains run from Gatwick to Brighton (approximately 40 minutes). The rail journey from London (London Bridge and Victoria) to Brighton takes approximately 1 hour, and then 10 minutes by taxi to the hotel. The hotel has 191 parking spaces and they are allocated on a first come, first served basis. SYMPOSIUM BANQUET Dinner on the Wednesday (4 th February) will be a symposium banquet in the main suite of the Hotel. The cost of one banquet place is included in the residential packages; additional banquet places can be purchased by all delegates at a cost of 49. REGISTRATION A symposium booking form is enclosed with this programme. Requests for further copies of the booking form, or any other enquiries, should be directed to: Joan Atkinson Centre for Software Reliability Claremont Tower Tel: Newcastle University Fax: NE1 7RU, UK Joan.Atkinson@ncl.ac.uk 7

8 Organised by: Centre for Software Reliability Supported by: Endorsed by: British Computer Society Institution of Engineering & Technology Department for Business Enterprise & Regulatory Reform Engineering and Physical Sciences Research Council Health and Safety Executive