Add to ORKGAs 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
The work documented in this report was performed in support of the US Nuclear Regulatory Commission ...
Abstract: Software qualification includes such activities as a software Verification and Validation...
In June of this year, the Department of Energy (DOE) issued directives DOE O 414.1C and DOE G 414.1-...
As a part of the Finnish nuclear research program SAFIR2010 a project called Certification facilitie...
As a part of Finnish nuclear research program SAFIR2010 a project called CERFAS started in 2007 to d...
As a part of Finnish nuclear research program SAFIR2010 a project called CERFAS started in 2007 to d...
As a part of the Finnish nuclear research program SAFIR2010 a project called CERFAS aimed to define ...
As a part of the Finnish nuclear research program SAFIR2010 a project called CERFAS aimed to define ...
In the nuclear domain, regulators have strict requirements for safety-critical software. As a part o...
In the nuclear domain, regulators have strict requirements for safety-critical software. As a part o...
Executive Summary Objectives It is widely accepted that the assessment of software cannot be l...
Distribution: F This manual contains the minimum design and evaluation criteria for software requiri...
In regulated domains, such as nuclear power, a documented justification of safety is demanded for li...
In regulated domains, such as nuclear power, a documented justification of safety is demanded for li...
In regulated domains, such as nuclear power, a documented justification of safety is demanded for li...
The work documented in this report was performed in support of the US Nuclear Regulatory Commission ...
Abstract: Software qualification includes such activities as a software Verification and Validation...
In June of this year, the Department of Energy (DOE) issued directives DOE O 414.1C and DOE G 414.1-...
As a part of the Finnish nuclear research program SAFIR2010 a project called Certification facilitie...
As a part of Finnish nuclear research program SAFIR2010 a project called CERFAS started in 2007 to d...
As a part of Finnish nuclear research program SAFIR2010 a project called CERFAS started in 2007 to d...
As a part of the Finnish nuclear research program SAFIR2010 a project called CERFAS aimed to define ...
As a part of the Finnish nuclear research program SAFIR2010 a project called CERFAS aimed to define ...
In the nuclear domain, regulators have strict requirements for safety-critical software. As a part o...
In the nuclear domain, regulators have strict requirements for safety-critical software. As a part o...
Executive Summary Objectives It is widely accepted that the assessment of software cannot be l...
Distribution: F This manual contains the minimum design and evaluation criteria for software requiri...
In regulated domains, such as nuclear power, a documented justification of safety is demanded for li...
In regulated domains, such as nuclear power, a documented justification of safety is demanded for li...
In regulated domains, such as nuclear power, a documented justification of safety is demanded for li...
The work documented in this report was performed in support of the US Nuclear Regulatory Commission ...
Abstract: Software qualification includes such activities as a software Verification and Validation...
In June of this year, the Department of Energy (DOE) issued directives DOE O 414.1C and DOE G 414.1-...