Modélisation de capteurs virtuels avec l'IA et la conception basée sur les modèles
MathWorks propose un webinaire gratuit centré sur l'intégration de l'intelligence artificielle dans les workflows de conception basée sur les modèles (Model-Based Design), avec pour cas d'usage principal la modélisation de capteurs virtuels. La session couvre l'ensemble du cycle de vie d'un modèle d'IA : conception et entraînement sous MATLAB, validation et vérification formelle, compression pour optimisation mémoire, génération de code C sans bibliothèques tierces, et déploiement sur processeurs embarqués. Des tests PIL (Processor-in-the-Loop) sont également au programme pour évaluer les performances réelles du code généré.
L'intérêt concret de cette approche réside dans la capacité à intégrer des réseaux de neurones directement dans Simulink pour des simulations au niveau système, sans sortir de l'environnement de développement. La vérification formelle du comportement des réseaux de neurones, une étape rarement outillée dans les pipelines d'IA industrielle, représente un apport notable pour les secteurs où la sûreté est critique, comme l'automobile, l'aérospatiale ou l'industrie manufacturière. La compression des modèles pour réduire l'empreinte mémoire et accélérer l'exécution est particulièrement pertinente pour les contraintes des systèmes embarqués.
Ce webinaire s'inscrit dans une tendance de fond : rapprocher les outils d'IA des environnements d'ingénierie système traditionnels. MathWorks, avec MATLAB et Simulink, occupe une position historiquement forte dans les industries à forte contrainte de certification. En proposant un flux bout-en-bout pour les capteurs virtuels, l'entreprise répond à un besoin croissant de remplacement ou de complément aux capteurs physiques coûteux par des modèles appris, tout en conservant les exigences de traçabilité et de vérification propres aux systèmes critiques.
Les secteurs européens de l'aérospatiale et de l'automobile, soumis à des normes de certification strictes (DO-178C, ISO 26262), pourraient bénéficier de ces workflows de vérification formelle pour accélérer l'intégration de l'IA dans les systèmes embarqués critiques.
Vu une erreur factuelle dans cet article ? Signalez-la. Toutes les corrections valides sont publiées sur /corrections.




