Contribution à la modélisation des systèmes à temps contraint et application au multimédia

L'objectif de cette thèse est de fournir un support, une méthodologie de conception et un modèle théorique qui permettent de représenter une application multimédia, et plus particulièrement, à la fois son comportement, son architecture, la gestion de ses données ainsi que ses aspects temporels.

Les réseaux de Petri sont pris comme modèle de base car ils ont fourni les premiers outils de représentation des aspects temporels et leur support  graphique s'avère  adapté à la modélisation d'architecture.

L'arrivée du temps-réel constituant une nouvelle problématique en informatique distribuée, cette thèse commence par une étude comparative des différents modèles à gestion du temps, à deux niveaux:

• formel, par la création d'une hiérarchie formelle entre RdP temporisés, basée sur un critère de bisimulation temporelle faible ;
• informel, par l'étude des différents paradigmes temporels (chien de garde, urgence, multi-sensibilisation, etc.), de leur liens avec les  modèles, réalisée grâce à une étude critique des différents modèles, nourrie par l'étude formelle.

La seconde partie des travaux consiste, une fois l'aspect temporel étudié, à proposer un nouveau modèle complet pour les applications multimédias et les architectures à temps contraint : les réseaux de Petri à ordre partiel temporisés (TPONet), qui sont des RdP temporisés dont le marquage est un ordre partiel.

Cette caractéristique permet alors de différencier :

• l'architecture de l'application, décrite par la représentation graphique du réseau de Petri sous-jacent,
• la structure des données manipulées, codée dans l'ordre partiel du marquage.