Modélisation fonctionnelle dans la conception et la re-conception des systèmes industriels

Functional modelling in the design process of inductrial systems

• Auteur / Autrice : Guy-Alain Amoussou
• Direction : Serge Rohmer
• Type : Thèse de doctorat
• Discipline(s) : Sûreté des systèmes
• Date : Soutenance en 1999
• Etablissement(s) : Troyes
• Ecole(s) doctorale(s) : École doctorale Sciences pour l'Ingénieur (Troyes, Aube)

Mots clés

Mots clés contrôlés

Modèles mathématiques

Systèmes, Analyse de

Analyse fonctionnelle

Produits commerciaux

Résumé

La modelisation fonctionnelle des systemes et en particulier des systemes industriels (si) est une demarche indispensable dans une optique de surete de fonctionnement et de qualite de ces systemes dans les differentes phases de leurs cycles de vie. Les nombreuses methodes et approches qui existent pour modeliser les si d'un point de vue fonctionnelle se heurtent aux problemes de representation syntaxique et semantique qui different d'une methode a l'autre, et par ailleurs tres peu d'entre elles integrent des outils quantitatifs. L'objectif de notre travail est de pouvoir, a partir d'une description fonctionnelle d'un si, etudier son comportement dysfonctionnel en vue d'ameliorer son fonctionnement. Face a cet objectif et compte tenu de la problematique des modeles fonctionnels enoncee precedemment, nos efforts de recherche se sont principalement axes sur la construction d'une architecture de base pour la modelisation d'un point de vue fonctionnel des si. Pour parvenir a la mise en oeuvre de cette architecture de base, notre travail s'est articule en trois phases. Nous avons formalise et experimente la methode tropos pour modeliser et evaluer le systeme de maintenance du processus de convoyage et de transtockage des colis radioactifs a l'agence nationale de traitement des dechets radioactifs. Tropos qui a principalement ete appliquee dans le genie logiciel, presente l'avantage de posseder une structure de representation syntaxique et semantique de l'information, de meme que des outils de quantification inspires de la theorie de l'information. Suite a cette experimentation nous avons construit pour les methodes de modelisation fonctionnelle, une ontologie qui specifie les invariants (concepts et terminologies) de ces methodes. Sur la base des specifications de cette ontologie, nous proposons une architecture de la representation fonctionnelle a laquelle nous avons associe un dictionnaire de representation des primitives fonctionnelles. Pour terminer, nous appliquons dans un cas de reconception de systeme notre architecture de base.