Methodologie de modelisation pour la conception d'un systeme d'information et de communication militaire interoperable

• Auteur / Autrice : ESTELLE MOLIMARD
• Direction : Michel Gourgand
• Type : Thèse de doctorat
• Discipline(s) : Sciences et techniques
• Date : Soutenance en 1999
• Etablissement(s) : Clermont-Ferrand 2

Résumé

La problematique abordee dans cette these concerne la modelisation de systemes d'information et de communication militaires (sicm) interoperables, en vue de determiner, pour une charge donnee, les performances quantitatives de sicm cooperant au cours d'une operation. Les systemes a etudier sont les sicm dedies a une mission occasionnelle (sicm2) que les strateges concoivent en configurant plusieurs sicm pour une duree limitee. Du fait de la nature complexe des sicm2, les modeles seront eux-memes complexes a specifier et a construire. Le cadre conceptuel retenu est celui de la methodologie de modelisation asci qui s'appuie sur un processus de modelisation separant explicitement le recueil de la connaissance de son exploitation. Elle propose une vision systemique qui preconise la decomposition hierarchique d'un systeme avec le paradigme objet en trois sous-systemes communicants et complementaires (les sous-systemes logique, physique et decisionnel). Cette recherche propose une methodologie de modelisation des sicm2 ayant pour objectif de permettre aux experts de ces systemes de specifier sans ambiguite un modele de connaissance oriente objets de leur systeme a partir d'un modele generique de connaissance par objets de la classe des sicm2. Un ensemble d'axiomes et de proprietes sont enonces pour montrer le bien-fonde de la decomposition d'un sicm2 en trois sous-systemes. Cette methodologie propose: 1) une decomposition du sous-systeme logique en un sous-systeme logique a valeur operationnelle et un sous-systeme logique a valeur non operationnelle, qui privilegie l'analyse de la performance du systeme etudie ; 2) un modele generique global entite-association de la classe des sicm2, qui specifie la structure d'un sicm2 et ses interactions avec l'environnement ; 3) un modele generique de connaissance par objets, qui specifie totalement le fonctionnement des sicm2 ; 4) une extension de la methode de specification des flux sadt prenant en compte certains problemes propres aux sicm2. De plus, l'applicabilite de la methodologie de modelisation en amont de modeles de simulation existants a ete montree.