Industrial Automation

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.
Also MISRA-rules are widely used.

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

According to the possible consequences, IEC 61508 distinguishes different Safety integrity levels (SIL).
Testwell CTC++ Code Coverage Analyzer 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 Analysis

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.
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 CodeSonar to perform static code analysis in IEC 61508 projects.

Imagix 4D 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.
Testwell CMT++ 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.

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 safety and security critical software development within the automation industry. Our satisfied customers include:







Read here what Customers say about our tools: