Spécification, Synthèse et Qualité des Modèles de Simulation à Événements Discrets

Mamadou Kaba Traoré (1)

1 LIMOS - Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes

Cet ouvrage se veut une contribution à une meilleure compréhension de l’évolution des modèles de simulation dans leur cycle de vie. Le concept au cœur de cet objectif est celui de modélisation multi-analyse qui vise à conjuguer la simulation, les capacités de raisonnement symbolique, et les moyens de synthèse automatique de code, à partir d'une spécification unique. Cet effort, qui est au service de l'ingénierie modèle-centrée des systèmes complexes, est à la croisée de la théorie mathématique des systèmes dynamiques, des méthodes formelles et du génie logiciel avancé.

Mots clés: Simulation discrète; Modèle; Spécification; Synthèse; Qualité; Simulation discrète

Domaines: Modélisation et simulation

Mamadou Kaba Traoré. Spécification, Synthèse et Qualité des Modèles de Simulation à Événements Discrets. Editions universitaires europeennes 2017, 9783841727558. ⟨hal-01814160⟩