In embedded systems, especially where functional safety and compliance (ISO 26262, DO-178C, IEC 61508, etc.) are key, verifying that the code actually implements the requirements is critical, and time-consuming.
This new “shift left” approach allows teams to catch issues before running tests, and even detect issues that traditional testing might miss entirely.
In addition, this solution can identify automatically traceability between code and requirements. It can thus auto-generate traceability reports for compliance audits.
Here’s a short demo (Google Drive): https://drive.google.com/file/d/1Bvgw1pdr0HN-0kkXEhvGs0DHTetrsy0W/view?usp=sharing
This solution can be highly relevant for safety teams, compliance owners, quality managers, and product development teams, especially those working on functional safety.
What do you think of this new AI-powered software verification approach?