Certification Facilities for Software (CERFAS)

Certification facilities for software: Evaluation by Safety Case Templates

Hannu Harju, Jussi Lahtinen, Jukka Ranta, Risto Nevalainen

Research output: Chapter in Book/Report/Conference proceedingChapter or book articleProfessional

Abstract

As a part of the Finnish nuclear research program SAFIR2010 a project called Certification facilities for software (CERFAS) aimed to define necessary software certification services for nuclear industry needs. The developed service is closely based on the concept of a Safety Case which is a document and structured set of evidence that provides a convincing and valid argument that a system is adequately safe for a given application in given environment. This special report gives directions for argumentation in a Safety Case concerning I&C software of the highest safety category used in a nuclear power plant.
Original languageEnglish
Title of host publicationSAFIR2010: The Finnish Research Programme on Safety 2007-2010
Subtitle of host publicationFinal Report
Place of PublicationEspoo
PublisherVTT Technical Research Centre of Finland
Pages77-86
ISBN (Electronic)978-951-38-7690-6
ISBN (Print)978-951-38-7689-0
Publication statusPublished - 2011
MoE publication typeNot Eligible

Publication series

NameVTT Tiedotteita - Research Notes
PublisherVTT
Number2571
ISSN (Print)1235-0605
ISSN (Electronic)1455-0865

Fingerprint

Nuclear industry
Nuclear power plants

Cite this

Harju, H., Lahtinen, J., Ranta, J., & Nevalainen, R. (2011). Certification Facilities for Software (CERFAS): Certification facilities for software: Evaluation by Safety Case Templates. In SAFIR2010: The Finnish Research Programme on Safety 2007-2010: Final Report (pp. 77-86). Espoo: VTT Technical Research Centre of Finland. VTT Tiedotteita - Research Notes, No. 2571
Harju, Hannu ; Lahtinen, Jussi ; Ranta, Jukka ; Nevalainen, Risto. / Certification Facilities for Software (CERFAS) : Certification facilities for software: Evaluation by Safety Case Templates. SAFIR2010: The Finnish Research Programme on Safety 2007-2010: Final Report. Espoo : VTT Technical Research Centre of Finland, 2011. pp. 77-86 (VTT Tiedotteita - Research Notes; No. 2571).
@inbook{576d6bdaf5c9482e866a7e9e11b9f8c3,
title = "Certification Facilities for Software (CERFAS): Certification facilities for software: Evaluation by Safety Case Templates",
abstract = "As a part of the Finnish nuclear research program SAFIR2010 a project called Certification facilities for software (CERFAS) aimed to define necessary software certification services for nuclear industry needs. The developed service is closely based on the concept of a Safety Case which is a document and structured set of evidence that provides a convincing and valid argument that a system is adequately safe for a given application in given environment. This special report gives directions for argumentation in a Safety Case concerning I&C software of the highest safety category used in a nuclear power plant.",
author = "Hannu Harju and Jussi Lahtinen and Jukka Ranta and Risto Nevalainen",
year = "2011",
language = "English",
isbn = "978-951-38-7689-0",
series = "VTT Tiedotteita - Research Notes",
publisher = "VTT Technical Research Centre of Finland",
number = "2571",
pages = "77--86",
booktitle = "SAFIR2010: The Finnish Research Programme on Safety 2007-2010",
address = "Finland",

}

Harju, H, Lahtinen, J, Ranta, J & Nevalainen, R 2011, Certification Facilities for Software (CERFAS): Certification facilities for software: Evaluation by Safety Case Templates. in SAFIR2010: The Finnish Research Programme on Safety 2007-2010: Final Report. VTT Technical Research Centre of Finland, Espoo, VTT Tiedotteita - Research Notes, no. 2571, pp. 77-86.

Certification Facilities for Software (CERFAS) : Certification facilities for software: Evaluation by Safety Case Templates. / Harju, Hannu; Lahtinen, Jussi; Ranta, Jukka; Nevalainen, Risto.

SAFIR2010: The Finnish Research Programme on Safety 2007-2010: Final Report. Espoo : VTT Technical Research Centre of Finland, 2011. p. 77-86 (VTT Tiedotteita - Research Notes; No. 2571).

Research output: Chapter in Book/Report/Conference proceedingChapter or book articleProfessional

TY - CHAP

T1 - Certification Facilities for Software (CERFAS)

T2 - Certification facilities for software: Evaluation by Safety Case Templates

AU - Harju, Hannu

AU - Lahtinen, Jussi

AU - Ranta, Jukka

AU - Nevalainen, Risto

PY - 2011

Y1 - 2011

N2 - As a part of the Finnish nuclear research program SAFIR2010 a project called Certification facilities for software (CERFAS) aimed to define necessary software certification services for nuclear industry needs. The developed service is closely based on the concept of a Safety Case which is a document and structured set of evidence that provides a convincing and valid argument that a system is adequately safe for a given application in given environment. This special report gives directions for argumentation in a Safety Case concerning I&C software of the highest safety category used in a nuclear power plant.

AB - As a part of the Finnish nuclear research program SAFIR2010 a project called Certification facilities for software (CERFAS) aimed to define necessary software certification services for nuclear industry needs. The developed service is closely based on the concept of a Safety Case which is a document and structured set of evidence that provides a convincing and valid argument that a system is adequately safe for a given application in given environment. This special report gives directions for argumentation in a Safety Case concerning I&C software of the highest safety category used in a nuclear power plant.

M3 - Chapter or book article

SN - 978-951-38-7689-0

T3 - VTT Tiedotteita - Research Notes

SP - 77

EP - 86

BT - SAFIR2010: The Finnish Research Programme on Safety 2007-2010

PB - VTT Technical Research Centre of Finland

CY - Espoo

ER -

Harju H, Lahtinen J, Ranta J, Nevalainen R. Certification Facilities for Software (CERFAS): Certification facilities for software: Evaluation by Safety Case Templates. In SAFIR2010: The Finnish Research Programme on Safety 2007-2010: Final Report. Espoo: VTT Technical Research Centre of Finland. 2011. p. 77-86. (VTT Tiedotteita - Research Notes; No. 2571).