Model-Based Design meets GenAI: from faster design to system validation

Overview

The keynote discusses GenAI limitations in determinism, traceability and quality, and uses established models and tools to check AI-assisted engineering. Requirements/test linkage, static analysis and multi-domain simulation illustrate the approach; English and Chinese event versions are consolidated as one work.