Combining disparate sources of information in the safety assessment of software-based systems

被引：22

作者：

Dahll, G ^{[1
]}

机构：

[1] OECD, Halden Reactor Project, N-1751 Halden, Norway

来源：

NUCLEAR ENGINEERING AND DESIGN | 2000年 / 195卷 / 03期

关键词：

D O I：

10.1016/S0029-5493(99)00213-7

中图分类号：

TL [原子能技术]; O571 [原子核物理学];

学科分类号：

0827 ; 082701 ;

摘要：

The main topic of the paper is a discussion on how to combine disparate sources of information in the safety assessment of software-based systems. This is based on experience gained through the licensing process of a programmable system in the Swedish nuclear power plant Ringhals, where a guideline for reviewing software in safety-related systems was applied. One lesson learned from this activity is that the approval of a programmable safety critical system, in particular one which is based on Commercial-Off-The-Shelf software, is based on a combination of disparate sources of information. This combination of information is made in a diagrammatic framework. An emerging methodology to combine information about disparate evidences in a systematic way is based on Bayesian Belief Networks. The objective is to show the link between basic information and the confidence one can have in a system. (C) 2000 Elsevier Science S.A. All rights reserved.

引用

页码：307 / 319

页数：13