Energy

In the energy sector the cost and consequences of software errors can be extremely high.
Software bugs can result in financial losses and disturbance or damage of power plants. In safety-critical applications bad software can lead to injuries or even death of people.

For this reason good software quality and efficient software tests are very important.
For the development of programmable devices with safety functions the “general” standard IEC 61508 can be used.
The standard IEC 61226 (“Nuclear power plants - Instrumentation and control important to safety “) applies to nuclear power plants. It classifies the software into different safety levels. A, B, and C.

IEC 60880 applies to the highest category A. The levels B and C are handled by the standard IEC 62138.
Both standards (IEC 61508 and IEC 60880) require the usage of coding standards like MISRA. Coding standards can be checked by static code analysis tools.

Our Code Coverage Analyzer Testwell CTC++ can be used to fulfill the requirements of IEC 60880 (Nuclear Power) regarding the analysis of code coverage.

The Tool Qualification Kit for Testwell CTC++ helps you to get your products certified by qualifying Testwell CTC++.
Testwell CTC++ and the Qualification Kit are compliant to IEC 60880 and can be used for highest safety levels in nuclear power industry.

Meet the Code Coverage Requirements of IEC 61508 and IEC 60880 with Testwell CTC++ Code Coverage Analyzer

Testwell CTC++ Code Coverage Analyzer is used in IEC 61508 and IEC 60880 projects. The tool shows all code coverage levels required by the standards.

It shows Statement Coverage, Decision/Condition Coverage, Modified Condition Decision Structural Coverage (MC/DC) and even Multiple Condition Coverage.

Testwell CTC++ Test Coverage Analyzer for C and C++ is a user friendly and easy to use test coverage tool that gives clear and simple analysis results.

Testwell CTC++ has a very low instrumentation overhead. It can be used with all compilers and all embedded targets - even for very small ones.

The Tool Qualification Kit for Testwell CTC++ makes the qualification of Testwell CTC++ within your projects easy.
Learn more about Testwell CTC++

Our Static Analysis solution

TiCS is a source code quality monitoring solution designed for multi-technology, multi-project, and multi-site development environments.

TiCS allows you to:
✅ Centralize quality measurements across all code (C/C++, Java, C#, etc.),
✅ Unify analysis tools (Coverity, Parasoft C++Test, BlackDuck, MISRA, Cyclomatic, duplication, coverage, etc.) in a single interface,
✅ Automate quality checks in the CI/CD chain,
✅ Ensure traceability and compliance with standards (ISO 26262, DO-178C, IEC 61508, etc.),
✅ Track quality over time via clear and auditable dashboards.

Seminars

Developers and managers of safety critical software need best knowledge in order to provide excellent software.
Verifysoft supports you with seminars and workshops.

Hundreds of Companies and Organisations enhance their Software Quality with Verifysoft's Testing Solutions

Verifysoft's Testing solutions have proven success in the development of software for the medical/healthcare sector. Our satisfied customers include: