Accéder directement au contenu Accéder directement à la navigation
Thèse

Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF

Résumé : Un système temps réel critique nécessite une validation temporelle utilisant un test d'ordonnançabilité avant sa mise en œuvre. Cette thèse traite le problème d'ordonnancement des taches à offset (transactions) sur une architecture monoprocesseur, en priorités fixes et en priorités dynamiques. Les méthodes existantes pour un test exact ont une complexité exponentielle et seules existent des méthodes approchées, donc pessimistes, qui sont pseudo-polynomiales. En priorités fixes nous proposons des méthodes pseudo-polynomiales, basées sur l'analyse de temps de réponse qui sont moins pessimistes que les méthodes existantes. Nous présentons quelques propriétés (accumulativité monotonique, dominance de tâches) rendant exacte les méthodes d'analyse approchées pour certains cas de systèmes, et optimisant le temps de calcul. En priorités dynamiques, nous proposons un test d'ordonnançabilité exact avec une complexité pseudo-polynomiale. Ce test est basé sur l'analyse de la demande processeur. Les qualités des résultats de nos méthodes sont confirmées par des évaluations expérimentales.
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00368101
Contributeur : Ahmed Rahni Connectez-vous pour contacter le contributeur
Soumis le : vendredi 13 mars 2009 - 15:41:24
Dernière modification le : mercredi 20 octobre 2021 - 03:22:09
Archivage à long terme le : : mardi 8 juin 2010 - 19:38:40

Identifiants

  • HAL Id : tel-00368101, version 1

Collections

Citation

Ahmed Rahni. Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF. Réseaux et télécommunications [cs.NI]. Université de Poitiers, 2008. Français. ⟨tel-00368101⟩

Partager

Métriques

Consultations de la notice

456

Téléchargements de fichiers

2290