Estimating Dependability of Programmable Systems Using BBNs

  • Authors:
  • Bjørn Axel Gran;Gustav Dahll;Siegfried Eisinger;Eivind J. Lund;Jan Gerhard Norstrøm;Peter Strocka;Britt J. Ystanes

  • Affiliations:
  • -;-;-;-;-;-;-

  • Venue:
  • SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes a project carried out by a consortium composed of Kongsberg Defence & Aerospace AS, Det Norske Veritas, and OECD Halden Reactor Project. First of all the project goal is to research the use of Bayesian Belief Nets to investigate the implementation of the DO-178B standard for software approval in the comercial world. To reach our objectives a computerized system for atomized transmission of graphical position information from helicopters to land based control stations was selected and studied. This paper describes the Bayesian Belief Nets used, and sumarises some of the findings in this study.