IEC 60880 - Nuclear Power
IEC 60880 is a Functional Safety Standard which covers the domain of the software aspects of computer-based systems used in Nuclear Power Plants to perform functions important to safety.
IEC 60880 is an adaptation of the Functional Safety standard IEC 61508.
can be used to fulfill the requirements of IEC 60880 (Nuclear Power) regarding the analysis of code coverage.
"We are using Testwell CTC++ very intensively during our development and testing of safety-critical software for nuclear power plants.
This tool is not only used on host systems but also on different embedded target platforms. The goal is to easily measure statement/decision or MC/DC coverage to satisfy the test requirements of the nuclear domain software standard IEC60880 and the Common Position document "Licensing of safety critical software for nuclear reactors" which states the requirements from the perspective of European nuclear regulators.
Support from VerifySoft is very helpful, fast, direct and straight forward."
Thorsten Oertel, Senior Firmware Engineer
AREVA GmbH, Germany
Certificate / Qualification Kit
For Testwell CTC++ 10.x we provide a Certificate of TÜV Süd Rail GmbH
for the usage of Testwell CTC++ in safety critical projects (all SIL- and ASIL-levels of the supported standards).
Verifysoft offers Qualification Kit for Testwell CTC++
(currently up to version 9.x) which provides documentation, test cases,
and procedures that let you qualify Testwell CTC++ Test Coverage Analyser for projects based on the safety standards ISO 26262, IEC 61508, EN-50128, and DO-178C.