L'Excellence du Logiciel Embarqué : Garantir la Qualité du Modèle au Code
| Lieu | Début | Fin |
|---|---|---|
| MathWorks, 160 quai de la bataille de Stalingrad, 92130 Issy les Moulineaux | 14 avril 2026, 09:00 CEST | 14 avril 2026, 12:15 CEST |
Présentation
Dans un contexte où la complexité des systèmes embarqués explose, la fiabilité du logiciel n'est plus une option, c'est un impératif. Avec des systèmes de plus en plus interconnectés et des algorithmes critiques, les méthodes de validation traditionnelles ne suffisent plus à garantir le "zéro défaut".
Ce séminaire technique propose une réponse viable à ce défi : une stratégie de Vérification et Validation (V&V) rigoureuse et automatisée, couvrant l'intégralité du cycle de développement.
Rejoignez-nous pour une session dédiée aux meilleures pratiques de Vérification et Validation avec l'écosystème MathWorks. Nous montrerons comment utiliser le Model-Based Design (Simulink) et l'analyse de code (Polyspace) pour créer un flux de développement continu et robuste.
Points forts
- Validation de l'architecture et des algorithmes dès la phase de conception
- Détection de failles critiques dans votre code généré ou manuscript
- Automatisation de la vérification et validation (modèles et code) dans un environnement CI
- Conformité aux normes industrielles (ISO26262, DO178, IEC61580, etc.)
Public concerné
- Ingénieur logiciel
- Architecte systems
- Responsable développement logiciel
- Ingénieur Sûreté Fonctionnelle
- Ingénieur DevOps
À propos du/des présentateur(s)
Mathieu Cuenant est ingénieur d'application chez MathWorks, spécialisé dans la conception et la validation d'algorithmes via la modélisation et la simulation. Avant de rejoindre MathWorks, il occupait un poste d'ingénieur contrôle-commande chez Safran.
Wenjin Yu occupe le poste de Ingénieur d’Application Senior chez Mathworks, où il est spécialisé dans la vérification et la validation des logiciels embarqués. Fort de dix ans d’expérience dans le développement et l’évaluation de logiciels embarqués pour les secteurs automobile et médical, il a travaillé avant Mathworks sur des logiciels critiques dédiés aux véhicules électriques ainsi qu’à des instruments médicaux, ce qui lui a permis de développer une expertise pointue en robustesse et performance logicielle. Chez Mathworks, il accompagne des clients de différentes industries dans la mise en place de processus de vérification et de validation, facilitant l’identification des erreurs logicielles et l’amélioration de la qualité. Il se distingue également par ses compétences en certification et en conformité aux normes.
Programme
| Heure | Thème |
8:30 |
Accueil des participants |
9:00 |
Introduction |
9:15 |
Vérification et validation au niveau modèle (Model-Based Design)
|
10:15 |
Pause |
10:30 |
Vérification et validation au niveau code
|
11:30 |
Application aux développements sous contraintes normatives
|
11:45 |
Professionnalisez vos pratiques V&V
|
12:00 |
Conclusion |
12:15 |
Déjeuner |
Focus produit
Nous ne vendrons ni ne louerons vos coordonnées personnelles. Consultez notre charte de confidentialité pour de plus amples détails.
Vous êtes déjà connecté(e) à votre compte MathWorks. Cliquez sur le bouton "Valider" pour finaliser le formulaire.
