Keynote Address:
Air Traffic Management Safety Challenges
Professor Peter Brooker, Cranfield University |
| Session 4A – Software 2 |
Certification of Object Oriented Programs
R Dewar, C Comar, AdaCore |
Safety Process Improvement: Early Analysis and Justification
D Mannering, General Dynamics UK Ltd,
J A Hall and L Rapanotti, The Open University
|
|
Hazard Analysis for Programmable Automotive Systems
P Jesty, Peter Jesty Consulting Ltd, D Ward, MIRA Ltd, R Rivett, Land Rover
(Paper unavailable)
|
| Session 4B – Defence & Nuclear |
|
Review of the Use of the Department for Transport Value for Preventing a Fatality in Non Road-Transport Systems
R Maguire, SE Validation Ltd
|
Practical Experiences in Upgrading and Standardising the Safety & Environmental System (SEMS) for the Royal Navy Marine Power & Propulsion Systems Division
J Olivier, UK Ministry of Defence Equipment & Support (DE&S)
C Blake, Frazer-Nash Consultancy Ltd |
An Integrated Safety Strategy to Model Driven Development with SysML
M Hause, F Thom, Artisan Software Tools Ltd |
Keynote Address:
Risk Aversion and Risk Blindness: The Fate of Software?
Professor John McDermid, University of York |
| Session 5A – Certification |
A Case Study of the Application of BS:EN 61508 in Electrical Power Generation
P Wyman, RWE npower |
The Who, Where, How, Why and When of Modular and Incremental Certification
J Fenn, R Hawkins and M Banner, BAE Systems, P Williams, General Dynamics Ltd
T Kelly, University of York, Y Oakshott, Agusta Westland |
| Session 5B – Defence & Nuclear |
Pedestrian Behaviour and Safety in the Presence of Guard Railing
P Zheng, R Hall and M McDonald, University of Southampton |
Energise to Trip? De-Energise to Trip? Your Choice?
A Foord, 4-Sight Consulting, C Howard, Istech Consulting Ltd |
| Session 6A – Certification 2 |
Formalised Implementation of Safety Related HW/SW Architectures in Compliance with Functional Safety Requirements
J Berthing and T Maier, Danfoss Drives A/S |
Combining Security and Safety Principles in Practice
T Cockram and S Lautieri, Praxis High Integrity Systems |
| Session 6B – Analytical Techniques |
Penetrating the Fog – A broader approach to ATM safety assessment
D Fowler and S Grand-Perret, EUROCONTROL |
Tailoring a Generic BBN Model for the Quantitative Safety Analysis of Complex Systems
R Greenberg and S Cook, University of South Australia |
|
Poster Session
|
Explosive Safety - an Oxymoron?
C Marriott, Atkins Defence |
