Documents disponibles écrits par cet auteur

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 ENSMA-UP EA 66315, 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

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

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007230	TH-07 TRA	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 ENSMA-UP EA 66315, 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

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