| 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 |
Faire une suggestion Affiner la rechercheContribution à la validation opérationnelle de l’ordonnancement et de la génération de séquences de commande pour les systèmes SCADA industriels
