Making Systems Safer

1. Formalism in Safety Cases
John Rushby

2. Bureaucracy, Safety and Software: a Potentially Lethal Cocktail
Les Hatton

3. Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems (CESAR) – An Objective Overview
Graham Jolliffe

4. Safety and Assurance Cases: Past, Present and Possible Future – an Adelard Perspective
Robin Bloomfield, Peter Bishop

5. An Integrated Project Management Life Cycle Supporting System Safety
Hans Tschürtz, Gabriele Schedl

6. Patterns in Safety-Related Projects
Mike Parsons, Charles Hunter

7. Applying IEC 61508 to Air Traffic Management Systems
Ron Pierce, Derek Fowler

8. Phileas, a Safety Critical Trip around the World
Jean-Luc Valk, Hans Vis, Gerard Koning

9. An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4
Catherine Menon, Richard Hawkins, John McDermid, Tim Kelly

10. IEC80001 and Future Ramifications for Health Systems not currently classed as Medical Devices
Ian Harrison

11. Competence, The Why? The How? and ‘A Practical Approach’
Peter Duggan

12. The new IET Guide – how to do EMC to help achieve Functional Safety
Keith Armstrong

13. Code of Practice and Competencies for ISAs
Steve Kinnersly, Ian Spalding

14. Evaluation and Integration of COTS in Evidence based Assurance Frameworks
George Despotou, Mike Bennett, Tim Kelly

15. A Way to Successful Hazard Management
Gabriele Schedl, Werner Winkelbauer, Alexander Wendt

Keywords: Computer Science, Systems and Data Security, System Performance and Evaluation, Software Engineering