Gagnez en agilité avec le Model-Based Design - De la spécification au code embarqué
Présentation
Venez découvrir comment la méthodologie Model-Based Design fluidifie le cycle de développement des systèmes embarqués, en abaissant les barrières entre les phases de conception, de vérification & validation et d'implémentation.
Au travers d'un exemple concret, nous montrerons comment développer des modèles d'algorithmes sur la base de spécifications, structurer et dérouler les activités de tests via la simulation, garantir l'exhaustivité de la vérification et automatiser les tâches de codage.
En s'appuyant sur des modèles exécutables, les itérations longues et coûteuses sont remplacées par des cycles plus petits et plus fréquents, propices à la détection et à la correction incrémentale d'erreurs. Une fois les modèles validés, du code embarqué en est automatiquement généré à destination de cibles type microcontrôleur, FPGA ou automate industriel (PLC).
Cette approche s'inscrit également dans une démarche de conformité aux standards en vigueur dans différents domaines : automatismes industriels (IEC 61508), médical (IEC 62304), engins off-road (ISO 25119), automobile (ISO 26262), etc.
Le séminaire sera introduit par un témoignage de la société Energy Pool, qui s'appuie sur des modèles de microgrids pour valider ses algorithmes de gestion d'énergie.
À propos du/des présentateur(s)
Hassan Issa est chargé de développement & simulation microgrids au sein d’Energy Pool. Titulaire d’un doctorat portant sur l’utilisation de l’intelligence artificielle pour le contrôle des micro-réseaux, il bénéficie de plusieurs années d’expérience dans les domaines de la modélisation, de la simulation et de la stabilité des réseaux électriques.
Mathieu Cuenant est ingénieur d'application, spécialisé sur 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.
Amani Darwish est ingénieure d'application chez MathWorks, spécialisée dans les outils de vérification et de génération de code HDL pour les ASIC, les FPGA et les SoC. Avant de rejoindre MathWorks, elle a travaillé en R&D sur la conception et la vérification de circuits numériques au sein de plusieurs entreprises du secteur.
Programme
| Heure | Thème |
8:30 |
Accueil des participants |
9:00 |
Mot de bienvenue et introduction |
9:15 |
Témoignage de la société Energy Pool Microgrid : Développement d'un jumeau numérique du système électrique pour validation d'algorithmes de gestion d’énergie |
9:45 |
Model-Based design – 1ère partie
|
10:30 |
Pause |
11:00 |
Model-Based design – 2ème partie
|
12:00 |
Cocktail |
