Détail de l'auteur
Auteur Pascal BERRUET |
Documents disponibles écrits par cet auteur (2)



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ésCaté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 complexesRé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 PERSPECTIVESEn 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 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