SSS C

16 papers

YearTitle / Authors
2007A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006).
Chris W. Johnson, C. Michael Holloway
2007A Proactive Approach to Enhancing Safety Culture.
Liz Beswick, Jonathan Kettleborough
2007AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration.
Marcelin Fortes da Cruz, Paul Raistrick
2007Achieving Integrated Process and Product Safety Arguments.
Ibrahim Habli, Tim Kelly
2007Achieving Safety through Security Management.
John Ridgway
2007CARA: A Human Reliability Assessment Tool for Air Traffic Safety Management - Technical Basis and Preliminary Architecture.
Barry Kirwan, W. Huw Gibson
2007Comparing and Contrasting some of the Approaches in UK and USA Safety Assessment Processes.
Richard Maguire
2007Dependability-by-Contract.
Brian Dobbing, Samantha Lautieri
2007Formalising C and C++ for Use in High Integrity Systems.
Colin M. O'Halloran, Clive H. Pygott
2007Independently Assessing Legacy Safety Systems.
Paul Edwards, Andrew Furse, Andrew Vickers
2007Safety Assessments of Air Traffic Systems.
Rodney May
2007Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study.
Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly
2007The Benefits of Electronic Safety Cases.
Alan Newton, Andrew Vickers
2007The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007
Felix Redmill, Tom Anderson
2007The Sum of its Parts.
John Spriggs
2007Towards a Unified Approach to Safety and Security in Automotive Systems.
Peter H. Jesty, David D. Ward