Résumé : La conception de Systèmes réactifs répond à des impératifs de correction logique (le Systèmes fait ce qu’il doit) et de correction temporelle (le Systèmes se conforme à un ensemble de contraintes temporelles). Nous proposons dans cet article une approche globale de conception de Systèmes réactifs adaptatifs, c’est-à-dire adaptant dynamiquement leur architecture en fonction du contexte. Pour représenter le comportement des agents composant le Systèmes, nous utilisons le formalisme des automates temporisés, ce qui permet d’évaluer a priori les propriétés du Systèmes (en termes de correction 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 satisfait les mêmes propriétés.