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
Date / Time:October 28, 2025
11 AM CET
Venue:Virtual
- Cost:
No reviews available for this learning resource.
