Slide 1


Software Verification

ERTS 2024

11 – 12 June, 2024 | Toulouse, France

The ERTS (Embedded Real Time Systems) Congress is a unique International cross sector event on Embedded Software and Systems, the “place to be” for actors from universities, research centers and industries.

On Wednesday, 12th June at 3:30pm our Head of AI Research, Adam Mackay, welcomes you at his presentation “Automated Test Suite Augmentation using Language Models: Applying RAG to Improve Robustness Verification”.

embedded world North America 2024

8 – 10 Oct, 2024 | Austin – Texas, United States

The embedded worldwide is the global platform and the industry meeting point for leading experts, key players and industry associations in the embedded community. They offer an incomparable insight into the whole world of embedded systems: from components and modules to operating systems, hardware and software design, M2M communication, to services and the numerous issues of a complex system design.

It’s clear focus and specialization on technologies, processes and future-oriented products combined with top-class expert knowledge make the event unique in international comparison and THE must-attend event in the industry – ideal for developers, system architects, product managers and technical management.

Visit us at booth #2615!

Check out our most popular events recordings!

This seminar dives into advanced unit and integration testing methods tailored for safety-critical code, emphasizing the shortcomings of open-source XUnit frameworks. It showcases Cantata, a commercial tool, for automated test generation, white-box testing, and error injection, ensuring coverage metrics, requirements traceability, and integration with CI/CD processes. Additionally, it introduces Cantata Hybrid, enabling Google Test usage while ensuring standards compliance. Essential for developing life-critical systems or enhancing testing strategies.

Static Analysis and Dynamic Testing of Software: A Combined Approach

At Embedded World 2022, QA Systems’ Integrations Manager, Adam Mackay, emphasizes the combined approach of Static Analysis and Dynamic Testing of Software. Demonstrating how quality assurance testing tools can save developers time, money, and effort, he underscores its significance for successful testing phases. As projects progress, testing phases become more intricate, and identifying bugs, non-conformities, and coding flaws becomes crucial. Automating code checking and robust unit testing early on can detect defects when they are easier and less costly to fix, especially since most issues originate during the coding stage.

Automated Verification of Safety-Critical Code

Discover our advanced automated software verification tools, ensuring compliance with coding and safety standards like MISRA, AUTOSAR, CERT, CWE, ISO 26262, IEC 61508, and more. See a powerful demonstration by AbsInt’s Daniel Kaestner and QA Systems’ Haydar Akbulut. Ideal for developers in safety-critical industries – automotive, aerospace, medical devices, industrial automation, railways, and nuclear.