Abstract
System fault-tree analysis is a technique for modeling dependability that is in widespread use. For systems that include software, the integration of software data into fault trees has proved problematic. In this paper we discuss a number of techniques that can be used to make the assessment of software dependability by testing both more tractable and more suitable for use in system fault-tree analysis. Some of the techniques are illustrated using an experimental control system for a research nuclear reactor as an example.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Amman, P.E., S.S. Brilliant, and J.C. Knight E. Elson, and W.W. Webb:, The Effect of Imperfect Error Detection on Life Testing. IEEE Transactions on Software Engineering, Feb. 1994, 20(2), pp. 142–148.
Anderson, T.; Witty, R.W.Safe programming. BIT (Nordisk Tidskrift for Informationsbehandling), 1978,18(1), pp. 1–8.
Burns, A, and A.J. Wellings, Safety Kernels: Specification and Implementation, Journal of High Integrity Systems, 1995,1(3), pp. 287–300.
Butler, R.W.; Finelli, G.B.The infeasibility of quantifying the reliability of lifecritical real-time software. IEEE Transactions on Software Engineering, Jan. 1991,19(1), pp. 3–12.
Diller, A., Z: An Introduction to Formal Methods, ed. 2, John Wiley & Sons, New York, NY, 1994.
Knight, John C., Aaron G. Cass, Antonio M. Fernandez, Kevin G. Wika, Testing A Safety-critical Application, Proceedings: International Symposium on Software Testing and Analysis (ISSTA), Seattle, WA, August 1994, p. 199.
Leveson, N.G.; Software Safety: Why, What, and How. ACM Computing Surveys, June 1986 18(2), p. 125–163.
Liu, S.; McDermid, J.A. A model-oriented approach to safety analysis using fault trees and a support system. Journal of Systems Software, Nov. 1996, 35(2), p. 151–64.
Modarres, M.What Every Engineer Should Know About Reliability and Risk Analysis. Marcel Dekker, New York, NY, 1993.
Ogata, K.Modern Control Engineering. Prentice-Hall, Englewood Cliffs, NJ, 1970.
Ogata, K. Discrete-Time Control Systems, ed. 2. Prentice-Hall, Englewood Cliffs, NJ, 1995.
Parnas, D.L. Evaluation of safety-critical software. Communications of the ACM, June 1990,33(6), p. 636–48.
Rushby, J. Kernels for safety? In: Anderson, T. (ed.). Safe and Secure Computing Systems, Blackwell Scientific Publications, 1989. p. 210–20.
Storey, N. Safety-Critical Computer Systems. Addison Wesley Longman, Harlow, England, ed. 1, 1996.
University of Virginia Reactor, The University of Virginia Nuclear Reactor Facility Tour Information Booklet, http://minerva.acc.virginia.edu/~reactor.
Vesely, W.E., F.F. Goldberg, N.H. Roberts, and D.F. Haasl. Fault Tree Handbook, NUREG-0492, U.S. Nuclear Regulatory Commission, Washington, DC, 1981.
Westphal, L.C. Sourcebook of Control Systems Engineering, Chapman & Hall, London, UK, 1995.
Wika, K.J., and J.C. Knight, On The Enforcement of Software Safety Policies, Proceedings of the Tenth Annual Conference on Computer Assurance (COMPASS), Gaithersburg, MD, 1995, pp. 83–93.
Wika, K.J., Safety Kernel Enforcement of Software Safety Policies, Ph.D. dissertation, Department of Computer Science, University of Virginia, Charlottesville, VA, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag London Limited
About this paper
Cite this paper
Knight, J.C., Nakano, L.G. (1997). Software Test Techniques for System Fault-Tree Analysis. In: Daniel, P. (eds) Safe Comp 97. Springer, London. https://doi.org/10.1007/978-1-4471-0997-6_29
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0997-6_29
Publisher Name: Springer, London
Print ISBN: 978-3-540-76191-4
Online ISBN: 978-1-4471-0997-6
eBook Packages: Springer Book Archive