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++

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







Read here what Customers say about our tools: