Article thumbnail

The use of simulation in the design of critical embedded systems

By Nicolas Navet

Abstract

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)

Topics: Validation and Verification, Simulation, Critical embedded systems, Embedded systems, Automotive systems, Avionics systems, Engineering, computing & technology :: Electrical & electronics engineering [C06], Ingénierie, informatique & technologie :: Ingénierie électrique & électronique [C06]
Year: 2016
OAI identifier: oai:orbilu.uni.lu:10993/27703

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.