Etude du comportement temporel des applications temps réel à contraintes strictes basée sur une analyse d'ordonnançabilité

Study of temporal behaviour of hard real-time systems based on a schedulability analysis

• Auteur / Autrice : Jean-Philippe Babau
• Direction : Francis Cottet
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1996
• Etablissement(s) : Poitiers

Mots clés

Mots clés contrôlés

Temps réel (informatique)

Logiciels -- Exactitude

Logiciels -- Développement

Logiciels -- Évaluation

Mots clés libres

Sciences appliquees

Résumé

Les applications temps reel a contraintes strictes sont des applications multitaches ou les contraintes temporelles (delais d'execution) doivent etre strictement satisfaites. La methodologie developpee permet la validation de ce type d'applications. L'environnement de conception integre la prise en compte des requetes periodiques et aperiodiques et des schemas de programmes exprimant des cooperations fixes ou variables entre les taches. Apres transformation de ce modele comportemental de l'application en un ensemble de taches sous forme normale associees a un graphe de precedence, la validation est basee sur une analyse d'ordonnancabilite. Cette validation est effectuee sur les comportements realistes de l'application et permet d'evaluer les performances temporelles de l'application. Une optimisation des caracteristiques temporelles est alors possible afin d'ameliorer ses performances