TY - BOOK
T1 - Reliability estimation of safety-critical software-based systems using bayesian networks
AU - Helminen, Atte
PY - 2001
Y1 - 2001
N2 - Due to the nature of software faults and the way they cause system
failures new methods are needed for the safety and reliability evaluation of
software-based safety-critical automation systems in nuclear power plants.
In the research project "Programmable automation system safety integrity
assessment (PASSI)", belonging to the Finnish Nuclear Safety Research
Programme (FINNUS, 1999-2002), various safety assessment methods and tools
for software based systems are developed and evaluated. The project is
financed together by the Radiation and Nuclear Safety Authority (STUK), the
Ministry of Trade and Industry (KTM) and the Technical Research Centre of
Finland (VTT). In this report the applicability of Bayesian networks to the
reliability estimation of software-based systems is studied. The
applicability is evaluated by building Bayesian network models for the
systems of interest and performing simulations for these models. In the
simulations hypothetical evidence is used for defining the parameter
relations and for determining the ability to compensate disparate evidence in
the models. Based on the experiences from modelling and simulations we are
able to conclude that Bayesian networks provide a good method for the
reliability estimation of software-based systems.
AB - Due to the nature of software faults and the way they cause system
failures new methods are needed for the safety and reliability evaluation of
software-based safety-critical automation systems in nuclear power plants.
In the research project "Programmable automation system safety integrity
assessment (PASSI)", belonging to the Finnish Nuclear Safety Research
Programme (FINNUS, 1999-2002), various safety assessment methods and tools
for software based systems are developed and evaluated. The project is
financed together by the Radiation and Nuclear Safety Authority (STUK), the
Ministry of Trade and Industry (KTM) and the Technical Research Centre of
Finland (VTT). In this report the applicability of Bayesian networks to the
reliability estimation of software-based systems is studied. The
applicability is evaluated by building Bayesian network models for the
systems of interest and performing simulations for these models. In the
simulations hypothetical evidence is used for defining the parameter
relations and for determining the ability to compensate disparate evidence in
the models. Based on the experiences from modelling and simulations we are
able to conclude that Bayesian networks provide a good method for the
reliability estimation of software-based systems.
KW - safety
KW - safety analysis
KW - reliability analysis
KW - bayesian belief networks
KW - automation
KW - programmable systems
KW - software-based systems
KW - reactor protection systems
KW - nuclear reactor safety
M3 - Report
SN - 951-712-449-X
T3 - STUK-YTO-TR
BT - Reliability estimation of safety-critical software-based systems using bayesian networks
PB - Radiation and Nuclear Safety Authority STUK
CY - Helsinki
ER -