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

Aide à la validation temporelle et au dimensionnement de systèmes temps réel dans une démarche dirigée par les modèles / Thanh Dat NGUYEN  

Titre : Aide à la validation temporelle et au dimensionnement de systèmes temps réel dans une démarche dirigée par les modèles Type de document : thèse Auteurs : Thanh Dat NGUYEN, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Olivier H. ROUX, Rapporteur ; Chokri MRHAIDA, Rapporteur ; Annie CHOQUET-GENIET, Examinateur ; Nicolas NAVET, Examinateur ; Laurent RIOUX, Examinateur Année de publication : 2020 Importance : 142 p. Note générale : NNT 2020ESMA0007 Remerciements Table des matières Liste des figures Liste des tableaux Introduction générale Bibliographie Résumé Mots clés Catégories : AADL (informatique) Analyse temporelle Ingénierie dirigée par les modèles Ordonnancement (informatique) Systèmes embarqués (informatique) Systèmes, Analyse de Systèmes, Conception de Temps réel (informatique) Résumé : SYSTÈMES EMBARQUÉS TEMPS RÉEL Introduction Structure des systèmes temps réel Caractéristiques des test d'ordonnançabilité Ingénierie dirigée par les modèles Langages dédiés aux systèmes temps réel Conclusion FOCUS SUR L'ANALYSE D'ORDONNANÇABILITÉ Introduction Ordonnancement monoprocesseur Ordonnancement multi-processeur Ordonnancement distribué (réparti) Outils d'analyse Discussion Conclusion CONTRAINTES DE PRÉCÉDENCE À BASE DE SÉMAPHORE POUR UNE COMMUNICATION MULTI-PÉRIODIQUE DÉTERMINISTE Introduction Modèles de représentation de contraintes de précédence Renforcement de la sémantique des SPC Politique d'ordonnancement et analyse d'ordonnançabilité Implémentation de SPC en AADL Étude de cas Outillage Conclusion TEST EXACT D'ORDONNANÇABILITÉ DE TÂCHES DÉPENDANTES SOUS G-FP Introduction Exemple motivationnel Analyse exacte de temps de réponse sous ordonnanceur FP sur plateforme monoprocesseur Analyse exacte de temps de réponse sous ordonnanceur FP sur plateforme multi-processeur identique Vérification temporelle Conclusion VERS UN RÉFÉRENTIEL D'ANALYSE GÉNÉRIQUE Introduction Travaux connexes : méthodes d'aide à la conception Positionnement Identification Rule Language (IRL) Le référentiel d'analyse générique Transformation et adaptation Conclusion CONCLUSION ET PERSPECTIVES Conclusion Perspectives En ligne : https://tel.archives-ouvertes.fr/tel-03079085

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-20 NGUt	NGU	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Analyse 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érale Caté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/VDX

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

Approximation des temps de réponse des tâches sporadiques à priorité fixe dans les systèmes monoprocesseurs / Thi Huyen Chau NGUYEN  

Titre : Approximation des temps de réponse des tâches sporadiques à priorité fixe dans les systèmes monoprocesseurs Type de document : thèse Auteurs : Thi Huyen Chau NGUYEN, Auteur ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Maryline CHETTO, Rapporteur ; Laurent GEORGE, Rapporteur ; Joël GOOSSENS, Examinateur ; Emmanuel GROLLEAU, Examinateur ; Isabelle PUAUT, Examinateur Année de publication : 2010 Importance : 108 p. Note générale : NNT 2010ESMA0014 Remerciements Table des matières Bibliographie Résumé Mots clés Langues : Français (fre) Catégories : Ordonnancement (informatique) Temps réel (informatique) Résumé : INTRODUCTION Définition générale Notations liées aux tâches et à l'ordonnancement Objectifs de l'étude Organisation du mémoire et contributions ORDONNACEMENT A PRIORITE FIXE Tests d'ordonnançabilité Principaux tests d'ordonnançabilité Principales bornes de temps de réponse CONTINUITE ET ORDONNANCABILITE Borne de Sjödin et Hansson Borne de Bini et Baruah Analyse Expérimentations TACHES A ECHEANCES CONTRAINTES AVEC GIGUES D'ACTIVATION Définitions Bornes des pires temps de réponse Analyse pire cas des bornes d'erreur Expérimentations numériques TACHES A ECHEANCES ARBITRAIRES Modèle de tâches et résultats connus Analyse du schéma d'approximation de Fischer et Baruah Version révisée de l'algorithme de Fischer et Baruah Correction du schéma d'approximation CONCLUSION En ligne : http://tel.archives-ouvertes.fr/tel-00554265/fr/

Exemplaires (2)

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

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 / 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 words Caté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 PERSPECTIVES En 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

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 FRANCOIS, 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

Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle / Anh Toan BUI LONG  

Titre : Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle Type de document : thèse Auteurs : Anh Toan BUI LONG, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Yamine AIT AMEUR, Examinateur ; Christian ATTIOGBE, Rapporteur ; Jérôme HUGUES, Rapporteur ; Liliana CUCU-GROSJEAN, Examinateur Importance : 146 p. Note générale : NNT 2018ESMA0020 Remerciements Table des matières Liste des figures Liste des tableaux Introduction générale Bibliographie Liste des acronymes Liste des symboles Résumé Mots clés Catégories : Analyse temporelle Ingénierie dirigée par les modèles Modélisation des données (informatique) Ordonnancement dynamique Systèmes à paramètres répartis Systèmes, Analyse de Systèmes, Conception de Temps réel (informatique) Tolérance aux fautes (informatique) Résumé : ÉTAT DE L'ART Ordonnancement temps-réel Conception dirigée par les modèles des systèmes temps réel CONTRIBUTIONS Adaptation conservative des cas pratiques à l'analyse Les réseaux dans les analyses temps réel Extraction conservative et patrons de modèles d'analyses CONCLUSIONS Conclusions et perspectives En ligne : https://tel.archives-ouvertes.fr/tel-02080119

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-18 BUI	BUI	Numérique	Thèses ISAE-ENSMA en ligne	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 à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF / Ahmed RAHNI  

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

Un environnement unifié pour le développement sur puce à coeurs asymétriques / Roy JAMIL  

Titre : Un environnement unifié pour le développement sur puce à coeurs asymétriques Type de document : thèse Auteurs : Roy JAMIL, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Liliana CUCU-GROSJEAN, Rapporteur ; Philippe BABAU, Rapporteur ; Nicolas NAVET, Examinateur ; Antoine BERTOUT, Examinateur Importance : 180 p. Note générale : NNT 2022ESMA0003 Remerciements Table des matières Liste des figures Bibliographie Résumé Mots clés Catégories : Multiprocesseurs Ordonnancement (informatique) Systèmes embarqués (informatique) Systèmes sur puce Temps réel (informatique) Résumé : LES SYSTÈMES MULTICŒURS ASYMÉTRIQUES Introduction Systèmes embarqués Systèmes temps réel Multiprocesseurs asymétriques Les avantages des systèmes multiprocesseurs asymétriques Les défis de l'environnement de développement AMP Besoin industriel Les apports de la thèse Organisation de la thèse Publications scientifiques ARCHITECTURES OPÉRATIONNELLES DES SYSTÈMES EMBARQUÉS TEMPS RÉEL Introduction Architectures opérationnelles des systèmes embarqués Stratégies d’ordonnancement Systèmes d'exploitation ciblés Conclusion ARCHITECTURE DES PROCESSEURS HÉTÉRAOGÈNES Introduction Pipeline Mémoire virtuelle Mémoire cache Interruptions Bus et périphériques sur puce Architecture ARM ARM big.LITTLE Systèmes asymétrique hétérogène Communication inter-processeurs Développement sur des processeurs ARM Débogage Firmware Conclusion MESURE DE DURÉE D'EXÉCUTION Introduction Pire durée d'exécution Méthodes d'analyse de WCET Caractéristiques des techniques de mesure Méthodes de mesure sur un cœur Comparaison expérimentale Mesure expérimentale de durée d'exécution sur un système multicœur SMP Contribution industrielle Conclusion MESURE DE DURÉE D'EXÉCUTION ET MIGRATION SUR LES SYSTÈMES AMP Introduction Application AMP Mesure de durée d'exécution sur les systèmes AMP Méthodes de mesure Migration hétérogène Étude de cas ROSACE Discussion et perspective Conclusion ENVIRONNEMENT DE DÉVELOPPEMENT UNIFIÉ Introduction SW4Linux Outils de développement des microcontrôleurs Environnement de développement unifié Conclusion CONCLUSION ET PERSPECTIVES Aperçu de la thèse Mesure de durée d'exécution Application AMP Environnement de développement unifié Fiabilisation des mesures et analyses de durées En ligne : https://tel.archives-ouvertes.fr/tel-03662259

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-22 JAM	JAM	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Estimation et prédiction des productions d’énergies renouvelables et des consommations d’un réseau de distribution d’électricité / Mohamed TRIBAK  

Titre : Estimation et prédiction des productions d’énergies renouvelables et des consommations d’un réseau de distribution d’électricité Type de document : thèse Auteurs : Mohamed TRIBAK, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Brice CHARDIN, Directeur de thèse ; Thierry POINOT, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Sadok BEN YAHIA, Rapporteur ; Marie-Jeanne LESOT, Rapporteur ; Thomas DEVOGELE, Examinateur Année de publication : 2021 Importance : 166 p. Note générale : NNT 2021ESMA0012 Remerciements Résumé Abstract Table des matières Introduction générale Table des figures Liste des tableaux Bibliographie Annexes Résumé Mots clés Catégories : Apprentissage automatique Electricité:Production:Prévision Réseaux électriques intelligents Séries chronologiques Résumé : CONTEXTE GÉNÉRAL DE LA THÈSE Introduction du chapitre Réseau électrique français Contexte et enjeux de la thèse DONNÉES ET GÉNÉRALITÉS Introduction du chapitre Éléments de vocabulaire Données Prétraitement de données Qualité de données Conclusion du chapitre CONSOMMATION ÉLECTRIQUE DU RÉSEAU SRD Introduction du chapitre Objectif détaillé Généralités Données et expérimentation Résultats Conclusion du chapitre ESTIMATION DE LA PRODUCTION PV Introduction du chapitre Objectif détaillé Généralités Données et expérimentation Résultats Conclusion du chapitre PRÉVISION DE LA PRODUCTION PV Introduction du chapitre Objectif détaillé État de l'art Méthodologie de prévision Données et modélisation Résultats Conclusion du chapitre CONCLUSION GÉNÉRALE ET PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-03477632

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-21 TRI	TRI	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel / Christian FOTSING TAKOUTSI  

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

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

Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre / Emmanuel GROLLEAU

Titre : Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre Type de document : texte imprimé Auteurs : Emmanuel GROLLEAU, Auteur ; Jérôme HUGUES, Auteur ; Yassine OUHAMMOU, Auteur ; Henri BAUER, Auteur Editeur : Dunod Année de publication : 2018 Collection : Sciences sup Importance : 325 p. ISBN/ISSN/EAN : 978-2-10-077842-3 Note générale : Avant-propos Table des matières Préface Index Catégories : Commande en temps réel Systèmes embarqués (informatique) Temps réel (informatique) Index. décimale : 004.33 Temps réel Résumé : INTRODUCTION À LA CONCEPTION PAR L'EXEMPLE Présentation du système exemple Programmation séquentielle Utilisation des interruptions matérielles Exécution cyclique Programmation multitâche LES CONCEPTS PRÉSENTÉS À TRAVERS UNE ÉTUDE DE CAS DÉTAILLÉE Spécification fonctionnelle Conception multitâche par la méthode des rythmes Impacts d'un changement de spécification et tolérance aux fautes Implémentation POSIX avec simulateur Génération automatique de code depuis AADL validation temporelle du systèmes De la conception des systèmes à la conception des modèles : une utilisation avancée des modèles

Exemplaires (5)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014416	004.33 GRO	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00014405	004.33 GRO	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00014410	004.33 GRO	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00014685	004.33 GRO	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00014686	004.33 GRO	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Ordonnancement temps réel hors-ligne optimal à l'aide de réseaux Petri en environnement monoprocesseur et multiprocesseur / Emmanuel GROLLEAU

Titre : Ordonnancement temps réel hors-ligne optimal à l'aide de réseaux Petri en environnement monoprocesseur et multiprocesseur Type de document : thèse Auteurs : Emmanuel GROLLEAU ; Francis COTTET, Directeur de thèse ; Annie CHOQUET-GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; G. JUANOLE, Rapporteur ; Guy VIDAL-NAQUET, Rapporteur ; P. ESTRAILLIER, Examinateur ; Annie CHOQUET-GENIET, Examinateur ; Francis COTTET, Examinateur ; A.-M. DEPLANCHE, Examinateur Importance : 233 p. Note générale : Remerciements Sommaire Bibliographie Bibliographie liée à l'étude Annexes Index des figures Catégories : Informatique Petri, Réseaux de Temps réel (informatique) Index. décimale : TH-99 Résumé : SYSTEMES TEMPS REEL ET ORDONNANCEMENT Introduction au temps réel L'ordonnancement des systèmes de tâches temps réel EXTENSIONS DES RESEAUX DE PETRI Réseau de Pétri autonomes ETUDE DE LA CYCLICITE DES ORDONNANCEMENTS DE TÂCHES PERIODIQUES Etude des temps creux acycliques Cas des systèmes de tâches indépendantes Cas des systèmes de tâches quelconques ETUDE DE SYTEMES TEMPS REEL A L'AIDE DE RESEAUX DE PETRI : CAS MONOPROCESSEUR Modélisation Etude Complexité et taille du graphe d'accessibilité Obtention des séquences d'ordonnancement valides ETUDE DE SYSTEMES TEMPS REEL A L'AIDE DE RESEAUX PETRI : CAS MULTIPROCESSEUR Hypothèses matérielles Modélisation Etude APPLICATION DE L'ETUDE Présentation de PeNSMARTS Etude de cas

Exemplaires (1)

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

Revisiting Data Partitioning for Scalable RDF Graph Processing / Jorge Armando GALICIA AUYÓN  

Titre : Revisiting Data Partitioning for Scalable RDF Graph Processing Titre original : Revisiter le partitionnement des données pour le traitement scalable des graphes RDF Type de document : thèse Auteurs : Jorge Armando GALICIA AUYÓN, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Amin MESMOUDI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Yannis MANALOPOULOS, Rapporteur ; Farouk TOUMANI, Rapporteur ; Emmanuel GROLLEAU, Examinateur ; Genoveva VARGAS-SOLAR, Examinateur ; Carlos ORDONEZ, Examinateur ; Patrick VALDURIEZ, Examinateur Importance : 204 p. Note générale : NNT 2021ESMA0001 Acknowledgements Table of Contents Introduction Résumé References Appendices List of Figures List of Tables Résumé Mots clés Catégories : Bases de données:Conception Bases de données:Gestion Partitionnement de graphes Resource Description Framework (informatique) SPARQL (langage de programmation) Structure logique Systèmes experts (informatique) Théorie des graphes Résumé : DATA PARTITIONING FOUNDATIONS Introduction Data Partitioning Fundamentals Partitioning Dimensions Partitioning Approaches Partitioning in Large-Scale Platforms Conclusion GRAPH DATA: REPRESENTATION AND PROCESSING Introduction Graph Database Models Resource Description Framework Conclusion LOGICAL RDF PARTITIONING Introduction RDF Partitioning Design Process Graph Fragments From Logical Fragments to Physical Structures allocation Problem RDF Partitioning Example Dealing with Large Fragments Conclusion RDF PartSuite IN ACTION Introduction RDF_QDAG Loading Costs Evaluation of the Fragment Strategies Evaluation of the Allocation Strategies Partitioning Language RDF Partitioning Advisor Conclusion CONCLUSIONS AND PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-03167657

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-21 GAL	GAL	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Robustesse des applications temps-réel multicoeurs : techniques de construction d'un ordonnancement équitable tolérant aux pannes matérielles / Yves Marcellin MOUAFO TCHINDA  

Titre : Robustesse des applications temps-réel multicoeurs : techniques de construction d'un ordonnancement équitable tolérant aux pannes matérielles Type de document : thèse Auteurs : Yves Marcellin MOUAFO TCHINDA, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Gaëlle LARGETEAU-SKAPIN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Maryline CHETTO, Rapporteur ; Claire PAGETTI, Rapporteur ; Julien FORGET, Examinateur ; Emmanuel GROLLEAU, Examinateur Importance : 203 p. Note générale : NNT 2017ESMA0015 Dédicace Remerciements Table des matières Introduction générale Annexes Table des figures Liste des tableaux Bibliographie Résumé Mots clés Catégories : Analyse Pire Cas Commande de processus Microprocesseurs multi-coeurs Systèmes embarqués (informatique) Systèmes informatiques:Pannes Temps réel (informatique) Tolérance aux fautes (informatique) Résumé : ETAT DE L'ART L'ordonnacement équitable Tolérance aux pannes des systèmes temps-réel Systèmes à criticités multiples et changements de mode CONTRIBUTIONS Ordonnancement sans reprise Ordonnancement avec reprise Possibilités d'extension CONCLUSION ET PERSPECTIVES Conclusion générale Perspectives En ligne : https://tel.archives-ouvertes.fr/tel-01685276

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-17 MOU	MOU	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Systèmes temps réel de contrôle-commande : Conception et implémentation / Francis COTTET

Titre : Systèmes temps réel de contrôle-commande : Conception et implémentation Type de document : texte imprimé Auteurs : Francis COTTET ; Emmanuel GROLLEAU Editeur : Dunod Année de publication : 2005 Collection : Technique et ingénierie. Série EEA Importance : 559 p. ISBN/ISSN/EAN : 978-2-10-007893-6 Note générale : Table des matières Avant-propos Introduction Bibliographie Lexique anglais-français Sigles Index Langage informatique Catégories : Commande automatique Industrie Industrie:Informatique Informatique Procédés de fabrication Programmation Temps réel (informatique) Index. décimale : 004.33 Temps réel Résumé : Développement des sytèmes de contrôle-commande Spécification selon la méthode SA-RT Conception selon la méthode DARTS Architectures systèmes Exécutifs temps réel Programmation des systèmes multitâches Traitement complet d'une application industrielle Etude avancée des systèmes temps réel

Exemplaires (5)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00005452	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00005458	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00005464	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00005470	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00005405	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Systèmes temps réel embarqués : Spécification, conception, implémentation et validation temporelle / Francis COTTET

Titre : Systèmes temps réel embarqués : Spécification, conception, implémentation et validation temporelle Type de document : texte imprimé Auteurs : Francis COTTET, Auteur ; Emmanuel GROLLEAU, Auteur ; Sébastien GERARD, Auteur ; Jérôme HUGUES ; Yassine OUHAMMOU ; Sara TUCCI-PIERGIOVANNI Mention d'édition : 2e édition Editeur : Dunod Année de publication : 2014 Importance : 626 p. ISBN/ISSN/EAN : 978-2-10-071331-8 Note générale : Table des matières Avant-propos Annexes Index Catégories : Commande automatique Commande en temps réel Systèmes embarqués (informatique) Temps réel (informatique) Index. décimale : 004.33 Temps réel Résumé : Le développement des systèmes embarqués La spécification fonctionnelle La conception à l'aide d'AADL Architectures matérielles et système d'exploitation Les exécutifs temps réel Programmation des systèmes multitâches Traitement complet d'une application industrielle Etude avancée des systèmes informatiques multitâches et temps réel

Exemplaires (8)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010926	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010937	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010931	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010932	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010925	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010936	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 08/01/2024
B00010942	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010930	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 15/09/2025

Towards a Safe and Modular Architecture for Autonomous Drone Autopilots / Matheus LADEIRA BOECHAT LEMOS  

Titre : Towards a Safe and Modular Architecture for Autonomous Drone Autopilots Titre original : Vers une conception modulaire et sûre des autopilotes des drones autonomes Type de document : thèse Auteurs : Matheus LADEIRA BOECHAT LEMOS, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Sanjoy BARUAH, Rapporteur ; Chokri MRAIDHA, Rapporteur ; Joël GOOSSENS, Examinateur ; Liliana CUCU-GROSJEAN, Examinateur Importance : 167 p. Note générale : NNT 2023ESMA0011 Acknowledgements Contents List of Figures List of Tables Table of Acronyms Appendices Bibliography Abstract Keywords Catégories : Drones Fiabilité Ingénierie dirigée par les modèles ROS (système d 'exploitation des ordinateurs) Systèmes embarqués (informatique) Temps réel (informatique) Résumé : Introduction PROCESSOR AND BANDWIDTH OVERLOAD MITIGATION Background on Real-Time Programming GCD+: Scheduling Heuristics GCD#: Network Scheduling MODEL-DRIVEN ENGINEERING FOR DRONES Background: Model-Driven Engineering and Software Architectures RoBMEX CONCLUSION Conclusion and Perspectives En ligne : https://theses.hal.science/tel-04311816

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-23 LAD	LAD	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

---

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