A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Emmanuel GROLLEAU
Documents disponibles écrits par cet auteur



Aide au développement de systèmes temps réel à l'aide d'un langage graphique flots de données / NGO Khanh Hieu
![]()
Titre : Aide au développement de systèmes temps réel à l'aide d'un langage graphique flots de données Type de document : thèse Auteurs : NGO Khanh Hieu ; Francis COTTET, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Frédéric BONIOL, Rapporteur ; Patrick MARTINEAU, Rapporteur ; Isabelle PUAUT, Examinateur ; Pascal RICHARD, Examinateur Importance : 221 p. Note générale : Remerciements
Table des matières
Introduction générale
Bibliographie
Annexes
Résumé
Mots clésCatégories : LabVIEW (langage de programmation)
Systèmes embarqués (informatique)
Temps réel (informatique)
XML (langage de balisage)Index. décimale : TH-08 Résumé : INTRODUCTION
Contexte de l'étude
Cycle de développement d'un logiciel
Le cycle de vie Logiciel/Matériel
Support d'exécution pour le temps réel
Méthodes de développement d'un logiciel
Validation temporelle des systèmes temps réel
DARTS : DU CONCEPT AU CODE
Utilisation de la méthode DARTS
Implémentation DARTS sur LabVIEW
Implémentation DARTS sur les langages de programmation impératifs
ARCHITECTURE DARTSVIEW
Présentation de la palette DARTSVIEW
Palette DARTSVIEW et le premier V du cycle de vie en W
Palette DARTSVIEW et le second V du cycle de vie en W
CAS D'ETUDE
Diagramme DARTSVIEW du système de chauffage
Génération de code du système de chauffage d'une maison
DARSTVIEW vs les modifications de modèle DARTS du système de chauffage
CONCLUSIONEn ligne : http://theses.edel.univ-poitiers.fr/theses/2008/Ngo-Khanh/2008-Ngo-Khanh-These.p [...] Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00007982 TH-08 NGO Ouvrage BIBLIOTHEQUE - ACCES RESERVE 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é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 BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt Approximation des temps de réponse des tâches sporadiques à priorité fixe dans les systèmes monoprocesseurs / Thi Huyen Chau NGUYEN
![]()
Titre : Approximation des temps de réponse des tâches sporadiques à priorité fixe dans les systèmes monoprocesseurs Type de document : thèse Auteurs : Thi Huyen Chau NGUYEN, Auteur ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Maryline CHETTO, Rapporteur ; Laurent GEORGE, Rapporteur ; Joël GOOSSENS, Examinateur ; Emmanuel GROLLEAU, Examinateur ; Isabelle PUAUT, Examinateur Année de publication : 2010 Importance : 108 p. Note générale : NNT 2010ESMA0014
Remerciements
Table des matières
Bibliographie
Résumé
Mots clésLangues : Français (fre) Catégories : Ordonnancement (informatique)
Temps réel (informatique)Résumé : INTRODUCTION
Définition générale
Notations liées aux tâches et à l'ordonnancement
Objectifs de l'étude
Organisation du mémoire et contributions
ORDONNACEMENT A PRIORITE FIXE
Tests d'ordonnançabilité
Principaux tests d'ordonnançabilité
Principales bornes de temps de réponse
CONTINUITE ET ORDONNANCABILITE
Borne de Sjödin et Hansson
Borne de Bini et Baruah
Analyse
Expérimentations
TACHES A ECHEANCES CONTRAINTES AVEC GIGUES D'ACTIVATION
Définitions
Bornes des pires temps de réponse
Analyse pire cas des bornes d'erreur
Expérimentations numériques
TACHES A ECHEANCES ARBITRAIRES
Modèle de tâches et résultats connus
Analyse du schéma d'approximation de Fischer et Baruah
Version révisée de l'algorithme de Fischer et Baruah
Correction du schéma d'approximation
CONCLUSIONEn ligne : http://tel.archives-ouvertes.fr/tel-00554265/fr/ Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00008572 TH-10 NGU Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l'ordonnacement 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'ordonnacement 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 ENSMA-UP EA 66315, 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
Code-barres Cote Support Localisation Section Disponibilité B00010379 TH-13 OUH Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt Conception d'un outil d'optimisation dynamique du schéma d'exploitation du réseau de distribution d'électricité de SRD / Abdelkrim ALI ZAZOU
Titre : Conception d'un outil d'optimisation dynamique du schéma d'exploitation du réseau de distribution d'électricité de SRD Type de document : thèse Auteurs : Abdelkrim ALI ZAZOU, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Jean-Paul GAUBERT, Directeur de thèse ; Ladjel BELLATRECHE, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Patrick MARTINEAU, Rapporteur ; Bruno FRANCOIS, Rapporteur ; Salima BENBERNOU, Examinateur Importance : 165 p. Note générale : NNT 2017ESMA0010
Remerciements
Table des matières
Annexe
Table des figures
Liste des tableaux
Bibliographie
Résumé
Mots clésCatégories : :Réseaux électriques (énergie):Pertes d'énergie
:Réseaux électriques (énergie):Répartition des charges
Modèles non linéaires (statisque)
Reformulation quadratique convexe
Réseaux électriques intelligentsRésumé : 21 AVRIL 2022
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00014309 TH-17 ALI Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Contributions à l'ordonnacement et l'analyse des systèmes temps réel critiques Type de document : thèse Auteurs : François DORIN, Auteur ; Pascal RICHARD, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Patrick MARTINEAU, Rapporteur ; Yvon TRINQUET, Examinateur Année de publication : 2010 Importance : 154 p. Note générale : NNT 2010ESMA0012
Table des matières
Table des figures
Liste des tableaux
Introduction générale
Annexes
Index
Bibliographie
Résumé
Mots clésLangues : Français (fre) Catégories : Ordonnancement (informatique)
Temps réel (informatique)Résumé : ETAT DE L'ART
Introduction
Validation des systèmes temps réel
CONTRIBUTIONS
Algorithme d'optimisation du nombre de processeurs dans une architecture distribuée
Modèle à criticité multiple
Ordonnancement semi-partitionné avec migrations restreintes
CONCLUSIONEn ligne : http://tel.archives-ouvertes.fr/tel-00554806/fr/ Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00008589 TH-10 DOR Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF / Ahmed RAHNI
![]()
Titre : Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF Type de document : thèse Auteurs : Ahmed RAHNI ; Pascal RICHARD, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Maryline CHETTO, Rapporteur ; Yvon TRINQUET, Examinateur ; Francis COTTET, Examinateur ; Joël GOOSSENS, Examinateur Importance : 196 p. Note générale : Table des matières
Table des figures
Liste des tableaux
Annexes
Bibliographie
Résumé
Mots clésCatégories : Ordonnancement (informatique)
Temps réel (informatique)Index. décimale : TH-08 Résumé : ETAT DE L'ART
Systèmes temps réel et ordonnancement
Analyse d'ordonnançabilité des tâches avec décalage d'activation (à offsets)
CONTRIBUTIONS
Analyse mixte du pire temps de réponse des tâches à offsets en priorités fixes
Identification des instants critiques pire cas, en priorités fixes
Analyse d'ordonnançabilité des transactions avec priorités dynamiques EDF153En ligne : http://tel.archives-ouvertes.fr/tel-00368101/fr/ Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00007950 TH-08 RAH Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel / Christian FOTSING TAKOUTSI
![]()
Titre : Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel Type de document : thèse Auteurs : Christian FOTSING TAKOUTSI, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Guy VIDAL-NAQUET, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Franck POMMEREAU, Rapporteur ; Frank SINGHOFF, Rapporteur ; Emmanuel GROLLEAU, Examinateur ; Christophe AUSSAGUES, Examinateur Année de publication : 2012 Importance : 226 p. Note générale : NNT 2012ESMA0003
Remerciements
Table des matières
Table des figures
Annexe
Bibliographie liée à la thèse
Bibliographie
IndexLangues : Français (fre) Catégories : :Logiciels:Validation
Méthodes formelles (informatique)
Ordonnancement (informatique)
Petri, Réseaux de
Simulation, Méthodes de
Temps réel (informatique)Résumé : INTRODUCTION GENERALE
Les systèmes temps-réel
La problématique
Objectifs et intérêts du travail
Contribution : méthodologie globale
Plan et contenu de la présentation
ETAT DE L'ART
Synthèse de quelques travaux connexes
Validation par les réseaux de Pétri
CONTRIBUTION
Modélisation d'une tâche
Modélisation de l'application
Les arbres d’ordonnancement
Ordonnancement linéaire versus ordonnancement arborescent
Mise en œuvre avec les réseaux de Pétri
CONCLUSTION GENERALE
Conclusion
PerspectivesEn ligne : http://tel.archives-ouvertes.fr/tel-00684788 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00009301 TH-12 FOT Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre / Emmanuel GROLLEAU
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
Code-barres Cote Support Localisation Section Disponibilité B00014416 004.33 GRO Ouvrage BIBLIOTHEQUE - ACCES LIBRE Informatique - Bibliothéconomie Disponible B00014405 004.33 GRO Ouvrage BIBLIOTHEQUE - ACCES LIBRE Informatique - Bibliothéconomie Disponible Ordonnancement temps réel hors-ligne optimal à l'aide de réseaux Petri en environnement monoprocesseur et multiprocesseur / Emmanuel GROLLEAU
Titre : Ordonnancement temps réel hors-ligne optimal à l'aide de réseaux Petri en environnement monoprocesseur et multiprocesseur Type de document : thèse Auteurs : Emmanuel GROLLEAU ; Francis COTTET, Directeur de thèse ; Annie CHOQUET-GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; G. JUANOLE, Rapporteur ; Guy VIDAL-NAQUET, Rapporteur ; P. ESTRAILLIER, Examinateur ; Annie CHOQUET-GENIET, Examinateur ; Francis COTTET, Examinateur ; A.-M. DEPLANCHE, Examinateur Importance : 233 p. Note générale : Remerciements
Sommaire
Bibliographie
Bibliographie liée à l'étude
Annexes
Index des figuresCatégories : Informatique
Petri, Réseaux de
Temps réel (informatique)Index. décimale : TH-99 Résumé : SYSTEMES TEMPS REEL ET ORDONNANCEMENT
Introduction au temps réel
L'ordonnancement des systèmes de tâches temps réel
EXTENSIONS DES RESEAUX DE PETRI
Réseau de Pétri autonomes
ETUDE DE LA CYCLICITE DES ORDONNANCEMENTS DE TÂCHES PERIODIQUES
Etude des temps creux acycliques
Cas des systèmes de tâches indépendantes
Cas des systèmes de tâches quelconques
ETUDE DE SYTEMES TEMPS REEL A L'AIDE DE RESEAUX DE PETRI : CAS MONOPROCESSEUR
Modélisation
Etude
Complexité et taille du graphe d'accessibilité
Obtention des séquences d'ordonnancement valides
ETUDE DE SYSTEMES TEMPS REEL A L'AIDE DE RESEAUX PETRI : CAS MULTIPROCESSEUR
Hypothèses matérielles
Modélisation
Etude
APPLICATION DE L'ETUDE
Présentation de PeNSMARTS
Etude de casExemplaires
Code-barres Cote Support Localisation Section Disponibilité B00006981 TH-99 GRO Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt Robustesse des applications temps-réel multicoeurs : techniques de construction d'un ordonnancement équitable tolérant aux pannes matérielles / Yves Marcellin MOUAFO TCHINDA
![]()
Titre : Robustesse des applications temps-réel multicoeurs : techniques de construction d'un ordonnancement équitable tolérant aux pannes matérielles Type de document : thèse Auteurs : Yves Marcellin MOUAFO TCHINDA, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Gaëlle LARGETEAU-SKAPIN, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Maryline CHETTO, Rapporteur ; Claire PAGETTI, Rapporteur ; Julien FORGET, Examinateur ; Emmanuel GROLLEAU, Examinateur Importance : 203 p. Note générale : NNT 2017ESMA0015
Dédicace
Remerciements
Table des matières
Introduction générale
Annexes
Table des figures
Liste des tableaux
Bibliographie
Résumé
Mots clésCatégories : :Systèmes informatiques:Pannes
Analyse Pire Cas
Commande de processus
Microprocesseurs multi-coeurs
Systèmes embarqués (informatique)
Temps réel (informatique)
Tolérance aux fautes (informatique)Résumé : ETAT DE L'ART
L'ordonnacement équitable
Tolérance aux pannes des systèmes temps-réel
Systèmes à criticités multiples et changements de mode
CONTRIBUTIONS
Ordonnancement sans reprise
Ordonnancement avec reprise
Possibilités d'extension
CONCLUSION ET PERSPECTIVES
Conclusion générale
PerspectivesEn ligne : https://tel.archives-ouvertes.fr/tel-01685276 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Systèmes temps réel de contrôle-commande : Conception et implémentation / Francis COTTET
Titre : Systèmes temps réel de contrôle-commande : Conception et implémentation Type de document : texte imprimé Auteurs : Francis COTTET ; Emmanuel GROLLEAU Editeur : Dunod Année de publication : 2005 Collection : Technique et ingénierie. Série EEA Importance : 559 p. ISBN/ISSN/EAN : 978-2-10-007893-6 Note générale : Table des matières
Avant-propos
Introduction
Bibliographie
Lexique anglais-français
Sigles
Index
Langage informatiqueCatégories : :Industrie:Informatique
Commande automatique
Industrie
Informatique
Procédés de fabrication
Programmation
Temps réel (informatique)Index. décimale : 004.33 Temps réel Résumé : Développement des sytèmes de contrôle-commande
Spécification selon la méthode SA-RT
Conception selon la méthode DARTS
Architectures systèmes
Exécutifs temps réel
Programmation des systèmes multitâches
Traitement complet d'une application industrielle
Etude avancée des systèmes temps réelExemplaires
Code-barres Cote Support Localisation Section Disponibilité B00005452 004.33 COT Ouvrage BIBLIOTHEQUE - ACCES LIBRE Informatique - Bibliothéconomie Disponible B00005458 004.33 COT Ouvrage BIBLIOTHEQUE - ACCES LIBRE Informatique - Bibliothéconomie Disponible B00005464 004.33 COT Ouvrage BIBLIOTHEQUE - ACCES LIBRE Informatique - Bibliothéconomie Disponible B00005470 004.33 COT Ouvrage BIBLIOTHEQUE - ACCES LIBRE Informatique - Bibliothéconomie Disponible B00005405 004.33 COT Ouvrage BIBLIOTHEQUE - ACCES LIBRE 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
Code-barres Cote Support Localisation Section Disponibilité B00010926 004.33 COT Ouvrage BIBLIOTHEQUE - ACCES LIBRE Informatique - Bibliothéconomie Disponible B00010937 004.33 COT Ouvrage BIBLIOTHEQUE - ACCES LIBRE Informatique - Bibliothéconomie Disponible B00010931 004.33 COT Ouvrage BIBLIOTHEQUE - ACCES LIBRE Informatique - Bibliothéconomie Disponible B00010925 004.33 COT Ouvrage BIBLIOTHEQUE - ACCES LIBRE Informatique - Bibliothéconomie Disponible B00010936 004.33 COT Ouvrage BIBLIOTHEQUE - ACCES LIBRE Informatique - Bibliothéconomie Disponible B00010942 004.33 COT Ouvrage BIBLIOTHEQUE - ACCES LIBRE Informatique - Bibliothéconomie Disponible B00010930 004.33 COT Ouvrage BIBLIOTHEQUE - ACCES LIBRE Informatique - Bibliothéconomie Disponible