Spécification temporelle modulaire et support pour les applications multimedias reparties

• Auteur / Autrice : Frank Singhoff
• Direction : Isabelle Demeure
• Type : Thèse de doctorat
• Discipline(s) : Sciences et techniques
• Date : Soutenance en 1999
• Etablissement(s) : Paris, ENST

Résumé

Par le passe, les applications informatiques manipulaient essentiellement des données textuelles ou graphiques non animées. Aujourd'hui ces données, que l'on appelle parfois données discrètes, sont mélangées a des données telles que le son ou les images animées. On parle alors d'applications multimédias dans ces nouveaux systèmes, les media tels que le son ou l'image anime sont très souvent désignes sous le terme de flots de données continues. En effet, contrairement aux données discrètes dont les éléments de données sont temporellement indépendants, les éléments de flots de données continues sont lies par des contraintes temporelles. On parle alors de contraintes de qualité de service temporelles (exemples : délai entre l'affichage, etc. ). Si ce type de contrainte n'est pas respecté le flot risque de perdre une part importante de son utilité. Cette thèse traite du support des applications reparties qui mettent en œuvre des flots de données continues. Nous nous intéressons tout particulièrement à leur support dans des environnements non spécifiquement conçus pour de telles applications. Par ailleurs, cette thèse cible les applications multimédias dont le comportement temporel est partiellement prédictible. Dans un premier temps, nous proposons l'utilisation d'un modelé oriente flots de données dans lequel nous spécifions les flots multimédias ainsi que les éléments importants du système. Les contraintes visées sont des contraintes déterministes. Par la suite, nous décrivons des algorithmes qui exploitent ce modèle. Ces algorithmes fournissent principalement des services pour ordonnancer automatiquement les taches du système conformément aux contraintes temporelles spécifiées grâce au modèle. Le modèle ainsi que les algorithmes sont valides par une plate-forme (la plate-forme polka) et plusieurs applications multimédias. Enfin, nous terminons par une ouverture sur l'intégration des contraintes probabilistes.