Systèmes répartis adaptatifs à contraintes de temps

Nous nous intéressons dans ce chapitre à la conception et au prototypage rapide de systèmes répartis adaptatifs à contraintes temporelles, c'est-à-dire adaptant dynamiquement leur architecture en fonction du contexte et du temps. Pour représenter le comportement des modules 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, grâce à des techniques de model-checking et de simulation. Nous montrons ensuite comment produire rapidement, à partir du modèle, un prototype opérationnel qui satisfait les mêmes propriétés. Nous modélisons entièrement un système particulier dans le cadre d'une étude de cas, en montrant comment l'utilisation des méthodes formelles permettait à la fois de garantir le respect de certaines propriétés, d'évaluer a priori la pertinence de stratégies adaptatives, et de guider la génération automatique du code