@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",
}