Please log in using either your email address or your membership number.
Please register with your name, email address, password and email preferences. You will be sent an email to verify the address.
Please enter the email address used for your account. A temporary password will be emailed to you.
This area of the SCSC website hosts Goal Structuring Notation (GSN) standardisation information and related guidance.
It can be reached through scsc.uk/gsn or goalstructuringnotation.info.
The GSN information is created and maintained by the GSN Standard Working Group (GSN_SWG), a sub-group of the SCSC's Assurance Case Working Group (ACWG).
The principal objective of this site is to disseminate information and resources related to GSN.
This a list of articles introducing and explaining various aspects of safety case development, argumentation, and in particular GSN.
This list is in the process of being sub-divided into categories and supplemented with new material.
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
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)
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