| 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 |
Faire une suggestion Affiner la rechercheAide à la validation temporelle et au dimensionnement de systèmes temps réel dans une démarche dirigée par les modèles
