Title :
Software fault tree analysis for a requirements system model
Author_Institution :
Dept. of Comput. Sci., Texas Christian Univ., Fort Worth, TX, USA
Abstract :
Software that is used to control critical systems is frequently tasked to ensure the safe operation of the system under its control. The paper suggests the use of fault tree analysis with an external interaction model as part of the software requirements specification and analysis phase for the development of such systems. After a brief review of the model, the general fault tree analysis technique is described and templates for software fault tree construction directly from the model are shown.
Keywords :
fault trees; safety-critical software; software fault tolerance; systems analysis; critical systems control; external interaction model; requirements system model; safe operation; software fault tree analysis; software fault tree construction; software requirements specification; Application software; Computer science; Control system synthesis; Failure analysis; Fault trees; Performance analysis; Risk analysis; Software performance; Software safety; Timing;
Conference_Titel :
Systems Engineering of Computer Based Systems, 1995., Proceedings of the 1995 International Symposium and Workshop on
Conference_Location :
Tucson, AZ, USA
Print_ISBN :
0-7803-2531-1
DOI :
10.1109/ECBS.1995.521849
