Branduolinių reaktorių saugos sistemų programinės įrangos patikimumas : vertinimo metodai ir problemos

Abstract

Straipsnyje pateikiama branduolinių elektrinių kompiuterizuotų saugos sistemų programinės įrangos patikimumo metodų apžvalga. Programinės įrangos patikimumo klausimas tampa aktualus ir kitose automatizuotose sistemose, nes programinė įranga – svarbus visos sistemos darbą užtikrinantis elementas. Šiuo metu nėra pripažintų programinės įrangos patikimumo vertinimo metodų, todėl straipsnyje pateikiamos kelios žymiausių Europos mokslinių institutų taikomos metodologijos. Ypač prieštaringai apibūdinamas tikimybinis programinės įrangos patikimumo vertinimas, tačiau jis būtinas atliekant branduolinių reaktorių tikimybinę saugos analizę. Straipsnyje pateikiamas Bajeso tinklo metodas vertinant programinės įrangos gedimo tikimybę

The paper presents an overview of programmable safety systems’ software reliability analysis methods of nuclear reactors. As software is an important component ensuring a successful operation of the whole system, software reliability becomes an issue of increased importance. The paper presents several software reliability assessment methodologies used by famous European research institutes. At the moment, there are no widely accepted methods of assessing software reliability. Quantitative software reliability assessment is an even more controversial issue, however, it is necessary when performing probabilistic safety assessment. The paper presents the Bayesian network as a tool for estimating software failure probability