Abstract FR:

Dans le domaine de l’intelligence artificielle distribuée, la branche des systèmes multiagents s’intéresse à la résolution des systèmes complexes par un ensemble d’agents mis en interaction. Tout comme pour la programmation orientée objet, la nécessité de garantir aussi bien l’intégrité du développement que le bon déroulement du programme est apparue comme un problème majeur. Cette thèse se positionne dans cette problématique. Après avoir présenté une analyse des différents moyens mis à la disposition de la communauté concernant la validation des systèmes multiagents, nous proposons une nouvelle approche. Notre approche est basée sur une validation ciblée des parties d’un système que nous nommons les propriétés. Ces propriétés forment le coeur de notre recherche et sont donc largement étudiées. Notamment, nous étudions et formalisons le concept, proposons un modèle et une manière d’extraire ces propriétés lors de la conception d’un système. D’autre part, nous montrons comment réifier ces propriétés afin de les rendre exploitables par des entités logicielles. Nous présentons aussi une architecture que nous avons développée et qui permet de valider un système évoluant sur une plate-forme distante lors de son exécution. La validation se base sur les propriétés réifiées exploitées par des agents vérificateurs dont le rôle est de mettre en évidence tout comportement déviant du système.