Parallélisation de simulateur DEVS par métamodélisation et transformation de modèle

DEVS simulator parallelization by metamodeling and model transformation

• Auteur / Autrice : Hamidou Togo
• Direction : Mamadou Kaba Traoré, Ouaténi Diallo
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 23/12/2015
• Etablissement(s) : Clermont-Ferrand 2 en cotutelle avec Université des sciences, des techniques et des technologies de Bamako (Mali)
• Ecole(s) doctorale(s) : École doctorale des sciences pour l'ingénieur (Clermont-Ferrand)
• Partenaire(s) de recherche : Laboratoire : Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
• Jury : Président / Présidente : Moussa Lô
• Jury : Examinateurs / Examinatrices : Mamadou Kaba Traoré, Ouaténi Diallo, Jacqueline Konaté
• Jury : Rapporteurs / Rapporteuses : Pierre Siron, Hans Vangheluwe

Mots clés

Mots clés contrôlés

Simulation par ordinateur

Mots clés libres

DEVS

M&S

Simulation répartie

Méta-modèle

Graphe de simulation

Transformation de modèle

DEVS

M&S

Distributed simulation

Meta-model

Simulation graph

Model transformation

Résumé

Cette thèse propose une approche d’ingénierie consistant à paralléliser des simulateurs DEVS existants, sans être obligé de modifier les algorithmes de l’implémentation initiale, mais en injectant des composants additionnels adaptés au protocole de communication intercomposants en vigueur. Les algorithmes de simulation de ces nouveaux composants appelés « Manteaux », sont définis. Une démarche d’ingénierie permettant de systématiser le passage d’une implémentation à sa contrepartie parallèle et distribuée est ensuite proposée. Cette démarche s’appuie sur les principes de méta modélisation et de transformation de modèles inspirés de l’Ingénierie Dirigée par les Modèles (IDM). Sa généricité en garantit la réutilisabilité avec tout simulateur séquentiel DEVS.

This thesis proposes an engineering approach to parallelize existing DEVS simulators without having to modify the algorithms of the initial implementation, but by injecting additional components suitable for inter-component communication protocol into force. The simulation algorithms of these new components called "Coats" are defined.An engineering approach to systematize the passage from one implementation to its counterpart parallel and distributed is then proposed. This approach is based on metamodeling and models transformation principles inspired of Model Driven Engineering (MDE). Its genericity guarantees the reusability with any sequential DEVS simulator.