’utilisation des systèmes embarqués est généralisée dans divers domaines de la vie courante : transports, habitations intelligentes, applications médicales, … Dans ce contexte, les Systèmes Multi-Agents (SMA) offrent une solution à large échelle, mettant en jeu des agents qui œuvrent localement à la réalisation d’une tâche globale commune.
Les récents usages de telles applications ont également intégré les équipements mobiles divers et variés : téléphones portables, tablettes, etc. Ceci a eu pour conséquence d’augmenter la complexité des applications de SMA et de rendre plus difficile leur test en vue de leur validation.
En effet, diverses contraintes sont à considérer :
- volume important et hétérogénéité des données engendrées par ces applications;
- multitude des scénarios possibles, rendant la reproduction d’un scénario d’erreur difficile, voire infaisable ;
- la mise en œuvre de la coopération et des interactions entre agents, qui peuvent introduire des erreurs, même si les agents sont eux-mêmes valides.
