21st Safety-critical Systems Symposium Videos
Published
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.
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 |
Blog
IET System Safety Engineering Network
28/07/2013 11:09pm BST
Log in to view
Log in to post your comments on this blog.