www.qa-systems.com Open in urlscan Pro
141.193.213.21  Public Scan

Form analysis
0 forms found in the DOM

Text Content

Slide 1


FREE WEBINAR


AUTOMATED VERIFICATION OF SAFETY-CRITICAL CODE


WEDNESDAY, 3RD OF MAY 2023


REGISTER




3 TOOLS TO COMPLY, TEST AND ANALYSE YOUR SOFTWARE FOR SAFETY AND CODING
STANDARDS

Join us for an exciting webinar specially designed for software developers
working on safety-critical projects in various industries, including automotive,
aerospace, medical devices, industrial automation, railways, and nuclear.

In this webinar, you will learn about our advanced automated software
verification tools, which can help you optimize your workflow and increase
efficiency while ensuring compliance with coding standards like MISRA, AUTOSAR,
CERT, and CWE; and safety standards such as ISO 26262, IEC 61508, etc.

Powered by




This session shows the key benefits of our verification tools using a single
code example on how to:

 * COMPLY using QA-MISRA for fast coding standard compliance at the developer’s
   desktop first.
 * TEST using Cantata for automated dynamic execution of the standard compliant
   software.
 * ANALYZE using Astrée for proving absence of run-time errors on the whole
   application.

Daniel Kaestner from AbsInt and Haydar Akbulut from QA Systems will demonstrate
these verification tools for safety-critical projects and will be available for
answering your questions during the Q&A at the end of the webinar.

Don’t miss out on this opportunity to discover practical ways to apply these
tools to your coding practices and learn from industry experts.

THE WEBINAR WILL TAKE PLACE ON THE 3RD OF MAY 2023 AT 8:00 EDT | 14:00 CEST |
17:30 IST

Complete the form below to book your place. Cannot attend? No problem. The
session will be recorded and shared with all registrants.




Notifications