21st Safety-critical Systems Symposium Videos
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 |
Share:
Log in to view
Want to read the blog comments and post your own? Please Log in