| Titre : |
Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel |
| Type de document : |
thèse |
| Auteurs : |
Christian FOTSING TAKOUTSI, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Guy VIDAL-NAQUET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Franck POMMEREAU, Rapporteur ; Frank SINGHOFF, Rapporteur ; Emmanuel GROLLEAU, Examinateur ; Christophe AUSSAGUES, Examinateur |
| Année de publication : |
2012 |
| Importance : |
226 p. |
| Note générale : |
NNT 2012ESMA0003
Remerciements
Table des matières
Table des figures
Annexe
Bibliographie liée à la thèse
Bibliographie
Index |
| Langues : |
Français (fre) |
| Catégories : |
Logiciels:Validation
Méthodes formelles (informatique)
Ordonnancement (informatique)
Petri, Réseaux de
Simulation, Méthodes de
Temps réel (informatique)
|
| Résumé : |
INTRODUCTION GENERALE
Les systèmes temps-réel
La problématique
Objectifs et intérêts du travail
Contribution : méthodologie globale
Plan et contenu de la présentation
ETAT DE L'ART
Synthèse de quelques travaux connexes
Validation par les réseaux de Pétri
CONTRIBUTION
Modélisation d'une tâche
Modélisation de l'application
Les arbres d’ordonnancement
Ordonnancement linéaire versus ordonnancement arborescent
Mise en œuvre avec les réseaux de Pétri
CONCLUSTION GENERALE
Conclusion
Perspectives |
| En ligne : |
http://tel.archives-ouvertes.fr/tel-00684788 |
Faire une suggestion Affiner la rechercheIntégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel
