Algorithmes évolutionnaires pour la génération distribuée des espaces d’états dans un environnement dynamiques
No Thumbnail Available
Date
2015
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
La vérification formelle des systèmes est un besoin important, en particulier
lorsqu’il s’agit de systèmes critiques. L’un des problèmes rencontré lors de la
vérification de ces systèmes est le problème de l’explosion combinatoire de l’espace
d’états. Une solution pour pallier ce problème consiste en calcul distribué de cet
espace. Ceci suppose que le calcul s’effectue sur un réseau. Des solutions existent
dans la littérature mais qui ne prennent pas en considération la dynamicité du
système distribué. Pour cela nous envisageons la proposition d’algorithmes
évolutionnaires pour la génération d’espace d’états dans un environnement
dynamique. En effet la recherche d’une distribution optimale prenant en compte deux
objectifs contradictoires, à savoir l’équilibrage de charge et la réduction des arcs
intersites, reste un problème difficile. D’où la nécessité de rechercher des solutions
inspirées de la nature.