Catégories
Documents disponibles dans cette catégorie (2)
Faire une suggestion Affiner la recherche
Etendre la recherche sur niveau(x) vers le bas
Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle / Anh Toan BUI LONG
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 : 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