Participants : François Baccelli, Alain Jean-Marie, Jörn Migge
Une convention a été mise en place entre l'INRIA et le département CCC de la Direction des Études et Recherches de l'EDF à Chatou. L'objectif de cette convention était l'analyse d'un système temps-réel, composant d'un système complexe de contrôle des centrales électriques. Afin de pouvoir prouver des garanties de temps de réponse pour ce système, une technique de calcul de bornes, déjà appliquée dans le passé, a été enrichie et raffinée. Les résultats encourageants obtenus [54] laissent envisager une extension de la problématique à des systèmes plus grands.