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é.