The importance and complexity of software in industrial automation systems is steadily increasing.
With the Internet of Things (IoT) and Machine-to-machine (M2M) communications, the industry is facing new challenges in all markets, and with the continuous discovery of new vulnerabilities in more connected systems and sensors, customers need software systems to be secure, safe, and reliable out-of-the-box.
Thus, software quality issues become a critical concern for many automation projects. Software errors are costly. They can affect the sales of your products and the reputation of your company. In worst case insufficient software quality can result in injuries and even death of humans. Effective software quality assurance measures are required in order to increase safety and security.
To minimize risks the standard IEC 61508
(Functional Safety of Electrical / Electronic / Programmable Electronic Safety-Related Systems) is widely used in industrial automation where safety, security and reliability are very important.
According to the Criticality Levels, IEC 61508 requires Code Coverage
, Static analysis
, and Dynamic analysis.
are widely used.
Meet the Code Coverage Requirements of IEC 61508 with Testwell CTC++ Test Coverage Analyser
According to the possible consequences, IEC 61508 distinguishes different Safety integrity levels (SIL).
Test Coverage Analyser shows all code coverage levels required by IEC 61508.
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++ and certifications easy.
Learn more about Testwell CTC++
Static AnalysisGrammaTech CodeSonar
is a Static Code Analysis Tool which is specifically designed for zero-tolerance defect environments.
CodeSonar can make a significant contribution to IEC 61508 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.
GrammaTech 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 and checks for coding standards like MISRA
Alstom, FANUC, Schneider Electric, Siemens, and many others rely on GrammaTech CodeSonar to perform static code analysis in IEC 61508 projects
is a tool to understand, document and improve complex, third party or legacy source code in C, C++ and Java. With Imagix 4D you increase productivity, improve quality, and reduce risk.
The testability and possibility of safe modifications ir one objective of the IEC 61508 standard.
helps to achieve this requirements by analysing 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.
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 safety and security critical software development within the automation industry. Our satisfied customers include:
Read here what Customers say about our tools
Bernecker & Rainer
Detector Electronics (USA)
Hittech Multin BV
HYDAC INTERNATIONAL GmbH
ICS AG Stuttgart
Kappa Opto-Electronics GmbH
Knick Elektronische Messgeräte
Lachmann & Rink GmbH
Philips Applied Technologies
Schindler Aufzüge AG
TTTech Computertechnik AG
VIPA GmbH Herzogenaurach
"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
"We use Testwell CTC++ for measuring the coverage of the unit tests and system tests of our (embedded) targets. The reports are clean, simple and contain what we need. Support from Verifysoft is decent and fast. The CTC tooling can easily be added to simple builds."
>Read full Customer Testimonial here
>Watch video here
Kees Valkhof, Tester
"We use Testwell CTC++ for analysing the test coverage for our unit- and system tests of our safety product which is developped according to IEC 61508. The reports created by Testwell CTC++ are clear, simple, and include all necessary information. It was easy to integrate Testwell CTC++ into our development tool chain. Verifysoft provides an excellent customer support."
Thomas Schneider, Senior Software Engineer
Schneider Electric Automation GmbH, Germany