Caroline Chopinaud

Son article :

Mots-clefs : lois, observateur, résistance aux pannes, vérification, autonomie, émergence, contrôle
Résumé : Pouvoir garantir qu'un système multiagent ne va pas générer des comportements indé- sirables est primordial dans le contexte d'applications critiques (systèmes embarqués ou temps réels). L'émergence de comportement due à la mise en relation d'agents autonomes peut engen- drer l'apparition de situations incompatibles avec la bonne exécution du système. L'utilisation de méthodes classiques de validation, pour vérifier le comportement d'un système multiagent, n'est pas suffisante si l'on souhaite garantir que, une fois mis en condition réelle, le système ne produira pas un mauvais comportement. Nous proposons une approche complémentaire d'auto- surveillance et d'auto-régulation permettant aux agents de contrôler leur propre comportement. Ce papier présente la génération automatique d'agents auto-contrôlés utilisant la technique de l'observateur afin de vérifier que leur comportement respecte un ensemble de lois tout au long de leur exécution.