Anderson, Tom
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
Nyckelord: COMPUTERS / Computer Science COM014000
- Författare
- Anderson, Tom
- Redmill, Felix
- Utgivare
- Springer
- Utgivningsår
- 2007
- Språk
- en
- Utgåva
- 1
- Kategori
- Datateknik, Datakommunikation
- Format
- E-bok
- eISBN (PDF)
- 9781846288067