A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
Détail de l'auteur
Auteur Nicolas NAVET
Documents disponibles écrits par cet auteur
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 / 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
PerspectivesEn ligne : https://tel.archives-ouvertes.fr/tel-03079085 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité TH-20 NGUt NGU Numérique En ligne Thèses Exclu du prêt
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éraleCaté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/VDXExemplaires
Code-barres Cote Support Localisation Section Disponibilité B00007230 TH-07 TRA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
