Unpublished conference/Abstract (Scientific congresses, symposiums and conference proceedings)
The use of simulation in the design of critical embedded systems
Navet, Nicolas
2016Conférence Régionale NAFEMS France 2016
 

Files


Full Text
NAFEMS_2016_Navet_web.pdf
Publisher postprint (2.96 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Validation and Verification; Simulation; Critical embedded systems; Embedded systems; Automotive systems; Avionics systems
Abstract :
[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).
Disciplines :
Electrical & electronics engineering
Author, co-author :
Navet, Nicolas ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
no
Language :
English
Title :
The use of simulation in the design of critical embedded systems
Publication date :
09 June 2016
Event name :
Conférence Régionale NAFEMS France 2016
Event place :
Paris, France
Event date :
du 8 Juin 2016 au 9 Juin 2016
Focus Area :
Security, Reliability and Trust
Available on ORBilu :
since 16 June 2016

Statistics


Number of views
119 (10 by Unilu)
Number of downloads
355 (3 by Unilu)

Bibliography


Similar publications



Contact ORBilu