|<
<< Page précédente
1
Page suivante >>
>|
5
10
15
20
25
30
35
40
documents par page
Tri :
Date
Editeur
Auteur
Titre
Institut Supérieur de l'Aéronautique et de l'Espace
/ 16-12-2019
Michel Clément
Voir le résumé
Voir le résumé
Les systèmes cyber-physiques se présentent comme particuliers à bien des égards.Composés d’éléments issus des domaines physiques mis en interaction avec des élements issus des domaines informatiques, leur comportement est complexe et leur analyse formelle extrêmement difficile. Afin de contourner ces problématiques, nous avons recours à la simulation, et plus particulièrement à la simulation distribuée. La simulation distribuée est en effet très adaptée à la simulation des systèmes cyber-physiques de part les similarités structurelles existant entre les deux. Cependant, l’utilisation de la simulation distribuée fait apparaître ses propres challenges, notamment des problématiques de synchronisation temporelle entre les différentes entités mises en réseau. Ces problématiques détournent l’utilisateur de son but initial, à savoir l’analyse d’un système à travers un modèle. Dans cette thèse, nous proposons un framework intitué GRADE, basé autour d’une représentation du même nom. Le framework GRADE offre à l’utilisateur des outils et des méthodologies permettant de passer d’un modèle de système à une simulation distribuée. Des vérifications sont appliquées pour garantir que le comportement de la simulation distribuée correspond bien au modèle initialement présenté et que le passage au distribué n’entraînera pas l’apparition d’artefacts dans les résultats. Enfin, des techniques d’ordonnancement sont utilisées pour paralléliser le plus possible la simulation obtenue.
|
Texte intégral
|<
<< Page précédente
1
Page suivante >>
>|
5
10
15
20
25
30
35
40
documents par page