Thèse soutenue

Détection d'activités par un système de reconnaissance de chroniques et application au cas des simulations distribuées HLA
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Olivier Bertrand
Direction : Christine Choppy
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2009
Etablissement(s) : Paris 13

Mots clés

FR

Mots clés contrôlés

Résumé

FR  |  
EN

L’objectif est de fournir un moyen simple pour analyser des simulations distribuées de type HLA (High Level Architecture). Pour cela nous avons choisi la reconnaissance de chroniques, et nous décrivons les activités recherchées par des chroniques (avec CRS/Onera). Nous effectuons tout d’abord une modélisation formelle du système de reconnaissance de chroniques utilisé (CRS/Onera). Pour cela nous avons tout d’abord comparé l’expressivité de différents modèles à base d’automates. Nous avons retenu les réseaux de Petri colorés qui nous ont permis d’avoir un modèle élégant et modulaire. Nous avons prouvé pour certaines constructions, le bon fonctionnement des réseaux de Petri construits. Puis nous avons modélisé un système de gestion d’événements en réseaux de Petri colorés. Avec ce modèle, nous validons le comportement de l’outil de reconnaissance par exemple pour les expressions de chroniques interdites et les chroniques avec répétition d’événements. Pour détecter des activités, nous intégrons CRS/Onera dans un composant standard (un fédéré) d’une simulation HLA. Pour réaliser cet objectif, nous transformons les communications HLA en événements utilisables par le système de reconnaissance de chroniques. Nous validons nos choix en développant un composant d’analyse pour une simulation existante, le projet Aéroport Du Futur (Onera). Pour simplifier la construction de composants d’analyse, nous avons développé une extension de Genesis (un outil de développement de simulations HLA) pour engendrer automatiquement un composant d’analyse : le composant HLA engendré est intégré directement dans une simulation HLA sans modification de la simulation.