|
| This Article | ||
| | ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
| ASCII Text | x | ||
| N.G. Leveson, P.R. Harvey, "Analyzing Software Safety," IEEE Transactions on Software Engineering, vol. 9, no. 5, pp. 569-579, September, 1983. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1983.235116, author = {N.G. Leveson and P.R. Harvey}, title = {Analyzing Software Safety}, journal ={IEEE Transactions on Software Engineering}, volume = {9}, number = {5}, issn = {0098-5589}, year = {1983}, pages = {569-579}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1983.235116}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Analyzing Software Safety IS - 5 SN - 0098-5589 SP569 EP579 EPD - 569-579 A1 - N.G. Leveson, A1 - P.R. Harvey, PY - 1983 KW - system safety KW - Fail-safe software KW - fault tree KW - real-time software KW - safety verification KW - software reliability KW - software safety KW - software validation VL - 9 JA - IEEE Transactions on Software Engineering ER - | |||
With the increased use of software controls in critical realtime applications, a new dimension has been introduced into software reliability-the "cost" of errors. The problems of safety have become critical as these applcations have increasingly included areas where the consequences of failure are serious and may involve grave dangers to human life and property. This paper defines software safety and describes a technique called software fault tree analysis which can be used to analyze a design as to its safety. The technique has been applied to a program which controls the flight and telemetry for a University of California spacecraft. A critical failure scenario was detected by the technique which had not been revealed during substantial testing of the program. Parts of this analysis are presented as an example of the use of the technique and the results are discussed.
Index Terms:
system safety, Fail-safe software, fault tree, real-time software, safety verification, software reliability, software safety, software validation
Citation:
N.G. Leveson, P.R. Harvey, "Analyzing Software Safety," IEEE Transactions on Software Engineering, vol. 9, no. 5, pp. 569-579, Sept. 1983, doi:10.1109/TSE.1983.235116
Usage of this product signifies your acceptance of the Terms of Use.

