Le colloque francophone « Modélisation des Systèmes réactifs » (MSR) se situe traditionnellement à la croisée des chemins de l'Automatique et de l'Informatique, dans le cadre de la conception, de la mise en œuvre et de la validation de systèmes pour lesquels les architectures physiques et logicielles sont fortement liées. Ces systèmes doivent répondre à des contraintes toujours plus nombreuses de performance, de sûreté, de coût, etc. La prise en compte de ces contraintes se heurte d'une part à leur nombre, et d'autre part à leur interdépendance. Elle engendre ainsi de nouveaux champs d'investigation à la frontière de l'Automatique et de l'Informatique. Ce sont ces nouvelles problématiques que nous avons souhaité aborder dans cette 7e édition de MSR. Le programme 2009 est structuré en 7 sessions. Sur les 44 soumissions issues de l'appel à communications, 24 articles ont été retenus, marquant la volonté de la communauté de maintenir la qualité de cette manifestation. Le programme scientifique de MSR'09 se compose de la manière suivante : Systèmes synchrones ou polychrones, systèmes embarqués, commande des systèmes à événements discrets, simulation et test, calcul de pire délai de communication, systèmes temporisés, graphes d'évènements temporisés.