ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 25/3 - 2006  - pp.317-342  - doi:10.3166/tsi.25.317-342
TITRE
Systèmes multi-agents adaptatifs avec contraintes temps-réel

RÉSUMÉ
La conception de systèmes réactifs répond à des impératifs de correction logique (le système fait ce qu’il doit) et de correction temporelle (le système se conforme à un ensemble de contraintes temporelles). Nous proposons ici une approche globale de conception de systèmes réactifs adaptatifs, c’est-à-dire adaptant dynamiquement leur architecture en fonction du contexte. Cela est rendu possible en autorisant une certaine tolérance dans le respect des contraintes logiques et temporelles (on parlera alors de qualité plutôt que de correction). Pour représenter le comportement des agents composant le système, nous utilisons le formalisme des automates temporisés, ce qui permet d’évaluer a priori les propriétés du système (en termes de qualité logique et temporelle), grâce à des techniques de model-checking et de simulation. Des outils de génération automatique de code, que nous avons développés, nous permettent ensuite de produire rapidement, à partir du modèle, un prototype multi-agent opérationnel qui a le comportement désiré.


ABSTRACT
The design of reactive systems must comply with logical correctness (the system does what it supposed to do) and timeliness (the system has to satisfy a set of temporal constraints) criteria. We propose a global approach for the design of adaptive reactive systems, i.e. systems that dynamically adapt their architecture depending on the context. This is made possible by relaxing the logical and temporal constraints (we will talk about quality rather than correctness). We use the timed automata formalism for the design of the agents’ behaviour. This allows evaluating beforehand the properties of the system (regarding logical and temporal quality), thanks to model-checking and simulation techniques. This model is enhanced with tools that we developed for the automatic generation of code, allowing to produce very quickly a running multi-agent prototype with the desired behaviour.


AUTEUR(S)
Guillaume HUTZLER, Hanna KLAUDEL, Dong YUE WANG

MOTS-CLÉS
génie logiciel orienté multi-agent, modèles formels, programmation orientée multi-agent.

KEYWORDS
agent oriented software engineering, formal models, agent oriented programming.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (488 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier