The use of simulation in the design of critical embedded systems
English
Navet, Nicolas[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
9-Jun-2016
No
No
National
Conférence Régionale NAFEMS France 2016
du 8 Juin 2016 au 9 Juin 2016
Paris
France
[en] Validation and Verification ; Simulation ; Critical embedded systems ; Embedded systems ; Automotive systems ; Avionics systems
[fr] Les plate-formes virtuelles permettant de prédire par simulation numérique les performances deviennent peu à peu une réalité dans la conception des systèmes de contrôle les plus complexes et les plus contraints (automobile, aéronautique, contrôle de réseaux power-grid, etc). Dès les phases amont du cycle de conception, ces outils guident les concepteurs dans leurs choix de conception. Le premier objectif de cet exposé est de dresser un rapide panorama des modèles et techniques de simulation de l'embarqué critique: simulation du comportement fonctionnel (lois de contrôle), simulation "timing-accurate" des plate-formes d'exécution, de leur complémentarité et limites actuelles.
Contrairement à des techniques mathématiques, la simulation ne fournit a priori aucune garantie sur la couverture de vérification et les situations pire-cas ("corner cases") ne sont pas nécessairement identifiées. Néanmoins la simulation est de plus en plus incontournable car les modèles analytiques ne sont généralement pas en mesure de capturer toute la complexité des systèmes réels. Le second objectif de cet exposé est d'identifier des bonnes pratiques méthodologiques pour l'utilisation de la simulation dans les systèmes critiques (ex: choix des temps de simulation et nombre d'expérimentations en fonction de caractéristiques structurelles des processus simulés, métriques de performances pour les événements rares, etc).
[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
