Intégration de problèmes de satisfaction de contraintes et d'ontologies pour la formalisation et l'exploitation de connaissances dans la configuration de systèmes
Auteur / Autrice : | Maryam Mohammadamini |
Direction : | Thierry Coudert, Elise Vareilles |
Type : | Thèse de doctorat |
Discipline(s) : | Génie Industriel |
Date : | Soutenance le 04/12/2023 |
Etablissement(s) : | Toulouse, INPT |
Ecole(s) doctorale(s) : | École doctorale Systèmes (Toulouse ; 1999-....) |
Partenaire(s) de recherche : | Laboratoire : Laboratoire Génie de Production (Tarbes ; 1989-....) |
Jury : | Président / Présidente : Catherine Da Cunha |
Examinateurs / Examinatrices : Thierry Coudert, Elise Vareilles, Catherine Da Cunha, Abdourahim Sylla, Michel Aldanondo | |
Rapporteurs / Rapporteuses : Christophe Merlo, Ali Siadat |
Mots clés
Résumé
Cette thèse se concentre sur la configuration des systèmes, une activité de conception impliquant l'assemblage de sous-systèmes et de composants prédéfinis. Le principal défi consiste à formaliser des connaissances pour la configuration de systèmes à différents niveaux d'abstraction en distinguant les vues descriptives et structurelles, puis à les réutiliser pour répondre aux exigences de l’ingénierie ETO. La première contribution est un processus de formalisation des connaissances pour la configuration de systèmes utilisant les ontologies, les problèmes de satisfaction des contraintes (CSP) et les principes de communalité et d'héritage. Ce processus facilite la création de modèles génériques à différents niveaux d'abstraction, garantissant leur cohérence, leur maintenance et leur mise à jour. Les vues descriptives et structurelles fournissent des représentations complètes du système. La deuxième contribution est un processus de réutilisation des connaissances pour la configuration de systèmes en adaptant un processus de configuration à la commande (CTO) à un processus de configuration ETO pour répondre aux exigences ETO. Des instances de modèles génériques descriptives et/ou structurelles sont créées, puis configurées à l'aide d'un processus générique pour répondre aux exigences de l'ETO. Les solutions obtenues sont capitalisées dans une base d'expérience. Enfin, les propositions sont illustrées sur un exemple de bicyclette, mises en œuvre et testées sur la plate- forme OPERA, un logiciel de configuration de systèmes.