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 .
mots clés-
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.
