AI-Driven Solutions for Embedded Software Design and V&V

Explore how the Ansys–Developair partnership offers an AI-driven solution to enhance embedded systems' requirements, improve test case generation, and elevate development speed and quality.

Watch Presentation

First Name *

Last Name *

Company or School *

Are You a Student? *

Email Address *

Phone

Country/Region *

State/Territory *

City *

Postal Code *

Job Level

By providing your information, you agree to these Terms and to the processing of your personal data for the purposes of providing the activity and for related communications, including cross-border transfers (i.e., Ansys is a global company) and inter-company and third-party sharing, as detailed in the Privacy Notice. Ansys will share your personal data with Developair Ansys is not affiliated with this party.

Overview

High-quality system and software requirements are critical to the success of embedded systems projects. As the volume and need for rigor in defining these requirements continue to grow, traditional natural language specifications often fall short, introducing ambiguity, inconsistency, and incompleteness.

To address these challenges, Ansys and Developair have partnered to deliver a cost-effective, AI-enhanced requirements-based design and verification & validation (V&V) flow. This integrated solution enables the formalization of requirements using AI, followed by the automatic generation of comprehensive test cases to verify software behavior against those requirements.

In this webinar, we will demonstrate the key benefits and learn how your team can accelerate development while optimizing quality and compliance.

What Attendees Will Learn

Formalize requirements using AI using Developair
Verify requirements at early stages
Generate functional test cases and scripts from formalized requirements thanks to Developair’s symbolic AI
Run generated test cases with SCADE test
Measure coverage of generated test cases using SCADE model coverage

Who Should Attend and Why

Heads of software
Embedded software engineering managers
Software Development Team Leaders
Software Verification and validation engineers
Software tools managers
Software Architecture Team Leaders
Software Quality Assurance Managers

Speaker

Silvia Lamberti - Commercial Manager - Developair
Garat Berasategi – Product Engineer - Developair
Francois-Xavier Dormoy - Senior Product Manager - Ansys