Construction et affinement de modèles de sûreté de fonctionnement : application aux systèmes de contrôle-commande

par Cláudia Betous-Almeida

Thèse de doctorat en Informatique et télécommunications

Sous la direction de Karama Kanoun.

Soutenue en 2002

à Toulouse, INPT .


  • Résumé

    La modélisation de systèmes complexes sans une démarche progressive et systématique peut s'avérer très fastidieuse et sujette à erreur. Ce mémoire est consacré au développement d'une méthode de modélisation par affinements, de la sûreté de fonctionnement de systèmes complexes. L'approche proposée comporte trois étapes. La première consiste en la construction d'un modèle basé uniquement sur les spécifications fonctionnelles de l'application, nommé modèle fonctionnel. Ensuite, à partir de ce modèle et de l'architecture du système, un modèle de sûreté de fonctionnement de haut niveau est construit. Les règles de construction de l'interface entre le modèle fonctionnel et le modèle structurel sont développées et présentées. Ces règles permettent la transformation du modèle de haut niveau en un modèle plus détaillé. L'affinement peut être fait selon trois perspectives : décomposition des composants, affinement des états ou des événements et mise au point des distributions. Pour rendre plus efficace la modélisation de systèmes, une bibliothèque composée de modèles de base a été créée. En effet, ces modèles, moyennant un minimum de modifications, ont permis de modéliser tous les composants de tous les systèmes que nous avons étudié dans ce travail. Cette approche a été illustrée dans le cadre de la sélection d'un système de contrôle-commande parmi les propositions de divers constructeurs en réponse à un appel d'offre , mais elle peut également être utilisée comme support au développement et à la validation de systèmes.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : V-154 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 135-147

Où se trouve cette thèse ?

  • Bibliothèque : Ecole nationale supérieure d'électrotechnique, d'électronique, d'informatique, d'hydraulique et des télécommunications. Bibliothèque centrale.
  • Disponible pour le PEB
  • Cote : 02INPT006H/1
  • Bibliothèque : Télécom Bretagne. Documentation.
  • Disponible pour le PEB
  • Cote : 2.28 BETO
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.