Numerical assessment of software development tools in real-time safety critical systems using Bayesian belief networks

Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT

Volumn 1, Issue , 2006, Pages 433-442

  Zalewski, Janusz ^a   Kornecki, Andrew J ^b   Pfister, Henry L ^c  

^a FLORIDA GULF COAST UNIVERSITY   (United States)

^b EMBRY RIDDLE AERONAUTICAL UNIVERSITY   (United States)

^c AIR FORCE RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BAYESIAN INFERENCE; QUALIFICATION PROCESS; SAFETY CRITICAL APPLICATIONS; SAFETY CRITICAL SOFTWARE; SAFETY CRITICAL SYSTEMS; SOFTWARE DEVELOPMENT TOOLS;

COMPUTER SCIENCE; COMPUTER SOFTWARE; DATA PROCESSING; INFERENCE ENGINES; INFORMATION TECHNOLOGY; REAL TIME SYSTEMS; SAFETY ENGINEERING; SOFTWARE DESIGN;

BAYESIAN NETWORKS;

EID: 67649667444     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. AgenaRisk (2003), Agena Limited, London, UK, URL: http://www.agena.co.uk/
2. BUGS (1996), MRC Biostatistics Unit, Cambridge, UK, http://www.mrc-bsu. cam.ac.uk/bugs/welcome.shtml
3. Dahl G., B. A. Gran (2000), The Use of Bayesian Belief Nets in Safety Assessment of Software Based Systems, Int. Journal of General Systems, Vol. 29, No. 2, pp. 205-229.
4. Delic K. A., F. Mazzanti, L. Strigini (1998), Formalising Engineering Judgement on Software Dependability via Belief Networks, Proc. DCCA-6, 6th IFIP Int. Working Conf. on Dependable Computing for Critical Applications, M. Dal Cin, C. Meadows, W. H. Sanders, (Eds.), IEEE Computer Society Press, pp. 291-305.
5. Gran B.A., G. Dahl et al. (2000a), Estimating Dependability of Programmable Systems Using BBNs, Proc. SAFECOMP 2000, 19th Intern. Conf. on Computer Safety, Reliability and Security, Springer-Verlag, Berlin, pp. 309-320.
6. Helminen A. (2001), Reliability Estimation of Safety-Critical Software-Base Systems Using Bayesian Networks, Report STUK-YTO-TR 178, Radiation and Nuclear Safety Authority, Helsinki, June 2001.
7. Hugin Explorer (1989), Hugin Expert A/S, Aalborg, Denmark, URL: http://www.hugin.com/-
8. Jensen F. V. (1996), An Introduction to Bayesian Networks, Springer-Verlag, New York.
9. Kornecki A., J. Zalewski (2005), Experimental Evaluation of Software development Tools for Safety-Critical Real-Time Systems. NASA Journal on Innovations in Systems and Software Engineering. Vol. 1, No. 2, pp. 176-188, September 2005. (Pubitemid 41683841)
10. Kornecki A., J. Zalewski (2006), The Qualification of Software Development Tools From the DO-178B Certification Perspective. Crosstalk - The Journal of Defense Software Engineering, Vol. 19, No. 4, pp. 19-23, April 2006.
11. Neil M., N. Fenton (1996), Predicting Software Quality Using Bayesian Belief Networks, Proc. SEW-21, Ann. NASA Goddard Software Engineering Workshop, December 4-5, 1996. http://sel.gsfc.nasa.gov/website/sew/1996/topics/neil-p.pdf
12. Netica (1995), Norsys Software Corporation, Vancouver, Canada, URL: http://www.norsys.com/-