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

    SeriesVTT Tiedotteita - Research Notes
    Number2571
    ISSN1235-0605

    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).