Aide au développement de systèmes temps réel à l'aide d'un langage graphique flots de données / NGO Khanh Hieu  

Titre : Aide au développement de systèmes temps réel à l'aide d'un langage graphique flots de données Type de document : thèse Auteurs : NGO Khanh Hieu ; Francis COTTET, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Frédéric BONIOL, Rapporteur ; Patrick MARTINEAU, Rapporteur ; Isabelle PUAUT, Examinateur ; Pascal RICHARD, Examinateur Importance : 221 p. Note générale : Remerciements Table des matières Introduction générale Bibliographie Annexes Résumé Mots clés Catégories : LabVIEW (langage de programmation) Systèmes embarqués (informatique) Temps réel (informatique) XML (langage de balisage) Index. décimale : TH-08 Résumé : INTRODUCTION Contexte de l'étude Cycle de développement d'un logiciel Le cycle de vie Logiciel/Matériel Support d'exécution pour le temps réel Méthodes de développement d'un logiciel Validation temporelle des systèmes temps réel DARTS : DU CONCEPT AU CODE Utilisation de la méthode DARTS Implémentation DARTS sur LabVIEW Implémentation DARTS sur les langages de programmation impératifs ARCHITECTURE DARTSVIEW Présentation de la palette DARTSVIEW Palette DARTSVIEW et le premier V du cycle de vie en W Palette DARTSVIEW et le second V du cycle de vie en W CAS D'ETUDE Diagramme DARTSVIEW du système de chauffage Génération de code du système de chauffage d'une maison DARSTVIEW vs les modifications de modèle DARTS du système de chauffage CONCLUSION En ligne : http://theses.edel.univ-poitiers.fr/theses/2008/Ngo-Khanh/2008-Ngo-Khanh-These.p [...]

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007982	TH-08 NGO	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Conception d'un outil d'optimisation dynamique du schéma d'exploitation du réseau de distribution d'électricité de SRD / Abdelkrim ALI ZAZOU  

Titre : Conception d'un outil d'optimisation dynamique du schéma d'exploitation du réseau de distribution d'électricité de SRD Type de document : thèse Auteurs : Abdelkrim ALI ZAZOU, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Jean-Paul GAUBERT, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Patrick MARTINEAU, Rapporteur ; Bruno FRANÇOIS, Rapporteur ; Salima BENBERNOU, Examinateur Importance : 165 p. Note générale : NNT 2017ESMA0010 Remerciements Table des matières Annexe Table des figures Liste des tableaux Bibliographie Résumé Mots clés Catégories : Modèles non linéaires (statisque) Reformulation quadratique convexe Réseaux électriques (énergie):Pertes d'énergie Réseaux électriques (énergie):Répartition des charges Réseaux électriques intelligents Résumé : INTRODUCTION GÉNÉRALE Les réseaux électriques Contrôle et supervision des réseaux Enjeux et organisation de la thèse ÉTAT DE L'ART Présentation du chapitre Contexte de la thèse Calculs et optimisations dans les réseaux électriques Discussion Évaluations des contributions de la thèse PROPOSITION D'UN MODÈLE D'OPTIMISATION NON LINÉAIRE Introduction Description du modèle Mise en œuvre et comparaison Conclusion SIMPLIFICATION EN UN MODÈLE CONVEXE ET QUADRATIQUE Introduction Description du modèle Mise en œuvre et comparaison Conclusion CONTRAINTES D'EXPLOITATION Introduction Variation de la charge et de la production Contraintes opérationnelles supplémentaires Mise en œuvre et comparaison Conclusion CONCLUSION ET PERSPECTIVES Conclusion générale Perspectives En ligne : https://tel.archives-ouvertes.fr/tel-03656877

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014309	TH-17 ALI	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-17 ALI	ALI	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Contribution à l'analyse d'ordonnançabilité des applications temps réel multiporcesseurs / Sadouanouan MALO  

Titre : Contribution à l'analyse d'ordonnançabilité des applications temps réel multiporcesseurs Type de document : thèse Auteurs : Sadouanouan MALO, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Guy VIDAL-NAQUET, Rapporteur ; Patrick MARTINEAU, Rapporteur ; Jean-Philippe BABAU, Examinateur ; Dominique GENIET, Examinateur ; Gaëlle LARGETEAU-SKAPIN, Examinateur Année de publication : 2010 Importance : 167 p. Note générale : NNT 2010ESMA0018 Remerciements Table des matières Avant-propos Notations Introduction générale Liste des tableaux Liste des figures Bibliographie Résumé Mots clés Langues : Français (fre) Catégories : Ordonnancement (informatique) Petri, Réseaux de Temps réel (informatique) Résumé : ETAT DE L'ART Ordonnancement multiprocesseur Ordonnancement hors-ligne CONTRIBUTION Etude du problème de la cyclicité des ordonnancements multiprocesseurs Reconfiguration en cas de panne processeur Etude des ordonnancements p-équitables pour les tâches à départs différés et à échéances contraintes Gestion des tâches apériodiques CONCLUSION ET PERSPECTIVES En ligne : http://tel.archives-ouvertes.fr/tel-00554234/fr/

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008578	TH-10 MAL	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-10 MAL	MAL	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Contribution à la gestion de la régularité d'exécution des tâches d'une application temps réel à contraintes strictes, dans un contexte d'ordonnancement en ligne / Laurent DAVID

Titre : Contribution à la gestion de la régularité d'exécution des tâches d'une application temps réel à contraintes strictes, dans un contexte d'ordonnancement en ligne Type de document : thèse Auteurs : Laurent DAVID ; Francis COTTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Claude KAISER, Rapporteur ; Isabelle PUAUT, Rapporteur ; G. JUANOLE, Examinateur ; Nimal NISSANKE, Examinateur ; Patrick MARTINEAU, Examinateur Année de publication : 2002 Importance : 222 p. Note générale : Remerciements Table des matières Notations et abréviations Conclusion générale Références bibliographiques Publications liées à ce mémoire de thèse Langues : Français (fre) Catégories : Logiciels Parallélisme (informatique) Systèmes embarqués (informatique) Temps réel (informatique) Index. décimale : TH-02 Résumé : LE CONTEXTE DE L'ETUDE Définitions - vocabulaire Les contraintes temporelles Modèle de tâche périodique & Odonnancement Définition de la gigue Les définitions connues de la gigue La gigue : critère d'apparition et conséquences Conclusion ETAT-DE-L'ART Approche en ligne Approche hors ligne Modèles de tâches spécifiques Conclusion TECHNIQUE DE TRAITEMENT DE LA GIGUE DANS LES SYSTEMES TEMPS REEL Méthodologie de traitement de la gigue Annulation de la gigue de régularité Encadrement de la gigue de régularité Prise en compte de ressources partagées Application au contrôle d'autres paramètres Conclusion EXPERIMENTATIONS NUMERIQUES Présentation de l'outil de simulations Tests d'efficacité de la méthode Conclusion APPLICATION A L'EXPERIENCE DU PENDULE INVERSE Introduction Modélisation du banc l'application du temps réel de contrôle du pendule L'ordonnancement des tâches Conclusion

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008128	TH-02 DAV	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Contributions à l'ordonnacement et l'analyse des systèmes temps réel critiques / François DORIN  

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és Langues : 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 CONCLUSION En 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

Contributions à des problèmes d'ordonnancement en-ligne : l'ordonnancement temps réel de tâches à suspension et l'ordonnancement par une machine à traitement par lot / Frédéric RIDOUARD

Titre : Contributions à des problèmes d'ordonnancement en-ligne : l'ordonnancement temps réel de tâches à suspension et l'ordonnancement par une machine à traitement par lot Type de document : thèse Auteurs : Frédéric RIDOUARD ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Marie-Claude PORTMANN, Rapporteur ; Yvon TRINQUET, Rapporteur ; Patrick MARTINEAU, Examinateur ; Joël GOOSSENS, Examinateur ; Francis COTTET, Examinateur ; Pascal RICHARD, Examinateur Importance : 240 p. Note générale : Remerciements Table des matières Introduction Annexes Bibliographie Index Catégories : Algorithmes Algorithmes:Informatique Informatique Index. décimale : TH-06 Résumé : PROBLEMATIQUE Théorie de l'ordonnancement Ordonnancement classique et ordonnancement temps réel Problèmes d'ordonnancement Algorithmes hors-ligne/en ligne Ordonnancement en-ligne : simulation/analyse de compétitivité Bibliographie ORDONNANCEMENT DES TACHES A SUSPENSION Introduction sur les tâches à suspension Les systèmes temps réel Architecture logicielle des systèmes temps réel Ordonnancement temps réel Le problème étudié : ordonnancement de tâches à suspension Plan de la partie ORDONNANCEMENT TEMPS REEL MONOPROCESSEUR Définitions générales Principaux algorithmes d'ordonnancement préemptif en-ligne Extension de l'ordonnancement Introduction aux tests d'ordonnançabilité Analyse du facteur d'utilisation Analyse du temps de réponse Analyse de la demande processeur Complexité des problèmes d'ordonnançabilité Conclusion ORDONNANCEMENT DES TACHES A SUSPENSION : ETAT DE L'ART Introduction Test d'ordonnançabilité DIFFICULTES DE L'ORDONNANCEMENT DE TACHES A SUSPENSION Complexité Anomalies d'ordonnancement Optimalité des algorithmes en-ligne COMPETITIVITE DES ALGORITHMES CLASSIQUES D'ORDONNANCEMENT Minimisation du nombre de tâches en retard Minimisation du temps de réponse maximum ANALYSE DES TESTS D'ORDONNANCABILITE POUR LES SYSTEMES A PRIORITE FIXE Calcul exact du pire temps de réponse sousRM Caractéristiques des configurations générées Bornes inférieures du ratio de compétitivité Incomparabilité des tests de faisabilité Etude par la simulation CONCLUSION SUR LES TACHES A SUSPENSION ORDONNANCEMENT PAR UNE MACHINE A TRAITEMENT PAR LOT Introduction sur les machines à traitement par lot Ordonnancement de machines à traitement par lot : Etat de l'art Algotithmes d'ordonnancement pour les machines à traitement par lot Conclusion sur les machines à traitement par lot

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007220	TH-06 RID	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Des priorités fixes aux priorités dynamiques en ordonnancement temps-réel : Etude comparative et calcul des priorités / Bernard CHAUVIERE

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és Caté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éponse

Exemplaires (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

---

1 (1 - 7 / 7) Par page : 25 50 100 200