T. P. Kelly. Arguing Safety - A Systematic Approach to Managing Safety Cases. PhD thesis, Department of Computer Science, University of York, 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Graphical Notations, Narratives and Persuasion: a Pliant.. - Emmet, Cleland (2002) (Correct)
....a piece of evidence may support a number of claims. Cycles are problematic in that there is no grounded evidence for a cyclic structure, and nodes can be potentially self defeating. Following Toulmin s approach, more recent notations such as ASCAD [4] 5] and GSN (Goal Structuring Notation) [8], 9] with supporting methodologies have been developed for making arguments in industry. ASCAD uses a claims arguments evidence motif for representing argument structure (see Figure 2) GSN uses a similar goals strategies solutions form of construction. Existing hypertext systems that have ....
....frameworks for hypertext arguments: ASCAD notation (Claims Arguments Evidence) 4] 5] For example a Claim node might be a sub claim of a parent Claim node, and an Evidence node would be evidence for an Argument node or another Claim. Goal Structuring Notation see [8], 9] This has a larger set of nodes, the three key ones (Goal Strategy Solution) roughly correspond to the ASCAD nodes above (see Figure 8) Alternatively, users may abuse the notation by turning off the display of node and link types to create hypertexts with a graphical map and ....
Kelly, T. Arguing Safety A Systematic Approach to Managing Safety Cases (1998). PhD Thesis, available at ps.gz>
Supporting Reuse in Hazard Analysis - Shamus Smith And (2002) (Correct)
....the argument library for reuse in future queries. Since our focus is on whether it is possible to reuse arguments we wish to make no a priori assumptions about what to reuse and have taken a case based reasoning approach. In this respect we are deliberately avoiding a pattern approach (for example [5]) which comes into the process with presumptions about the shape of the arguments. We are interested in allowing the HAZOP team to make appropriate use of the material already defined in the current context. In particular the ability to reuse similar arguments provided in the current session will ....
Tim P. Kelly. Arguing Safety - A Systematic Approach to Managing Safety Cases. PhD thesis, Department of Computer Science, The University of York, 1999.
Automatic Code Generation for Airborne Systems - Neil Audsley Iain (2003) (1 citation) (Correct)
....be put forward for tools, and allows arguments to be updated and refined in line with the tools themselves as the technology advances. A structured argument framework has been developed to support the research work at York. This framework was constructed using Goal Structuring Notation or GSN [8]. GSN allows the argument claims (shown as rectangles) to be broken down systematically and rigorously on the basis of explicit strategies (parallelograms) context (lozenges) and justifications or assumptions (ellipses) Figure 6 shows a fragment of the argument structure for autocode generation ....
Kelly, T. P. "Arguing Safety -- A Systematic Approach to Managing Safety Cases", Dphil Thesis, Department of Computer Science, University of York, UK, YCST 99/05, September 1998.
Dependable and Ubiquitous Autocode Generation - Audsley, Bate, Crook-Dawkins (Correct)
....arguments to be put forward, and allows arguments to be updated and refined inline with the tools themselves as the technology advances. A structured argument framework has been developed to support the research work at York. This framework was constructed using Goal Structuring Notation or GSN[8]. GSN allows the argument claims (shown as rectangles) to be broken down systematically and rigorously on the basis of explicit strategies (parallelograms) context (lozenges) and justifications or assumptions (ellipses) Figure 6 shows the top level of the argument structure, including the ....
Kelly, T. P. Arguing Safety A Systematic Approach to Managing Safety Cases, Dphil Thesis, Department of Computer Science, University of York, UK, YCST 99/05, September 1998.
Generating and Maintaining a Safety Argument for.. - Nicholson, Conmy.. (2000) (Correct)
....impacts on the flying characteristics of the aircraft implied by a given modification. Show that any changes in understanding required by the aircrew of how the systems operate in both normal and failure conditions have been addressed. Table 2: Incremental Certification Process In Figure 3 (Kelly 1999) a generic impact analysis is presented. This analysis can be tailored to consider the direct impact of a modification on the safety arguments and safety evidence provided in the baseline safety case, in support of step 2 above. i) Identify potential impact (ii) Identify actual impact (iii) ....
....by no means a trivial requirement. However, techniques exist to present safety arguments. In the next section we consider how the incremental certification process can be supported by the use of Goal Structuring Notation. 4. Safety arguments to Support Change The Goal Structuring notation (GSN) (Kelly 1999) can be used to present the arguments for the initial certification of the platform. It can also be used to investigate the impact of a modification on this safety argument, step 2 of the process introduced above. Let us first consider the production of a GSN representation of the baseline ....
Kelly, T. (1999). Arguing Safety: A systematic Approach to Managing Safety Cases. Computer Science. York, University of York.
A Process for Derivation and Quantification of Safety.. - Peter Lindsay John (Correct)
....tools (e.g. DOORS, CORE, Statemate) and editors for individual methods (e.g. FTA editors, or the SafeCalc 7 tool which calculates SILs for an IEC 61508 style protection system) The Goal Structuring Notation (GSN) 25] structures a safety argument and assemble evidence from diverse sources. Kelly [11] has developed a method to evolve a GSN description as the system design evolves. 3 System Conceptual Design The first step in our safety process is to develop a suitable model of System Conceptual Design (SCD) as an initial basis for integrity allocation. The model should clearly define system ....
T.P. Kelly, Arguing Safety -- A Systematic Approach to Managing Safety Cases, PhD Thesis, University of York, 1998.
Software Safety Arguments: Towards a Systematic.. - Weaver, McDermid.. (2002) Self-citation (Kelly) (Correct)
No context found.
T. P. Kelly. Arguing Safety -- A Systematic Approach to Managing Safety Cases. Department of Computer Science, University of York, York, UK, 1999.
Modeling Safety Case Evolution - Examples from the Air Traffic.. - Felici (2006) (Correct)
No context found.
T. P. Kelly. Arguing Safety - A Systematic Approach to Managing Safety Cases. PhD thesis, Department of Computer Science, University of York, 1998.
Capturing emerging complex interactions: Safety analysis in air.. - Felici (Correct)
No context found.
Kelly TP. Arguing safety---a systematic approach to managing safety cases. Ph.D. thesis, Department of Computer Science, University of York; 1998.
Evolutionary Safety Analysis: Motivations from the Air Traffic.. - Felici (2005) (Correct)
No context found.
Timothy Patrik Kelly. Arguing Safety - A Systematic Approach to Managing Safety Cases. PhD thesis, Department of Computer Science, University of York, 1998.
Reuse in Hazard Analysis: Identification and Support - Smith, Harrison (2003) (1 citation) (Correct)
No context found.
Tim P. Kelly. Arguing Safety -- A Systematic Approach to Managing Safety Cases. PhD thesis, Department of Computer Science, The University of York, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC