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 dead 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 Test Coverage Analyser 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++ Test Coverage Analyser
Testwell CTC++ Test Coverage Analyser 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++
Static Analysis
CodeSonar is a Static Code Analysis Tools which is specifically designed for zero-tolerance defect environments.CodeSonar can make a significant contribution to IEC 61508 and IEC 60880 activities. Sophisticated analyses provide multiple points of leverage for verification and reverification.
With its advanced static analysis engine, CodeSonar is one of the most effective tools for eliminating the most costly and hard-to-find software defects early in the application development lifecycle.
CodeSonar performs whole-program, interprocedural analysis on C and C++ source code, identifying programming bugs that can result in system crashes, memory corruption, and other serious problems. CodeSonar finds bugs automatically.
Imagix 4D is a tool to understand, document and improve complex, third party or legacy source code in C, C++ and Java. It automates the analysis of control flow and dependencies. Furthermore, Imagix 4D detects problems in data usage and task interactions.
With Imagix 4D you increase productivity, improve quality, and reduce risk.
Testwell CMT++ analyses for the most important metrics like Lines-of-code Metrics (LOC), Halstead-Metrics, McCabe Cyclomatic Number v(G), Maintainability Index and Max ND / Maximum Nesting Depth. The tool is very easy to use, extremely fast and analyses even very large code bases.
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:
ABB
AREVA
CATL (China)
Contemporary Amperex
Kongsberg (Norway)
Siemens Wind Power
Westinghouse
Read here what Customers say about our tools:
"Testwell CTC++ is used in one of our projects on embedded targets. It was easy to integrate on the embedded target. It has a well written manual, and Verifysoft has a good customer support."
Anna Andgart, Software Developer
ABB AB, Control Technologies, Sweden
Anna Andgart, Software Developer
ABB AB, Control Technologies, Sweden
"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
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