Détail de l'auteur
Auteur Henri BAUER |
Documents disponibles écrits par cet auteur (3)
Faire une suggestion Affiner la recherche
Titre : Evaluation et validation des systèmes distribués avioniques Type de document : thèse Auteurs : Georges Arnaud KEMAYO, Auteur ; Pascal RICHARD, Directeur de thèse ; Frédéric RIDOUARD, Directeur de thèse ; Henri BAUER, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean-Luc SCHARBARG, Rapporteur ; Laurent GEORGE, Rapporteur ; Yvon TRINQUET, Examinateur Importance : 167 p. Note générale : NNT 2014ESMA0010
Remerciements
Table des matières
Introduction générale
Publications
Annexes
Notations
Acronymes
Résumé
Mots clésCatégories : Avionique
Certification
Systèmes à paramètres répartis
Temps réel (informatique)Résumé : ETAT DE L'ART
Introduction aux systèmes avioniques
Méthodes de validation
CONTRIBUTIONS
Analyse de la méthode des trajectoires
Nouvelle méthode d'analyse des délais de bout en bout dans l'AFDX
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01127020 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010734 TH-14 KEM Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 KEM KEM 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 Ordonnancer le trafic dans des réseaux déterministes grâce à l’apprentissage par renforcement / Adrien ROBERTY
Titre : Ordonnancer le trafic dans des réseaux déterministes grâce à l’apprentissage par renforcement Type de document : thèse Auteurs : Adrien ROBERTY, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Frédéric RIDOUARD, Directeur de thèse ; Siwar BEN HADJ SAÏD, Directeur de thèse ; Henri BAUER, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Katia JAFFRÈS-RUNSER, Rapporteur ; Abdelmadjid BOUABDALLAH, Rapporteur ; Nicolas NAVET, Examinateur ; Mireille SARKISS, Examinateur Importance : 111 p. Note générale : NNT 2024ESMA0001
Résumé
Mots clés
Remerciements
Acronymes
Symboles
Sommaire
Liste des tableaux
liste des figures
Introduction générale
Bibliographie
Glossaire
Table des matières
Résumé
Mots clés
Catégories : Apprentissage par renforcement (intelligence artificielle)
Apprentissage profond
Industrie 4.0
Intelligence artificielle
Ordonnancement (informatique)
Temps réel (informatique)Résumé :
CONTEXTE TECHNOLOGIQUE
Les délais de bout en bout
Time-Sensitive Networking
Apprentissage automatique
Apprentissage par renforcement
État de l'art
CONTRIBUTIONS
Introduction aux contributions
Configurer le TAS de manière indentique
Configurer le TAS de manière individuelle
CONCLUSION GÉNÉRALE ET PERSPECTIVES
En ligne : https://theses.hal.science/tel-04634443 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-24 ROB ROB Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
