You need JavaScript to view this

Experiment to evaluate software safety

Abstract

The process of licensing nuclear power plants for operation consists of mandatory steps featuring detailed examination of the instrumentation and control system by the safety authorities, including softwares. The criticality of these softwares obliges the manufacturer to develop in accordance with the IEC 880 standard `Computer software in nuclear power plant safety systems` issued by the International Electronic Commission. The evaluation approach, a two-stage assessment is described in detail. In this context, the IPSN (Institute of Protection and Nuclear Safety), the technical support body of the safety authority uses the MALPAS tool to analyse the quality of the programs. (R.P.). 4 refs.
Publication Date:
Jun 23, 1994
Product Type:
Technical Report
Report Number:
DES-171e
Reference Number:
SCA: 210700; 990200; PA: AIX-26:022513; EDB-95:042092; SN: 95001339837
Resource Relation:
Other Information: PBD: 23 Jun 1994
Subject:
21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS; 99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; REACTOR LICENSING; PROGRAMMING; SAFETY; FRENCH ORGANIZATIONS; LICENSING PROCEDURES; LICENSING REGULATIONS; M CODES; PROGRAMMING LANGUAGES; REACTOR SAFETY; 210700; 990200; REGULATION AND LICENSING; MATHEMATICS AND COMPUTERS
OSTI ID:
10122780
Research Organizations:
CEA Centre d`Etudes de Fontenay-aux-Roses, 92 (France). Inst. de Protection et de Surete Nucleaire
Country of Origin:
France
Language:
English
Other Identifying Numbers:
Other: ON: DE95619121; TRN: FR9501127022513
Availability:
OSTI; NTIS (US Sales Only); INIS
Submitting Site:
FRN
Size:
10 p.
Announcement Date:
Jun 30, 2005

Citation Formats

Soubies, B, and Henry, J Y. Experiment to evaluate software safety. France: N. p., 1994. Web.
Soubies, B, & Henry, J Y. Experiment to evaluate software safety. France.
Soubies, B, and Henry, J Y. 1994. "Experiment to evaluate software safety." France.
@misc{etde_10122780,
title = {Experiment to evaluate software safety}
author = {Soubies, B, and Henry, J Y}
abstractNote = {The process of licensing nuclear power plants for operation consists of mandatory steps featuring detailed examination of the instrumentation and control system by the safety authorities, including softwares. The criticality of these softwares obliges the manufacturer to develop in accordance with the IEC 880 standard `Computer software in nuclear power plant safety systems` issued by the International Electronic Commission. The evaluation approach, a two-stage assessment is described in detail. In this context, the IPSN (Institute of Protection and Nuclear Safety), the technical support body of the safety authority uses the MALPAS tool to analyse the quality of the programs. (R.P.). 4 refs.}
place = {France}
year = {1994}
month = {Jun}
}