DocumentCode
3125853
Title
Software fault tree analysis for a requirements system model
Author
Malhart, B.E.
Author_Institution
Dept. of Comput. Sci., Texas Christian Univ., Fort Worth, TX, USA
fYear
1995
fDate
1995
Firstpage
133
Lastpage
140
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ECBS.1995.521849
Filename
521849
Link To Document