Détail de l'auteur
Auteur Liliana CUCU-GROSJEAN |
Documents disponibles écrits par cet auteur (3)
Faire une suggestion Affiner la rechercheContributions à 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ésCaté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
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ésCaté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
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
KeywordsCaté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
