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

par Guy-Alain Amoussou

Thèse de doctorat en Sûreté des systèmes

Sous la direction de Serge Rohmer.

Soutenue en 1999

à Troyes .


  • 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.

  • Titre traduit

    Functional modelling in the design process of inductrial systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 207 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 171-183

Où se trouve cette thèse ?

  • Bibliothèque : Université de Technologie. Service commun de la documentation.
  • Disponible pour le PEB
  • Cote : THE 99 AMO
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.