2 minute read time.
The Safety Critical Systems Club's 21st annual symposium was held in Bristol from the 5th - 7th February 2013. The IET supported the event and many of the presentations are now available on IET.tv



For more details about the event programme, see the SCSC website.







Speaker


Title






Day 1 - 5 Feb 2013




Allan Bain, Ministry of Defence


Certification in the Defence Sector




Ron Bell, Engineering Safety Consultants Ltd


IEC 61508: Assessment, Certification and Other Assurance Measures




Dewi Daniels, Verocel


Certification in Civil Aviation




Roger Rivett, Jaguar Land Rover


Automotive Regulations




Peter Sheppard, Bombardier Transportation


Getting Accepted in the UK Rail Industry




Day 2 - 6 Feb 2013




John Thomas and Nancy Leveson, Massachusetts Institute of Technology, USA


Keynote address: Generating Formal Model-Based Safety Requirements for Complex, Software- and Human-Intensive Systems




Steve Thomas, Entity Systems Ltd and Derek Fowler, JDF Consultancy LLP


Safety Case for the Airborne Collision Avoidance System




Linling Sun and Tim Kelly, University of York


Elaborating the Concept of Evidence in Safety Cases




Anaheed Ayoub, Jiang Chang, Oleg Sokolsky and Insup Lee, University of Pennsylvania, USA


Assessing the Overall Sufficiency of Safety Arguments




Alejandra Ruiz and Huáscar Espinoza, Tecnalia Research and Innovation, Spain and Fulvio Tagliablò, Sandra Torchiaro, Alberto Melzi, Centro Ricerche FIAT, Italy


A Preliminary Study Towards a Quantitative Approach for Compositional Safety Assurance




Jonathan Storey, Invensys Rail Systems Ltd


Keynote address: Safety Case Approach for the Victoria Line Resignalling Project




Nick Sibley, Chris Elliott and Bill Walby, BAE SYSTEMS and Pitchill Consulting Ltd


Four Principles of Product Safety




John Allan, Military Aviation Authority, Ministry of Defence


MAA’s Approach to Risk Management




Day 3 - 7 Feb 2013




Yoshiki Kinoshita and Makoto Takeyama, National Institute of Advanced Industrial Science and Technology (AIST), Japan


Keynote address: Assurance Case as a Proof in a Theory – towards Formulation of Rebuttals




John Colley and Michael Butler, University of Southampton


A Formal, Systematic Approach to STPA using Event-B Refinement and Proof




Robert Dewar, New York University and AdaCore, USA


Testing and Proving: Strange Bedfellows?




Chris Hobbs and Akramul Azim, QNX Software Systems, Canada


Balancing Safety, Security, Functionality and Performance




Paul Chinneck and Gavin Wilsher, Altran


Challenging the ‘Safety Sausage Machine’




Robin Bloomfield, Adelard LLP and City University London


Keynote address: Complex System Safety: swans, bugs, toads, dragons and other myths




Gabriele Schedl and Lukas Fritz, Frequentis AG, Austria


The Role of Human Factors in System Safety Analyses




Keith Jones, Atkins Defence


Modelling Safety Culture for Individual Organisations