Useful Articles and Papers

Posted by wpgsninfo on November 21, 2011
Articles

This a list of articles introducing and explaining various aspects of safety case development, argumentation, and in particular GSN. If you cannot access any of the articles do contact us.

A Systematic Approach to Safety Case Management
T P Kelly
in Proceedings of SAE 2004 World Congress, Detroit, March 2004 (Proceedings published by the Society for Automotive Engineers)

The Goal Structuring Notation – A Safety Argument Notation
R A Weaver, T P Kelly
in Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases, July 2004

The following papers and report discuss GSN concepts and extensions:

Safety Case Development: Current Practice, Future Prospects
S P Wilson, T P Kelly, J A McDermid
in Proceedings of 1st ENCRESS/12th CSR Workshop, September 1995, Springer-Verlag

Safety Case Construction and Reuse using Patterns
T P Kelly, J A McDermid
In Proceedings of 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP’97),September 1997, Springer-Verlag

Building a Preliminary Safety Case: An Example from Aerospace
T P Kelly, I J Bate, J A McDermid, A Burns
In Proceedings of the 1997 Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Australian Computer Society, Sydney, Australia, October 1997

Safety Case Patterns – Reusing Successful Arguments
T P Kelly, J A McDermid
In Proceedings of IEE Colloquium on Understanding Patterns and Their Application to System Engineering, London, U.K., April 1998

Arguing Safety – A Systematic Approach to Safety Case Management
T P Kelly
DPhil Thesis, Department of Computer Science Green Report YCST 99/05

A Systematic Approach to Safety Case Maintenance
T P Kelly, J A McDermid
Presented at the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP’99), Toulouse, September 1999 (Proceedings published by Springer-Verlag in Lecture Notes in Computer Science 1698)

A Systematic Approach to Safety Case Maintenance
T P Kelly, J A McDermid
Reliability Engineering and System Safety vol. 71 (2001) 271-284, Elsevier

Concepts and Principles of Compositional Safety Cases
T P Kelly
COMSA/2001/1/1 – Research Report commissioned by QinetiQ

Software Safety Arguments: Towards a Systematic Categorisation of Evidence
R A Weaver, J McDermid, T P Kelly
Presented at the 20th International System Safety Conference (ISSC 2002), Denver, Colorado, USA, 2002, System Safety Society

A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments
R A Weaver, J Fenn, T P Kelly
in Proceedings of 8th Australian Workshop on Safety Critical Systems and Software (SCS’03), Canberra, Australia 2003. Published in Conferences in Research and Practice in Information Technology Series, P. Lindsay and T. Cant (Eds.), vol.33, Australian Computer Society, 2003.

Turning up the HEAT on Safety Case Construction
P Chinneck, D J Pumfrey, T P Kelly
in Proceedings of 12th Safety Critical Systems Symposium (SSS’04), February 2004 (Proceedings published by Springer-Verlag)

The following papers and reports use GSN concepts and extensions:

Safety Cases for Software Application Reuse
P Fenelon, T P Kelly, J A McDermid
in Proceedings of the 14th International Conference on Software Safety, Reliability and Security 1995 (SAFECOMP’95), Springer-Verlag

Architectural Considerations in the Certification of Modular Systems
I J Bate, T P Kelly
Presented at the 21st International Conference on Computer Safety, Reliability and Security (SAFECOMP’02), September 2002 (Proceedings published by Springer-Verlag in Lecture Notes in Computer Science)

Managing Complex Safety Cases
T P Kelly
Presented at the 11th Safety Critical Systems Symposium (SSS’03),February 2003 (Proceedings published by Springer-Verlag)

Architectural Considerations in the Certification of Modular Systems
I J Bate, T P Kelly
Reliability Engineering and System Safety, vol. 81, Issue 3, September 2003, Pages 303-324, Elsevier

Safety Case Architectures to Complement a Contract-Based Approach to Designing Safe Systems
S Bates, I J Bate, R D Hawkins, T P Kelly, J A McDermid
in the Proceedings of 21st International System Safety Conference, August 2003, pp182-192, proceedings published by the System Safety Society, ISBN 0-9721385-2-8

Establishing Safety Criteria for Artificial Neural Networks
Z Kurd, T P Kelly
in Proceedings of KES’2003 – Seventh International Conference on Knowledge-Based Intelligent Information & Engineering Systems, September 2003 (Lecture Notes in Artificial Intelligence 2773 and 2774)

The Use of Satisfaction Arguments for Traceability in Requirements Reuse for System Families
K Atwood, T Kelly, J McDermid
in Juan C. Dueas, Klaus Schmidt (eds), ‘International Workshop on Requirements Reuse in System Family Engineering, July 2004, Madrid, Spain’, Technical Report, Universidad Politcnica de Madrid, Spain, 2004, pp. 18-21, ISBN 84-688-7314-4

Extending the Safety Case Concept to Address Dependability
G Despotou, T Kelly
in Proceedings of the 22nd International System Safety Conference, August 2004, proceedings published by the System Safety Society

Contract-Based Justification for COTS Component within Safety Critical Applications
F Ye, T Kelly
In Proc. Ninth Australian Workshop on Safety-Related Programmable Systems, Brisbane, Australia. CRPIT, *47*. Cant, T., Ed. ACS. 13-22, 2004

Combining Software Evidence – Arguments and Assurance
R Weaver, G Despotou, T Kelly, J McDermid
in Proceedings of ICSE-2005: Workshop on Realising Evidence Based Software Engineering, May 2005, St Louis, USA

 

Leave a Reply

Your email address will not be published. Required fields are marked *