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

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

Contribution à la validation opérationnelle de l’ordonnancement et de la génération de séquences de commande pour les systèmes SCADA industriels / Ouissem MESLI-KESRAOUI  

Titre : Contribution à la validation opérationnelle de l’ordonnancement et de la génération de séquences de commande pour les systèmes SCADA industriels Type de document : thèse Auteurs : Ouissem MESLI-KESRAOUI, Auteur ; Patrick GIRARD, Directeur de thèse ; Pascal BERRUET, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; Soraya KESRAOUI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Ameur SOUKHAL, Rapporteur ; Nasser MEBARKI, Rapporteur ; Annie CHOQUET-GENIET, Examinateur ; Flavio OQUENDO, Examinateur ; Pascale MARANGE, Examinateur Année de publication : 2024 Importance : 175 p. Note générale : NNT 2024ESMA0017 Résumé Mots clés Remerciements Sommaire Liste des figures Liste des tableaux Introduction générale Références bibliographiques Annexes Catégories : Acquisition automatique des données Commande automatique Optimisation mathématique Ordonnancement (informatique) Temps réel (informatique) Résumé : CONTEXTE INDUSTRIEL ET PROBLÉMATIQUE Introduction Les bancs de test SCADA Optimisation des systèmes SCADA Formalisation du problème industriel Problématiques et verrous scientifiques Approche générale proposée Conclusion ÉTAT DE L'ART SUR L'ORDONNACEMENT Introduction Problématique Étude biliographique sur les problèmes d'ordonnacement Bilan critique de l'état de l'art ORDONNACEMENT DE DEUX MACHINES PARALLÈLES DÉDIÉES SOUS CONTRAINTES DE RESSOURCES ET PRÉCÉDENCES LOCALES Introduction Aléas et verrous Étude du problèmes d'ordonnacement du rinçage Conclusion ÉTAT DE L'ART SUR LA GÉNÉRATION DE SÉQUENCE Introduction Problématique La gestion de modes pour la modélisation opérationnelle Mise en œuvre d'une gestion des modes dans la littérature Vérification et validation du modèle Génération automatique de séquences de commande Synthèse GÉNÉRATION AUTOMATIQUE DES SÉQUENCES DE COMMANDE Introduction Aléas et verrous Approche globales Bibliothèque de modes Obtention du modèle opérationnel Génération de séquences Conclusion ÉTAT DE L'ARTSUR LES DSMLs ET xDSML Introduction Problématique Les DSLs DSLs executable (xDSML) Conclusion PROPOSITION D'UN LANGAGE DÉDIÉ EXÉCUTABLE (DSML) POUR LES BANCS DE TEST SCADA Introduction Aléas et verrous Approche globale Un modèle de référence pour la conception des systèmes SCADA Proposition d'un langage SCADA exécutable et multi-facettes Conclusion CONCLUSION ET PERSPECTIVES Introduction Rappel des contribution Perspectives En ligne : https://theses.hal.science/tel-04829475

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-24 MES	MES	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

Données de tests non fonctionnels de l'ombre à la lumière : une approche multidimensionnelle pour déployer une base de données / Lahcène BRAHIMI  

Titre : Données de tests non fonctionnels de l'ombre à la lumière : une approche multidimensionnelle pour déployer une base de données Type de document : thèse Auteurs : Lahcène BRAHIMI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Yudith CARDINALE, Rapporteur ; Abdelkader HAMEURLAIN, Examinateur ; Khalil DRIRA, Examinateur Importance : 192 p. Note générale : NNT 2017ESMA0009 Remerciements Table des matières Introduction générale Bibliographie Table des figures Liste des tableaux Glossaire Résumé Mots-clés Catégories : Apprentissage automatique Bases de données:Gestion Entrepôts de données OLAP (informatique) Ontologies (informatique) Prise de décision Systèmes de recommandation (informatique) Systèmes, Analyse de Systèmes, Conception de Résumé : ETAT DE L'ART Evolution du cycle de conception de bases de données Etudes des approches de sélection des SGBD et plateformes CONTRIBUTIONS Vers une explicitation des composantes de l'environnement de tests Approche multidimensionnelle des données des environnements de tests Système de recommandation pour le déploiement des bases de données CONCLUSION GENERALE ET PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-01585828

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014315	TH-17 BRA	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-17 BRA	BRA	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

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 Index Caté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èles

Exemplaires (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 Index Caté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éel

Exemplaires (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

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

---

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