Slide 1


Software Verification

Automated verification of safety-critical code

Tools to test your software and comply with safety and coding standards

25 April, 2024 – 16:30 CEST | LinkedIn

Want to boost your productivity and compliance with safety and coding standards? We’ve got an incredible webinar lined up for you! Discover automated software verification tools that will streamline your workflow and help you ensure compliance. Our expert speaker, Haydar Akbulut, will showcase these tools and be available for a Q&A session at the end of the webinar.

Register via LinkedIn

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.