Aide à 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 UR 20299 UP-ENSIP / ISAE-ENSMA, 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 Perspectives En ligne : https://tel.archives-ouvertes.fr/tel-03079085

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-20 NGUt	NGU	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande / Olga GOUBALI  

Titre : Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande Type de document : thèse Auteurs : Olga GOUBALI, Auteur ; Patrick GIRARD, Directeur de thèse ; Laurent GUITTET, Directeur de thèse ; Pascal BERRUET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean VANDERDONCKT, Rapporteur ; Gaëlle CALVARY, Rapporteur ; Jean-François PETIN, Examinateur ; Alain BIGNON, Examinateur ; Christophe KOLSKI, Examinateur Importance : 240 p. Note générale : NNT 2017ESMA0003 Remerciements Sommaire Introduction générale Liste des figures Liste des tableaux Références bibliographiques Annexes Résumé Mots clés Catégories : Commande, Théorie de la Conception centrée sur l'utilisateur Ingénierie dirigée par les modèles Interfaces utilisateur (informatique) Ordonnancement (informatique) Systèmes complexes Résumé : GENERALITES SUR LA CONCEPTION DES SYSTEMES DE CONTROLE/COMMANDE La conception des systèmes de contrôle-commande Formalisme de spécification pour la construction des systèmes de contrôle-commande Verrous identifiés par l'état de l'art FACILITER LA CONCEPTION DES MODELES DE TACHES COMPLEXES Analyse de la tâche humaine dans la conception des systèmes de contrôle-commande La conception des modèles de tâches complexes Analyse comparative des approches présentées Problématique Proposition d'une démarche de conception des modèles de tâches complexes Bilan sur la conception des modèles de tâches complexes SPECIFICATIONS ET GENERATION D'APPLICATIONS DE CONTROLE-COMMANDE La génération d'IHM à partir de modèles de tâches Faciliter la spécification fonctionnelle des systèmes complexes Proposition d'une démarche de spécification fonctionnelle et de génération d'application de contrôle-commande Bilan sur la spécification fonctionnelle et la génération de systèmes de contrôle-commande MISE EN OEUVRE DES PROPOSITIONS A TRAVERS UN FLOT DE CONCEPTION Présentation du flot de conception proposé Choix d'outils pour la conception des systèmes de contrôle-commande Opération d'adaptation des modèles de tâches Opération d'adaptation EGRC Opération d'insertion SPEC Opération d'enregistrement-généralisation Opération de génération d'interfaces de contrôle Opération d'intégration des interfaces de contrôle Opération de test, débogage et correction Opération de génération de codes de commandes Opération de génération d'IHM Opération de génération de commande Bilan APPLICATION DE NOTRE DEMARCHE A UN CAS D'ETUDE ET VALIDATION EXPERIMENTALE Etude de cas Evaluations Bilan global des évaluations CONCLUSION ET PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-01505594

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014274	TH-17 GOU	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-17 GOU	GOU	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

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 / 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 words Caté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 PERSPECTIVES En 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

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és Caté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

Extension des systèmes de métamodélisation persistant avec la sémantique comportementale/Handling behavioral semantics in persistent metamodeling systems / Youness BAZHAR  

Titre : Extension des systèmes de métamodélisation persistant avec la sémantique comportementale/Handling behavioral semantics in persistent metamodeling systems Type de document : thèse Auteurs : Youness BAZHAR, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Mohand-Saïd HACID, Rapporteur ; Régine LALEAU, Rapporteur ; Yves LEDRU, Examinateur ; Ladjel BELLATRÈCHE, Examinateur ; Patrick FARAIL, Examinateur ; Oscar PASTOR, Examinateur Importance : 157 p. Note générale : NNT 2013ESMA00019 Contents Introduction Bibliography List of figures List of tables Relted publications Résumé étendu Mots clés Catégories : Bases de données:Conception Ingénierie dirigée par les modèles Ontologies (informatique) Systèmes embarqués (informatique) Temps réel (informatique) Résumé : STATE OF THE ART METAMODELING AND MODEL MANAGEMENT Introduction Background on MDE Metamodeling Model management Conclusion PERSISTENT SOLUTIONS FOR METAMODELING AND MODEL MANAGEMENT Introduction Model repositories and their exploitation languages Persistent metamodeling and model management systems The OntoDB/OntoQL PMMS Conclusion CONTRIBUTIONS REQUIREMENTS FOR COMPLETE PERSISTENT METAMODELING SYSTEMS Introduction Requirements for complete PMMS Synthesis and discussion Objectives Conclusion BeMoRe: MODELING AND FORMAL REPRESENTATION Introduction Conceptual extension Logical extension Formalization of the conceptual extension Extension of the algebra of the PMMS exploitation language Conclusion BeMoRe: EXTENSION OF THE ESPLOITATION LANGUAGE AND PROTOTYPING Introduction Extension of the OntoQL language The BeMoRe prototype A preliminary performance evaluation Conclusion APPLICATIONS MANAGING NON CANONICAL CONCEPTS IN ONTOLOGY-BASED DATABASES Introduction Background on ontologies Ontology-based databases (OBDBs) Encoding the structural semantics of the OWL language Encoding operations for computing OWL non canonical concepts Conclusion ENHANCING A METHOD TO DESIGN ONTOLOGY-BASED DATABASES Introduction The considered OBDB design methodology Enhancing the OBDB design methodology Conclusion MODEL TRANSFORMATION AND MODEL ANALYSIS Introduction Motivating example Supporting AADL and MARTE in PMMS Transforming models within PMMS Using operations for model analysis Conclusion CONCLUSIONS AND PERSPECTIVES En ligne : http://tel.archives-ouvertes.fr/tel-00939900

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010408	TH-13 BAZ	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-13 BAZ	BAZ	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Un framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones / Soulimane KAMNI  

Titre : Un framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones Type de document : thèse Auteurs : Soulimane KAMNI, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; Antoine BERTOUT, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean-Philippe BABAU, Rapporteur ; Jean HLADIK, Rapporteur ; Annie CHOQUET-GENIET, Examinateur ; Jérôme ERMONT, Auteur Importance : 145 p. Note générale : NNT 2023ESMA0014 Résumé Mots clés Remerciements Table des matières Liste des figures Liste des tableaux Liste des abréviations Liste des symboles Bibliographie Résumé Mots clés Catégories : Drones Durée de vie (ingénierie) Ingénierie dirigée par les modèles Ordonnancement (informatique) Systèmes embarqués (informatique) Systèmes, Conception de Temps réel (informatique) Résumé : INTRODUCTION GÉNÉRALE Contexte et motivations Objectifs de la thèse Organisation de la thèse Publications scientifiques SYSTÈMES EMBARQUÉS TEMPS RÉEL ET CONCEPTION À BASE DES MODÈLES Introduction Système embarqué temps réel Cycle de vie de développement des systèmes temps réel Méthodologies et langages de conception standardisés Conception des systèmes temps réel Conclusion ORDONNANCEMENT ET VALIDATION DES SYSTÈMES TEMPS RÉEL Introduction Modèles de tâche Orodonnancement monoprocesseur Orodonnancement multiprocesseur Analyse d'ordonnançabilité et validation Outils d'analyse basés sur les modèles État de l'art sur les méthodes de déploiement des systèmes temps réel Conclusion RYM : UNE APPROCHE BASÉE SUR LES RYTHMES POUR LE PRÉ-DÉPLOIEMENT DES RTES CRITIQUES Introduction Principe général Étude de cas Comparaison Outil Conclusion PERSONNALISATION DU LOGICIEL D'AUTOPULOTES DE DRONES À TRAVERS UN GFRAMEWORK DE RÉTRO-INGÉNIERIE Introduction État de l'art sur la visualisation logicielle et la rétro-ingénierie Conception des autopilotes des UAV Architecture logicielle abstraite d'un autopilote Exemple motivationnel Architecture de Paparazzi Concepts spécifiques dans l'architecture logicielle des autopilotes Implémentaiton du framework État de l'art sur les systèmes à décalage libre (offset-free) Application Conclusion CONCLUSION GÉNÉRALE En ligne : https://theses.hal.science/tel-04399687

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-23 KAM	KAM	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Intégration et exploitation de besoins en entreprise étendue fondées sur la sémantique / Ilyès BOUKHARI  

Titre : Intégration et exploitation de besoins en entreprise étendue fondées sur la sémantique Type de document : thèse Auteurs : Ilyès BOUKHARI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Bernard ESPINASSE, Rapporteur ; Jérôme GENSEL, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Omar BOUSSAID, Examinateur ; Hendrik DECKER, Examinateur ; Dominique MERY, Examinateur Importance : 161 p. Note générale : NNT 2014ESMA0001 Remerciements Table des matières Bibliographie Annexes Table des figures Liste des tableaux Glossaire Catégories : Bases de données Entrepôts de données Ingénierie des exigences Ingénierie dirigée par les modèles Ontologies (informatique) Résumé : Introduction générale ETAT DE L'ART L'expression des besoins : un état de l'art Les ontologies au service de l'ingénierie des besoins CONTRIBUTIONS Unification des vocabulaires et de langages de modélisation des besoins Vers une fusion de méta-modèles des langages de modélisation des besoins Exploitation des besoins pour la conception physique Prototype de validation CONCLUSION GENERALE En ligne : http://tel.archives-ouvertes.fr/tel-00942081

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010414	TH-14 BOU	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-14 BOU	BOU	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Mise en oeuvre applicative de séquences d'ordonnancement hors-ligne / Moustapha BIKIENGA  

Titre : Mise en oeuvre applicative de séquences d'ordonnancement hors-ligne Type de document : thèse Auteurs : Moustapha BIKIENGA, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Dominique GENIET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Auteur ; Maryline CHETTO, Rapporteur ; Frank SINGHOFF, Rapporteur ; Gaëlle LARGETEAU-SKAPIN, Examinateur ; Yamine AIT AMEUR, Examinateur Importance : 180 p. Note générale : NNT 2014ESMA0011 Remerciements Table des matières Introduction générale Annexes Notations Acronymes Bibliographie Résumé Mots clés Catégories : Ingénierie dirigée par les modèles Ordonnancement (informatique) POSIX (norme) Temps réel (informatique) Résumé : ETAT DE L'ART Systèmes temps réel Systèmes d'exploitation temps réel Applications temps réel Ordonnacement Mise en oeuvre applicative d'ordonnancement hors-ligne Conclusion CONTEXTE, METHODOLOGIE ET MODELISATION Problématique Hypothèses de base Méthodologie Politiques de mise en oeuvre de séquences d'ordonnancement hors-ligne Démarche Modèle de coûts des mises en oeuvre Conclusion ALGORITHMES DE MISE EN OEUVRE Mise en oeuvre d'ordonnancement sans préemption Mise en oeuvre d'ordonnancement avec préemption Prise en compte des ressources critiques et des contraintes de précédence Conclusion MISE EN OEUVRE POSIX Mise en oeuvre POSIX Automatisation de mise en oeuvre POSIX Mise en oeuvre POSIX sur Xenomai Observation et analyse de scénarios d'exécution Conclusion ETUDE DE CAS : APPLICATION DE GESTION DE MINE SOUTERRAINE Description du cas pratique : gestion de la sécurité d'une mine Mise en oeuvre du scénario d'exécution Conclusion CONCLUSION ET PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-01080218

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010733	TH-14 BIK	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-14 BIK	BIK	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion / Sébastien MAITREHENRY  

Titre : Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion Type de document : thèse Auteurs : Sébastien MAITREHENRY, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Nicole LEVY, Rapporteur ; Philippe PALANQUE, Rapporteur ; Pierre BIEBER, Examinateur ; Sylvain METGE, Examinateur ; Jérémy GUIOCHET, Examinateur ; Patrick GIRARD, Examinateur Importance : 254 p. Note générale : NNT 2013ESMA0025 Remerciements Table des matières Introduction Bibliographie Annexes Index des figures Index des tables Glossaire Résumé Mots clés Catégories : Aéronautique Analyse fonctionnelle Fiabilité Ingénierie dirigée par les modèles Méthodes formelles (informatique) Résumé : VERS DES ANALYSES DE SECURITE ASSISTEES PAR LES MODELES La sûreté de fonctionnement dans l'aéronautique Intérêts des modèles et de l'ingénierie des modèles Objectifs et approche de nos travaux DEFINITION ET SYNTHESE DE MODELES POUR L'ANALYSE DES RISQUES Définition des modèles conceptuels pour la sécurité Mise en oeuvre de l'analyse des risques avec AltaRica La transformation de modèle Déploiement sur un cas industriel Extension des modèles à l'étude des facteurs humains CONCLUSION En ligne : http://tel.archives-ouvertes.fr/tel-00954467

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010427	TH-13 MAI	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-13 MAI	MAI	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Towards a Safe and Modular Architecture for Autonomous Drone Autopilots / Matheus LADEIRA BOECHAT LEMOS  

Titre : Towards a Safe and Modular Architecture for Autonomous Drone Autopilots Titre original : Vers une conception modulaire et sûre des autopilotes des drones autonomes Type de document : thèse Auteurs : Matheus LADEIRA BOECHAT LEMOS, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Sanjoy BARUAH, Rapporteur ; Chokri MRAIDHA, Rapporteur ; Joël GOOSSENS, Examinateur ; Liliana CUCU-GROSJEAN, Examinateur Importance : 167 p. Note générale : NNT 2023ESMA0011 Acknowledgements Contents List of Figures List of Tables Table of Acronyms Appendices Bibliography Abstract Keywords Catégories : Drones Fiabilité Ingénierie dirigée par les modèles ROS (système d 'exploitation des ordinateurs) Systèmes embarqués (informatique) Temps réel (informatique) Résumé : Introduction PROCESSOR AND BANDWIDTH OVERLOAD MITIGATION Background on Real-Time Programming GCD+: Scheduling Heuristics GCD#: Network Scheduling MODEL-DRIVEN ENGINEERING FOR DRONES Background: Model-Driven Engineering and Software Architectures RoBMEX CONCLUSION Conclusion and Perspectives En ligne : https://theses.hal.science/tel-04311816

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-23 LAD	LAD	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Vers une description et une modélisation des entrées des modèles de coût mathématiques pour l'optimisation des entrepôts de données / Cheik SALMI  

Titre : Vers une description et une modélisation des entrées des modèles de coût mathématiques pour l'optimisation des entrepôts de données Type de document : thèse Auteurs : Cheik SALMI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Jalil BOUKHOBZA, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Claude GODARD, Rapporteur ; Kokou YETONGNON, Rapporteur ; Djamal BENSLIMANE, Examinateur ; Mohamed MEZGHICHE, Examinateur ; Béatrice MARKHOFF, Examinateur Importance : 165 p. Note générale : NNT 2017ESMA0006 Remerciements Table des matières Bibliographie Annexes Table des figures Liste des tableaux Glossaire Résumé Mots clés Catégories : Analyse des données Bases de données:Conception Bases de données:Gestion Bases de données:Interrogation Entrepôts de données Ingénierie dirigée par les modèles Mémoires flash Ontologies (informatique) Ordinateurs:Mémoires tampons Résumé : CONTEXTE DE L'ETUDE Introduction Phase en amont Phase en aval Bilan sur la phase en aval Problématique et contributions Organisation de la thèse EVOLUTION DANS LE MONDE DES BASES DE DONNEES Introduction Evolution des bases de données Evolution des plate-formes Evolution des modèles de stockage des données Evolution des supports de stockage Evolution des requêtes Evolution des structures d'optimisation Les techniques d'optimisation Conclusion DESCRIPTION DES ENTREES DANS LES MODELES DE COUT Introduction Evolution des modèles de coût Catégorisation des paramètres de modèles de coût Méta-modèle pour le modèle de coût Instanciation des modèle de coût générique Etudes de cas Expérimentation Conclusion EXTENSION DU CACHE DU SGBD PAR LA MEMOIRE FLASH IntroductionEtat de l'art Vers un SGBD avec un système de stockage hybride Exécution des requêtes dans le cache hybride Etude expérimentale Conclusion CONCLUSION GENERALE ET PERSPECTIVES Conclusion Perspectives En ligne : https://tel.archives-ouvertes.fr/tel-01598874

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014304	TH-17 SAL	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

---

1 (1 - 11 / 11) Par page : 25 50 100 200