Détail de l'auteur
Auteur Frank SINGHOFF |
Documents disponibles écrits par cet auteur (3)
Faire une suggestion Affiner la rechercheCadre fondé sur les modèles pour une utilisation avancée de la théorie de l'ordonnancement dans la conception des systèmes temps réel / Yassine OUHAMMOU
Titre : Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l'ordonnancement dans la conception des systèmes temps réel Type de document : thèse Auteurs : Yassine OUHAMMOU, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Pascal RICHARD, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Marco DI NATALE, Rapporteur ; Frank SINGHOFF, Rapporteur ; Yves SOREL, Rapporteur ; Jérôme HUGUES, Examinateur Importance : 214 p. Note générale : NNT 2013ESMA0029
Remerciements
Contents
Appendices
Bibliography
Abstract
Key wordsCatégories : Ingénierie dirigée par les modèles
Modèles mathématiques
Ordonnancement (informatique)
Systèmes embarqués (informatique)
Systèmes, Conception de
Temps réel (informatique)Résumé : Introduction
RESEARCH FOUNDATIONS
Real-time systems : generalities and definitions
Real-time scheduling
Technological background
CONTRIBUTIONS
Synthesis and work orientation
MoSaRT design language
MoSaRT analysis repository
MoSaRT framework
CONCLUSION AND PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00954468 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010379 TH-13 OUH Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-13 OUH OUH Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
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
IndexLangues : 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
PerspectivesEn ligne : http://tel.archives-ouvertes.fr/tel-00684788 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00009301 TH-12 FOT Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-12 FOT FOT Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Mise en oeuvre applicative de séquences d'ordonnancement hors-ligne Type de document : thèse Auteurs : Moustapha BIKIENGA, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Dominique GENIET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Auteur ; Maryline CHETTO, Rapporteur ; Frank SINGHOFF, Rapporteur ; Gaëlle LARGETEAU-SKAPIN, Examinateur ; Yamine AIT AMEUR, Examinateur Importance : 180 p. Note générale : NNT 2014ESMA0011
Remerciements
Table des matières
Introduction générale
Annexes
Notations
Acronymes
Bibliographie
Résumé
Mots clésCatégories : Ingénierie dirigée par les modèles
Ordonnancement (informatique)
POSIX (norme)
Temps réel (informatique)Résumé : ETAT DE L'ART
Systèmes temps réel
Systèmes d'exploitation temps réel
Applications temps réel
Ordonnacement
Mise en oeuvre applicative d'ordonnancement hors-ligne
Conclusion
CONTEXTE, METHODOLOGIE ET MODELISATION
Problématique
Hypothèses de base
Méthodologie
Politiques de mise en oeuvre de séquences d'ordonnancement hors-ligne
Démarche
Modèle de coûts des mises en oeuvre
Conclusion
ALGORITHMES DE MISE EN OEUVRE
Mise en oeuvre d'ordonnancement sans préemption
Mise en oeuvre d'ordonnancement avec préemption
Prise en compte des ressources critiques et des contraintes de précédence
Conclusion
MISE EN OEUVRE POSIX
Mise en oeuvre POSIX
Automatisation de mise en oeuvre POSIX
Mise en oeuvre POSIX sur Xenomai
Observation et analyse de scénarios d'exécution
Conclusion
ETUDE DE CAS : APPLICATION DE GESTION DE MINE SOUTERRAINE
Description du cas pratique : gestion de la sécurité d'une mine
Mise en oeuvre du scénario d'exécution
Conclusion
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01080218 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010733 TH-14 BIK Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 BIK BIK Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
