21st Safety-critical Systems Symposium Videos

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
Posted by James Inge on Jul 28, 2013 11:09 PM Europe/London

Share:

Log in to view

Want to read the blog comments and post your own? Please Log in