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 |