Modélisation des systèmes réactifs : actes de MSR 2007, 17-19 oct. 2007, Lyon

La synergie des disciplines de l'automatique et de l'informatique se
révèle dans notre actualité d'autant plus prépondérante et justifiée
qu'émergent des systèmes pour lesquels les couches physiques et
logicielles sont de plus en plus imbriquées, entraînant une complexité
de mise en oeuvre et de validation croissante.
Les contraintes de performance, de dimensionnement et de criticité
liées aux usages, aux normes et au développement durable posent de
nouvelles problématiques qui ne peuvent plus être résolues
localement. Pour relever ces nouveaux défis, les méthodes et les outils
de la conception et de l'analyse de tels systèmes sont à définir selon
des approches croisées de l'automatique et de l'informatique. La
6<sup>e</sup> édition du colloque francophone Modélisation des Systèmes
Réactifs, «MSR», se place résolument dans ce contexte.