The Safety of Systems

1. Achieving Safety through Security Management
John Ridgway

2. Towards a Unified Approach to Safety and Security in Automotive Systems
Peter H Jesty, David D Ward

3. Dependability-by-Contract
Brian Dobbing, Samantha Lautieri

4. Achieving Integrated Process and Product Safety Arguments
Ibrahim Habli, Tim Kelly

5. The Benefits of Electronic Safety Cases
Alan Newton, Andrew Vickers

6. A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996–2006)
C. W. Johnson, C. M. Holloway

7. A Proactive Approach to Enhancing Safety Culture
Liz Beswick, Jonathan Kettleborough

8. Comparing and Contrasting some of the Approaches in UK and USA Safety Assessment Processes
Richard Maguire

9. Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study
Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly

10. The Sum of its Parts
John Spriggs

11. Independently Assessing Legacy Safety Systems
Paul Edwards, Andrew Furse, Andrew Vickers

12. Safety Assessments of Air Traffic Systems
Rodney May

13. CARA: A Human Reliability Assessment Tool for Air Traffic Safety Management — Technical Basis and Preliminary Architecture
Barry Kirwan, Huw Gibson

14. AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration
Marcelin Fortes Cruz, Paul Raistrick

15. Formalising C and C++ for Use in High Integrity Systems
C M O’Halloran, C H Pygott

DRM-restrictions

Printing: not available
Clipboard copying: not available

Keywords: COMPUTERS / Computer Science COM014000