Détail de l'auteur
Auteur Jérôme HUGUES |
Documents disponibles écrits par cet auteur (4)
Faire une suggestion Affiner la rechercheCadre 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 wordsCaté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 PERSPECTIVESEn 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
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 : Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre Type de document : texte imprimé Auteurs : Emmanuel GROLLEAU, Auteur ; Jérôme HUGUES, Auteur ; Yassine OUHAMMOU, Auteur ; Henri BAUER, Auteur Editeur : Dunod Année de publication : 2018 Collection : Sciences sup Importance : 325 p. ISBN/ISSN/EAN : 978-2-10-077842-3 Note générale : Avant-propos
Table des matières
Préface
IndexCatégories : Commande en temps réel
Systèmes embarqués (informatique)
Temps réel (informatique)Index. décimale : 004.33 Temps réel Résumé : INTRODUCTION À LA CONCEPTION PAR L'EXEMPLE
Présentation du système exemple
Programmation séquentielle
Utilisation des interruptions matérielles
Exécution cyclique
Programmation multitâche
LES CONCEPTS PRÉSENTÉS À TRAVERS UNE ÉTUDE DE CAS DÉTAILLÉE
Spécification fonctionnelle
Conception multitâche par la méthode des rythmes
Impacts d'un changement de spécification et tolérance aux fautes
Implémentation POSIX avec simulateur
Génération automatique de code depuis AADL
validation temporelle du systèmes
De la conception des systèmes à la conception des modèles : une utilisation avancée des modèlesExemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité B00014416 004.33 GRO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00014405 004.33 GRO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00014410 004.33 GRO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00014685 004.33 GRO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00014686 004.33 GRO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Systèmes temps réel embarqués : Spécification, conception, implémentation et validation temporelle / Francis COTTET
Titre : Systèmes temps réel embarqués : Spécification, conception, implémentation et validation temporelle Type de document : texte imprimé Auteurs : Francis COTTET, Auteur ; Emmanuel GROLLEAU, Auteur ; Sébastien GERARD, Auteur ; Jérôme HUGUES ; Yassine OUHAMMOU ; Sara TUCCI-PIERGIOVANNI Mention d'édition : 2e édition Editeur : Dunod Année de publication : 2014 Importance : 626 p. ISBN/ISSN/EAN : 978-2-10-071331-8 Note générale : Table des matières
Avant-propos
Annexes
IndexCatégories : Commande automatique
Commande en temps réel
Systèmes embarqués (informatique)
Temps réel (informatique)Index. décimale : 004.33 Temps réel Résumé : Le développement des systèmes embarqués
La spécification fonctionnelle
La conception à l'aide d'AADL
Architectures matérielles et système d'exploitation
Les exécutifs temps réel
Programmation des systèmes multitâches
Traitement complet d'une application industrielle
Etude avancée des systèmes informatiques multitâches et temps réelExemplaires (8)
Code-barres Cote Support Localisation Section Disponibilité B00010926 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00010937 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00010931 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00010932 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00010925 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00010936 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00010942 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00010930 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Sorti jusqu'au 15/09/2025
