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 hors ligne d'ordonnançabilité d'applications temps réel comportant des tâches conditionnelles et sporadiques / Stéphane PAILLER

Titre : Analyse hors ligne d'ordonnançabilité d'applications temps réel comportant des tâches conditionnelles et sporadiques Type de document : thèse Auteurs : Stéphane PAILLER ; Annie CHOQUET-GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Marc BOURCERIE, Rapporteur ; Guy VIDAL-NAQUET, Rapporteur ; Michel MERIAUX, Examinateur ; Michel AUGERAUX, Examinateur Importance : 204 p. Note générale : Remerciements Table des matières Liste des figures Références bibliographiques Résumé Mots clés Catégories : Ordonnancement (informatique) Petri, Réseaux de Temps réel (informatique) Index. décimale : TH-06 Résumé : ETAT DE L'ART Systèmes temps réel Ordonnancement et validation Modélisation d'un système temps réel par réseaux de Pétri CONTRIBUTION Modèle de tâche conditionnelle Applictions munies de tâches conditionnelles

Exemplaires (1)

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

Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande / Olga GOUBALI  

Titre : Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande Type de document : thèse Auteurs : Olga GOUBALI, Auteur ; Patrick GIRARD, Directeur de thèse ; Laurent GUITTET, Directeur de thèse ; Pascal BERRUET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean VANDERDONCKT, Rapporteur ; Gaëlle CALVARY, Rapporteur ; Jean-François PETIN, Examinateur ; Alain BIGNON, Examinateur ; Christophe KOLSKI, Examinateur Importance : 240 p. Note générale : NNT 2017ESMA0003 Remerciements Sommaire Introduction générale Liste des figures Liste des tableaux Références bibliographiques Annexes Résumé Mots clés Catégories : Commande, Théorie de la Conception centrée sur l'utilisateur Ingénierie dirigée par les modèles Interfaces utilisateur (informatique) Ordonnancement (informatique) Systèmes complexes Résumé : GENERALITES SUR LA CONCEPTION DES SYSTEMES DE CONTROLE/COMMANDE La conception des systèmes de contrôle-commande Formalisme de spécification pour la construction des systèmes de contrôle-commande Verrous identifiés par l'état de l'art FACILITER LA CONCEPTION DES MODELES DE TACHES COMPLEXES Analyse de la tâche humaine dans la conception des systèmes de contrôle-commande La conception des modèles de tâches complexes Analyse comparative des approches présentées Problématique Proposition d'une démarche de conception des modèles de tâches complexes Bilan sur la conception des modèles de tâches complexes SPECIFICATIONS ET GENERATION D'APPLICATIONS DE CONTROLE-COMMANDE La génération d'IHM à partir de modèles de tâches Faciliter la spécification fonctionnelle des systèmes complexes Proposition d'une démarche de spécification fonctionnelle et de génération d'application de contrôle-commande Bilan sur la spécification fonctionnelle et la génération de systèmes de contrôle-commande MISE EN OEUVRE DES PROPOSITIONS A TRAVERS UN FLOT DE CONCEPTION Présentation du flot de conception proposé Choix d'outils pour la conception des systèmes de contrôle-commande Opération d'adaptation des modèles de tâches Opération d'adaptation EGRC Opération d'insertion SPEC Opération d'enregistrement-généralisation Opération de génération d'interfaces de contrôle Opération d'intégration des interfaces de contrôle Opération de test, débogage et correction Opération de génération de codes de commandes Opération de génération d'IHM Opération de génération de commande Bilan APPLICATION DE NOTRE DEMARCHE A UN CAS D'ETUDE ET VALIDATION EXPERIMENTALE Etude de cas Evaluations Bilan global des évaluations CONCLUSION ET PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-01505594

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014274	TH-17 GOU	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-17 GOU	GOU	Numérique	Thèses ISAE-ENSMA en ligne	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

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 validation des systèmes temps réels distribués : Ordonnancement à priorités fixes et placement / Mickaël RICHARD

Titre : Contribution à la validation des systèmes temps réels distribués : Ordonnancement à priorités fixes et placement Type de document : thèse Auteurs : Mickaël RICHARD, Auteur ; Francis COTTET, Directeur de thèse ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Jean-Charles BILLAUT, Rapporteur ; Mammeri ZOUBIR, Rapporteur ; Yvon TRINQUET, Rapporteur ; Joël GOOSSENS, Examinateur Année de publication : 2002 Importance : 265 p. Note générale : Remerciements Table des matières Introduction générale Conclusion Glossaire Annexes Langues : Français (fre) Catégories : Informatique Logiciels Ordonnancement (informatique) Systèmes embarqués (informatique) Temps réel (informatique) Index. décimale : TH-02 Résumé : BASES DE L'ORDONNANCEMENT EN-LIGNE DE SYSTEMES TEMPS REELS Introduction Architecture des systèmes temps réels Ordonnancement de systèmes monoprocesseurs Les systèmes distribués Placement ANALYSE HOLISTIQUE Détermination et analyse du pire cas Analyse holistique Calcul des pires temps de réponse des tâches et des messages AFFECTION DES PRIORITES Problématique Structure de l'arbre de recherche Principes généraux de la procédure de recherche Arbre de recherche : Principe d'évaluation Arbre de recherche : Test et coupe Extension du protocole d'accès aux ressources critiques Exemple : cas d'étude Expérimentation PLACEMENT ET AFFECTION Architecture du systèmes temps réel Placement et affection Exemple Expérimentation CONTRAINTES DE PRECEDENCE ET ORDONNANCEMENT MONOPROCESSEUR Modèles de tâches Anomalies d'ordonnancement Cas particuliers Test général d'ordonnançabilité Application sur l'exemple [HKL94] APPLICATION SUR UNE ARCHITECTURE DISTRIBUEE Architecture des systèmes distribués dans l'automobile Méthode d'affectation des priorités Méthode de placement et d'affection

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008127	TH-02 RIC	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 à 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 ; Jean-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

Etude temporelle des applications temps réel distribuées à contraintes strictes basée sur une analyse d'ordonnançabilité / Samia SAAD-BOUZEFRANE

Titre : Etude temporelle des applications temps réel distribuées à contraintes strictes basée sur une analyse d'ordonnançabilité Type de document : thèse Auteurs : Samia SAAD-BOUZEFRANE ; Francis COTTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Claude KAISER, Rapporteur ; Zoubir MAMMERI, Rapporteur ; Guy PIERRA, Examinateur ; F. SIMONOT-LION, Examinateur ; Yvon TRINQUET, Examinateur Importance : 180 p. Note générale : Remerciements Table des matières Introduction générale Conclusion générale Bibliographie Annexes Catégories : Informatique Ordonnancement (informatique) Réseaux locaux (informatique) Réseaux locaux industriels (informatique) Temps réel (informatique) Index. décimale : TH-98 Résumé : INTRODUCTION AUX SYSTEMES INFORMATIQUES TEMPS REEL Les systèmes temps réel Les réseaux de communication temps réel Cadre du travail ORDONNANCEMENT DES TACHES Modélisation des tâches Représentation d'une séquence Classification des tâches Les tâches indépendantes Les tâches dépendantes LES PRINCIPAUX PROTOCOLES MAC ADAPTES AUC COMMUNICATIONS TEMPS REEL Classification des protocoles MAC Les techniques d'accés Protocoles à accés aléatoire Protocoles d'accés à contrôle centralisé : exemple de FIP Protocoles d'accés à contrôle distribué ENVIRONNEMENTS TEMPS REEL REPARTIS Quelques exécutifs temps réel répartis Outils et méthode de validation UNE METHODOLOGIE DE VALIDATION BASEE SUR UNE ANALYSE D'ORDONNANCABILITE Le modèle général Principe de la méthodologie Exemples d'applications temps réel réparties ANALYSE DES PERFORMANCES MOSARTS: un outil de validation d'applications temps réel réparties Les critères de performance mesurés Résultats de simulation

Exemplaires (1)

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

Un framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones / Soulimane KAMNI  

Titre : Un framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones Type de document : thèse Auteurs : Soulimane KAMNI, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; Antoine BERTOUT, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean-Philippe BABAU, Rapporteur ; Jean HLADIK, Rapporteur ; Annie CHOQUET-GENIET, Examinateur ; Jérôme ERMONT, Auteur Importance : 145 p. Note générale : NNT 2023ESMA0014 Résumé Mots clés Remerciements Table des matières Liste des figures Liste des tableaux Liste des abréviations Liste des symboles Bibliographie Résumé Mots clés Catégories : Drones Durée de vie (ingénierie) Ingénierie dirigée par les modèles Ordonnancement (informatique) Systèmes embarqués (informatique) Systèmes, Conception de Temps réel (informatique) Résumé : INTRODUCTION GÉNÉRALE Contexte et motivations Objectifs de la thèse Organisation de la thèse Publications scientifiques SYSTÈMES EMBARQUÉS TEMPS RÉEL ET CONCEPTION À BASE DES MODÈLES Introduction Système embarqué temps réel Cycle de vie de développement des systèmes temps réel Méthodologies et langages de conception standardisés Conception des systèmes temps réel Conclusion ORDONNANCEMENT ET VALIDATION DES SYSTÈMES TEMPS RÉEL Introduction Modèles de tâche Orodonnancement monoprocesseur Orodonnancement multiprocesseur Analyse d'ordonnançabilité et validation Outils d'analyse basés sur les modèles État de l'art sur les méthodes de déploiement des systèmes temps réel Conclusion RYM : UNE APPROCHE BASÉE SUR LES RYTHMES POUR LE PRÉ-DÉPLOIEMENT DES RTES CRITIQUES Introduction Principe général Étude de cas Comparaison Outil Conclusion PERSONNALISATION DU LOGICIEL D'AUTOPULOTES DE DRONES À TRAVERS UN GFRAMEWORK DE RÉTRO-INGÉNIERIE Introduction État de l'art sur la visualisation logicielle et la rétro-ingénierie Conception des autopilotes des UAV Architecture logicielle abstraite d'un autopilote Exemple motivationnel Architecture de Paparazzi Concepts spécifiques dans l'architecture logicielle des autopilotes Implémentaiton du framework État de l'art sur les systèmes à décalage libre (offset-free) Application Conclusion CONCLUSION GÉNÉRALE En ligne : https://theses.hal.science/tel-04399687

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-23 KAM	KAM	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

Mise en oeuvre applicative de séquences d'ordonnancement hors-ligne / Moustapha BIKIENGA  

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

Ordonnancer le trafic dans des réseaux déterministes grâce à l’apprentissage par renforcement / Adrien ROBERTY  

Titre : Ordonnancer le trafic dans des réseaux déterministes grâce à l’apprentissage par renforcement Type de document : thèse Auteurs : Adrien ROBERTY, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Frédéric RIDOUARD, Directeur de thèse ; Siwar BEN HADJ SA­ÏD, Directeur de thèse ; Henri BAUER, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Katia JAFFRÈS-RUNSER, Rapporteur ; Abdelmadjid BOUABDALLAH, Rapporteur ; Nicolas NAVET, Examinateur ; Mireille SARKISS, Examinateur Importance : 111 p. Note générale : NNT 2024ESMA0001 Résumé Mots clés Remerciements Acronymes Symboles Sommaire Liste des tableaux liste des figures Introduction générale Bibliographie Glossaire Table des matières Résumé Mots clés Catégories : Apprentissage par renforcement (intelligence artificielle) Apprentissage profond Industrie 4.0 Intelligence artificielle Ordonnancement (informatique) Temps réel (informatique) Résumé : CONTEXTE TECHNOLOGIQUE Les délais de bout en bout Time-Sensitive Networking Apprentissage automatique Apprentissage par renforcement État de l'art CONTRIBUTIONS Introduction aux contributions Configurer le TAS de manière indentique Configurer le TAS de manière individuelle CONCLUSION GÉNÉRALE ET PERSPECTIVES En ligne : https://theses.hal.science/tel-04634443

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-24 ROB	ROB	Numérique	Thèses ISAE-ENSMA en ligne	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

Scheduling in Real-Time Systems / Francis COTTET

Titre : Scheduling in Real-Time Systems Type de document : texte imprimé Auteurs : Francis COTTET ; Joëlle DELACROIX ; Claude KAISER ; Zoubir MAMMERI Editeur : John Wiley & Sons, Inc. Année de publication : 2002 Importance : 266 p. ISBN/ISSN/EAN : 978-0-470-84766-4 Note générale : Contents Notations and symbols Introduction Glossary Bibliography Index Catégories : Ordonnancement (informatique) Temps réel (informatique) Index. décimale : 005.4 Programmation et programme système Résumé : Basic concepts Scheduling of independent tasks Scheduling of dependent tasks Scheduling schemes for handling overload Multiprocessor Scheduling Joint Scheduling of tasks and messages in distributed systems Packet Scheduling in networks Software environment Case Studies

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002011	005.4 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

---

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