Détail de l'auteur
Auteur Ye-Qiong SONG |
Documents disponibles écrits par cet auteur (4)
Faire une suggestion Affiner la rechercheAnalyse et validation des applications temps réel en présence de transactions : application au pilotage d'un drone miniature / Karim TRAORE
Titre : Analyse et validation des applications temps réel en présence de transactions : application au pilotage d'un drone miniature Type de document : thèse Auteurs : Karim TRAORE ; Francis COTTET, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Yvon TRINQUET, Rapporteur ; Francis COTTET, Examinateur ; Emmanuel GROLLEAU, Examinateur ; Nicolas NAVET, Examinateur ; Isabelle PUAUT, Examinateur ; Pascal RICHARD, Examinateur Importance : 273 p. Note générale : NNT 2007POIT2261
Remerciements
Table des matières
Introduction généraleCatégories : Informatique
Temps réel (informatique)Index. décimale : TH-07 Résumé : ETAT DE L'ART
SYSTEMES TEMPS REEL
Présentation succinte de l'application drone miniature
Généralités sur le temps réel
Approche synchrone et approche asynchrone
La notion de tâche
Exécutif temps réel
Normalisation des exécutifs temps réel
Ordonnancement en-ligne de systèmes temps réel
Validation de systèmes temps réel par analyse de la période d'activité
LES MODELES DE TACHES PRENANT EN COMPTE LES DECALAGES D'ACTIVATIONS
Le modèles de tâches multiframes
Le modèle de tâches à offsets
CONTRIBUTION
CONTRIBUTION A L'ORDONNANCEMENT DE TZCHS PRENANT EN COMPTE LE DECALAGE
Transactions séries
Les transactions monotoniques
Multiframes et tâches à offsets
Récapitulatifs
PARTIE PRATIQUE : APPLICATION DRONE MINIATURE
Présentation du projet
Description expérimentale
Fonctionnement général de l'application
Définition de l'architecture logicielle de l'application
Développement sur OSEK/VDXExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007230 TH-07 TRA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : Contributions à l'ordonnacement et l'analyse des systèmes temps réel critiques Type de document : thèse Auteurs : François DORIN, Auteur ; Pascal RICHARD, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Patrick MARTINEAU, Rapporteur ; Yvon TRINQUET, Examinateur Année de publication : 2010 Importance : 154 p. Note générale : NNT 2010ESMA0012
Table des matières
Table des figures
Liste des tableaux
Introduction générale
Annexes
Index
Bibliographie
Résumé
Mots clésLangues : Français (fre) Catégories : Ordonnancement (informatique)
Temps réel (informatique)Résumé : ETAT DE L'ART
Introduction
Validation des systèmes temps réel
CONTRIBUTIONS
Algorithme d'optimisation du nombre de processeurs dans une architecture distribuée
Modèle à criticité multiple
Ordonnancement semi-partitionné avec migrations restreintes
CONCLUSIONEn ligne : http://tel.archives-ouvertes.fr/tel-00554806/fr/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00008589 TH-10 DOR Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-10 DOR DOR Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt 
Titre : Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF Type de document : thèse Auteurs : Ahmed RAHNI ; Pascal RICHARD, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Maryline CHETTO, Rapporteur ; Yvon TRINQUET, Examinateur ; Francis COTTET, Examinateur ; Joël GOOSSENS, Examinateur Importance : 196 p. Note générale : NNT 2008POIT2307
Table des matières
Table des figures
Liste des tableaux
Annexes
Bibliographie
Résumé
Mots clésCatégories : Ordonnancement (informatique)
Temps réel (informatique)Index. décimale : TH-08 Résumé : ETAT DE L'ART
Systèmes temps réel et ordonnancement
Analyse d'ordonnançabilité des tâches avec décalage d'activation (à offsets)
CONTRIBUTIONS
Analyse mixte du pire temps de réponse des tâches à offsets en priorités fixes
Identification des instants critiques pire cas, en priorités fixes
Analyse d'ordonnançabilité des transactions avec priorités dynamiques EDF153
En ligne : http://tel.archives-ouvertes.fr/tel-00368101/fr/ Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007950 TH-08 RAH Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : Des priorités fixes aux priorités dynamiques en ordonnancement temps-réel : Etude comparative et calcul des priorités Type de document : thèse Auteurs : Bernard CHAUVIERE ; Dominique GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Patrick MARTINEAU, Rapporteur ; René SCHOTT, Examinateur ; Joël GOOSSENS, Examinateur ; Annie CHOQUET-GENIET, Examinateur Importance : 190 p. Note générale : Remerciements
Table des matières
Introduction générale
Conclusion générale
Publications
Notations
Bibliogrpahie
Résumé
Mots clésCatégories : Markov, Processus de
Multiprocesseurs
Ordonnancement (informatique)
Qualité de service (télécommunications)
Temps réel (informatique)Index. décimale : TH-07 Résumé : CONTEXTE DE L'ETUDE ET ETAT DE L'ART
Systèmes temps-réel
Politiques d'ordonnancement
CONTRIBUTIONS AU PROBLEME DE LA CYCLICITE
Préambule
Cyclicité des ordonnancements de tâches périodiques
Durée de montée en charge en priorités fixes
Intervalle d'étude pour les méthodes hors-ligne
CONTRIBUTIONS A LA PRODUCTION DE SOLUTIONS D'ORDONNANCEMENT
Production des configurations de priorités fixes valides
Configurations de priorités fixes par instances
Systèmes de tâches avec relations de précédence
CONTRIBUTIONS AU DIAGNOSTIC DES SYTEMES TEMPS-REEL
Modélisation par les chaînes de Markov
Algorithme de calcul
Etude des temps de réponseExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007638 TH-07 CHA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
