Kelly T, Bate I, McDermid, J and Burns A. (1997): Building a Preliminary Safety Case: An Example from  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Arguing Safety - A Systematic Approach to Managing Safety Cases - Kelly (1998) (10 citations) Self-citation (Kelly) (Correct)
No context found.
T. Kelly, I. Bate, J. McDermid, and A. Burns, "Building a Preliminary Safety Case: An Example from Aerospace," presented at Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Sydney, Australia, 1997.
Arguing Safety - A Systematic Approach to Managing Safety Cases - Kelly (1998) (10 citations) Self-citation (Kelly) (Correct)
....Safety Courses. In particular, the application of GSN in sketching out preliminary safety arguments is presented through the distributed engine controller example given in Chapter Three. Use of GSN in building preliminary safety arguments was also the subject of a reviewed paper and presentation [99]. Comments subsequently received from experienced practitioners have indicated that GSN is achieving something (the ability to present preliminary and incomplete argument architectures) that is otherwise difficult to achieve as succinctly in free text. 6.3.1.3 GSN Method Evaluation: Case Study It ....
T. Kelly, I. Bate, J. McDermid, and A. Burns, "Building a Preliminary Safety Case: An Example from Aerospace," presented at Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Sydney, Australia, 1997.
Scheduling and Timing Analysis for Safety Critical Real-Time Systems - Bate (1998) (2 citations) Self-citation (Bate) (Correct)
....approach. This was considered in enough detail to show the necessary evidence can be gathered. Part of the necessary evidence is: the approach is at least as safe as the existing approaches, and no additional hazards are introduced to the system as a whole. Other work by the author and colleagues [36, 101, 109] deals with the issue of certification of the approach. Chapter 8 investigates how timing analysis may be performed for task sets where tasks have offsets. The approach is based on forming a composite task, for analysis purposes only, that has zero offsets and can replace the tasks with non zero ....
....offset analysis developed in Chapter 8. The approach developed is novel and achieves a number of goals. The goals are; robustness to change is improved, high levels of reuse can be attained, and pessimism is reduced compared to existing published work. Other work that the author has contributed to [109] has addressed the certification issues. Again, one of the principal benefits is the reuse of existing tools and training from the standard uniprocessor schedulability analysis with only a relatively small amount of pre and post processing. 10.1 Future Work There are a number of areas in which ....
I. J. Bate, A. Burns, T. P. Kelly, and J. A. McDermid, "Building a preliminary safety case: An example from aerospace," in Proceedings of the 1997 Australian Workshop on Industrial Experience with Safety Critical Systems and Software, October 1997.
Complex Reactive Real Time Systems and the Safety Case - Gordon Stone Compucat (Correct)
No context found.
Kelly T, Bate I, McDermid, J and Burns A. (1997): Building a Preliminary Safety Case: An Example from
Complex Reactive Real Time Systems and the Safety Case - Gordon Stone Compucat (Correct)
No context found.
Kelly T, Bate I, McDermid, J and Burns A. (1997): Building a Preliminary Safety Case: An Example from
Complex Reactive Real Time Systems and the Safety Case - Gordon Stone Compucat (Correct)
No context found.
Kelly T, Bate I, McDermid, J and Burns A. (1997): Building a Preliminary Safety Case: An Example from
Complex Reactive Real Time Systems and the Safety Case - Gordon Stone Compucat (Correct)
No context found.
Kelly T, Bate I, McDermid, J and Burns A. (1997): Building a Preliminary Safety Case: An Example from
Complex Reactive Real Time Systems and the Safety Case - Gordon Stone Compucat (Correct)
No context found.
Kelly T, Bate I, McDermid, J and Burns A. (1997): Building a Preliminary Safety Case: An Example from
Complex Reactive Real Time Systems and the Safety Case - Gordon Stone Compucat (Correct)
No context found.
Kelly T, Bate I, McDermid, J and Burns A. (1997): Building a Preliminary Safety Case: An Example from Aerospace. Proceedings of the 1997 Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Australian Computer Society, Sydney, Australia, October 1997.
Complex Reactive Real Time Systems and the Safety Case - Gordon Stone Compucat (Correct)
No context found.
Kelly T, Bate I, McDermid, J and Burns A. (1997): Building a Preliminary Safety Case: An Example from Aerospace. Proceedings of the 1997 Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Australian Computer Society, Sydney, Australia, October 1997.
Complex Reactive Real Time Systems and the Safety Case - Gordon Stone Compucat (Correct)
No context found.
Kelly T, Bate I, McDermid, J and Burns A. (1997): Building a Preliminary Safety Case: An Example from Aerospace. Proceedings of the 1997 Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Australian Computer Society, Sydney, Australia, October 1997.
Complex Reactive Real Time Systems and the Safety Case - Gordon Stone Compucat (Correct)
No context found.
Kelly T, Bate I, McDermid, J and Burns A. (1997): Building a Preliminary Safety Case: An Example from Aerospace. Proceedings of the 1997 Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Australian Computer Society, Sydney, Australia, October 1997.
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