Détection d'activités par un système de reconnaissance de chroniques et application au cas des simulations distribuées HLA

par Olivier Bertrand

Thèse de doctorat en Informatique

Sous la direction de Christine Choppy.

Soutenue en 2009

à Paris 13 .


  • Résumé

    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.

  • Titre traduit

    Activity recognition by a chronicle recognition system and application to HLA distributed simulations


  • Résumé

    The goal is to provide a simple way to analyse (e. G. To search (un)desired activities, to measure activity duration,. . . ) High Level Architecture (HLA) distributed simulations. To this end we chose chronicle recognition, and we describe searched activities by chronicles (using the CRS/Onera language). The first step is a formalmodelisation of the used chronicle recognition system(CRS/Onera). So as to model chronicle recognition we first compare the expressivity of different kinds of automata. We chose Coloured Petri nets with which we could produce an elegant and modular model. We prove, for some constructions, the correctness of the built Petri nets. Then we model an event managing system in coloured Petri nets. Using this model, we validate the behaviour of the recognition tool e. G. For forbidden chronicle expressions, and chronicles with event repetitions. After this validation of CRS/Onera, we facilitate its integration in HLA simulation in order to detect activities. So we choose to integrate CRS/Onera in a HLA component (federate). In order to achieve this goal we transform HLA communications to events usable for the chronicle recognition system. We validate our choices with the development of an analysis component for an existing simulation, the Future Airport project built by Onera. In order to further simplify the building of analysis components, we developed an extension for Genesis (a tool for developing HLA simulation) to generate automatically an analysis component. To simplify the use of an analysis component, an HLA component is generated that is integrated directly in a HLA simulation without modification of the simulation.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (205 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p.193-199. Annexes

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris 13 (Villetaneuse, Seine-Saint-Denis). Bibliothèque universitaire. Section Sciences.
  • PEB soumis à condition
  • Cote : TH 2009 011
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.