Start Trial
Select the tool you would like to try
Coding standards for functional safety (MISRA, AUTOSAR etc) and security (CERT and CWE etc). It also provides insights through metrics and visualisations into source code quality.
Verify standard compliant or business critical C/C++ code on host native and embedded target platforms. Works with embedded toolchains, including cross-compilers, Requirements Management and CI Tools.
Generate test evidence and code coverage metrics from existing GoogleTest suites, bridging the gap between open-source testing and safety-critical software development to achieve functional safety compliance.
How Our Verification Tools Fit In Your Process
Comply
Use QA-MISRA for fast coding standard compliance at the developer’s desktop first.
Test
Use Cantata for automated dynamic execution of the standard compliant software.
Analyse
Use Astrée for proving absence of run-time errors on whole application.
NB: Astrée uses the same configuration as QA-MISRA, so the effort to apply it later to a QA-MISRA project later is low.