Combining software quality analysis with dynamic event/fault trees for high assurance systems engineering

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn , Issue , 2007, Pages 245-255

  Dugan, Joanne Bechta ^a   Pai, Ganesh J ^b   Xu, Hong ^a  

^a UNIVERSITY OF VIRGINIA   (United States)

^b FRAUNHOFER IESE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BAYESIAN NETWORKS; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONCURRENCY CONTROL; DYNAMIC ANALYSIS; DYNAMIC PROGRAMMING; ESTIMATION; FAILURE ANALYSIS; INDUSTRIAL ENGINEERING; INFERENCE ENGINES; MODAL ANALYSIS; PROBABILITY; PRODUCT DEVELOPMENT; PROPULSION; QUALITY ASSURANCE; QUALITY CONTROL; RELIABILITY ANALYSIS; RELIABILITY THEORY; RISK ASSESSMENT; RISK MANAGEMENT; SAFETY ENGINEERING; SOFTWARE RELIABILITY; SYSTEMS ENGINEERING; TECHNICAL PRESENTATIONS; TECHNOLOGY;

BAYESIAN NETWORK (BN); EVENT PROBABILITY; FAILURE EVENTS; FAULT INTRODUCTION; GUIDANCE , NAVIGATION AND CONTROL; HIGH ASSURANCE SYSTEMS; HIGH-ASSURANCE; INTERNATIONAL SYMPOSIUM; MODEL ESTIMATES; NEW MODEL; PROBABILISTIC RISK ASSESSMENT; PRODUCT METRICS; PROPULSION SYSTEMS; ROBOTIC CAMERAS; SOFTWARE COMPONENTS; SOFTWARE DEFECTS; SOFTWARE DEVELOPMENT PROCESSES; SOFTWARE-QUALITY; SYSTEM COMPONENTS;

RELIABILITY;

EID: 48349141515     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2007.27     Document Type: Conference Paper

References (26)

1. M. Stamatelatos et al., "Probabilistic risk assessment procedures guide for NASA managers and practitioners," Technical Report ver 1.1, NASA Office of Safety and Mission Assurance, Aug. 2002.
2. N.G. Leveson, Safeware: System. Safety and Computers, Addison-Wesley, 1995.
3. J.L. Lions, "Ariane 5: flight 501 failure," Inquiry board report, European Space Agency, July 1996.
4. J.B. Dugan and H. Xu, "Method and system for dynamic probability risk assessment," Provisional patent application serial no. 60/750,001, 2004.
5. P.G. Bishop and R.E. Bloomfield, "A conservative theory for long-term reliability growth prediction," IEEE Transactions on Reliability, vol. 45, no. 4, pp. 550-560, 1996.
6. P. Bishop and R. Bloomfield, "Worst case reliability prediction based on a prior estimate of residual defects," in Proceedings of the 13th IEEE International Symposium on Software Reliability Engineering, Nov. 2002.
7. H. Xu and J.B. Dugan, "Combining dynamic fault trees and event trees for probabilistic risk assessment," in Proceedings of the Annual Reliability and Maintainability Symposium, 2004.
8. G.J. Pai, Probabilistic software quality assessment, Ph.D. thesis, University of Virginia, Dept. of Electrical and Computer Engineering, Feb. 2007.
9. G.J. Pai and J.B. Dugan, "Empirical analysis of software fault content and fault proneness using Bayesian methods," IEEE Transactions on Software Engineering, vol. 33, no. 10, Oct. 2007.
10. W.R. Dunn, Practical design of safety-critical computer systems, Reliability Press, 2002.
11. H. Xu, "Combining dynamic fault trees and event trees for probabilistic risk assessment," M.S. thesis, University of Virginia, Dept. of ECE, May 2004.
12. J.B. Dugan, S.J. Bavuso, and M.A. Boyd, "Dynamic fault tree models for fault tolerant computer systems," IEEE Transactions on Reliability, vol. 41, no. 3, pp. 363-373, Sept. 1992.
13. F.V. Jensen, An Introduction to Bayesian Networks, Springer, 1996.
14. J.O. Berger, Statistical Decision Theory and Bayesian Analysis, Springer-Verlag, 2nd edition, 1993.
15. S. Fredrickson et al., "NASA Johnson Space Centre's miniature autonomous extravehicular robotic camera," Technical summary document, NASA Johnson Space Centre, 2002, Accessible at http ://aercam.j sc.nasa.gov/.
16. M.C. Paulk, B. Curtis, M.B. Chrissis, and C.V. Weber, "Capability maturity model, version 1.1," IEEE Software, vol. 10, no. 4, pp. 18-27, July 1993.
17. P.G. Bishop and R.E. Bloomfield, "Using a log-normal failure rate distribution for worst case bound reliability prediction," in Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), Nov. 2003, pp. 237-245.
18. H. Xu, DEFT: Dynamic Event Fault Trees for Probabilistic Risk Assessment of Computer-Based systems, Ph.D. thesis, University of Virginia, Dept. of ECE., Jan. 2008.
19. J.D. Andrews and S.J. Dunnett, "Event tree analysis using binary decision diagrams," IEEE Transactions on Reliability, vol. 49, pp. 230-238, June 2000.
20. G.J. Pai and J.B. Dugan, "Automatic synthesis of dynamic fault trees from UML system models," in Proceedings of the 13th IEEE International Symposium on Software Reliability Engineering, Nov. 2002.
21. B. Li, M. Li, S. Ghose, and C. Smidts, "Integrating software into PRA," in Proceedings of the 14th International Symposium on Software Reliability Engineering, Nov. 2003.
22. M. Neil and N.E. Fenton, "Predicting software quality using Bayesian belief networks," in Proceedings of the 21st Annual Software Engineering Workshop, NASA-Goddard Space Flight Center, Dec. 1996.
23. N.E. Fenton et al., "Software quality prediction using Bayesian networks," in Software Engineering with Computational Intelligence, T.M. Khoshgoftaar, Ed. Kluwer Academic Publishers, 2003.
24. N.E. Fenton, M. Neil, P. Hearty, W. Marsh, P. Krause, and R. Mishra, "Predicting software defects in varying development lifecycles using bayesian nets," Information and Software Technology, vol. 49, pp. 32-43, Jan. 2007.
25. J. Gras, "End-to-end defect modeling," IEEE Software, vol. 21, no. 5, pp. 98-100, Sept./Oct, 2004.
26. E.P. Minana and J. Gras, "Improving fault prediction using bayesian networks for the development of embedded software applications," Software Testing, Verification and Reliability, vol. 16, no. 3, pp. 157-174, 2006.