Title :
A case study using SAM-safety analysis of PES
Author :
McDermid, John A. ; Liu, Shaoying
Author_Institution :
Dept. of Comput. Sci., York Univ., UK
Abstract :
The safety argument manager, SAM, is a tool to support the process of developing safety cases (Fodder, J. et al., see Proc. Safety-Critical Systems Symposium, Bristol, 1993). In SAM a safety case is expressed by a goal structure and associated solutions. Each solution is expressed in Toulmin argument form (1984). Fault trees can be constructed and attached to a goal. We have constructed the tool SAM, and investigated how these three different notations can be used in developing a real safety case for a complex system by completing a safety case study. This paper presents the case study, using SAM, of the PES (Programmable Electronic Systems) example (PES-programmable electronic systems in safety related applications, Health and Safety Executive, p.80-99, 1987)
Keywords :
computer aided software engineering; fault trees; safety-critical software; software tools; PES; SAM; Toulmin argument form; complex system; fault trees; goal structure; programmable electronic systems; safety analysis; safety case study; safety cases; safety related applications; safety-critical systems; Artificial intelligence; Authorization; Certification; Computer aided software engineering; Computer science; Fault trees; Prototypes; Psychology; Safety; Standards development;
Conference_Titel :
Software Engineering Conference, 1996. Proceedings., 1996 Asia-Pacific
Conference_Location :
Seoul
Print_ISBN :
0-8186-7638-8
DOI :
10.1109/APSEC.1996.566756
