SCS03 Workshop Program (draft – subject to change)

Thursday 9 October


08.00	Registration
09.00	Short Course on Design of Safety-Critical Systems Simon Connelly, SVRC
10.30	Morning Tea
10.45	Short Course (continued)
12.00	Lunch
13.00	Welcome George Nikandros, Workshop Chair Tony Cant, Workshop Program co-Chair
13.15	Comparative Analysis of Various Methods applied to Specific Safety Incidents Professor Peter Ladkin Department of Computer Networks and Distributed Systems, Faculty of Technology, University of Bielefeld, Germany
14.15	A Contract-based Approach to Designing Safe Systems Iain Bate, Richard Hawkins & John McDermid
15.00	Afternoon Tea
15.30	A New Component Concept for Fault Trees Bernhard Kaiser, Peter Liggesmeyer & Oliver Maeckel
16.15	Measuring Safety: Applying PSM to the System Safety Domain John Murdoch, Graham Clark, Antony Powell & Paul Caseley
17.00	Discussion on Safety and Security in PSM
18.00	Close
18.30	Cocktail Party

09.00	Certifiication of Evolved Seasparrow Missile for the RAN CAPT Mick Uzzell
09.45	Formal Verification and Test Generation in Model-Based Automotive Design Flows Bryn Williams, Motorola
10.30	Morning Tea
11.00	A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments Rob Weaver, Jane Fen & Tim Kelly
11.45	Safety Assurance Contracts for Integrated Modular Avionics Philippa Conmy Mark Nicholson & McDermid
12.30	Lunch
13.30	Security as a Safety Issue in Rail Communications Jason Smith, S. Russell and M. Looi
14.15	SIL Rating Fire Protection Equipment Richard Robinson & Kevin Anderson
15.00	Afternoon Tea
15.30	Discussion Session
16.30	Close