Functional Safety related services
Helix QAC is a static code analyzer that automatically scans code for violations (based on C and C++ coding rules). It enables development teams to detect defects earlier in development — when they are easier and less costly to fix. And Helix QAC automatically enforces coding standards, such as MISRA®, which ensures your code is compliant.
Detect critical defects — not reported by compilers — early in development. Helix QAC builds an accurate model of the behavior of your software. It tracks the value of variables in the code as they would be at run time. So, this analysis maximizes code coverage. And it minimizes false positives and false negatives. It even recognizes issues caused by overly complex code.
Improve the overall quality and security of any application. Helix QAC identifies must-fix defects — and provides detailed guidance to help developers fix issues in source code. It does it without running programs. Because developers get instant contextual feedback, they learn from mistakes. And the next time they create new code (or review existing code), they will improve.
Helix QAC can handle millions of lines of code. This ensures that your product is safe, no matter how complex the codebase is.
Accelerate development times by reducing bottlenecks. Helix QAC integrates with build systems and continuous integration environments. This enables you to identify defects early and often, so you avoid errors that are more expensive to fix later in development. And it refocuses and accelerates existing code reviews. You can even configure Helix QAC to only analyze new changes — and provide feedback faster.
Helix QAC is certified for functional safety compliance by SGS-TÜV, according to IEC 61508, ISO 26262, EN 50128, IEC 60880, and IEC 62304. Helix QAC is also certified to ISO 9001 | TickIT plus Foundation Level.