Evaluation de la sûreté de fonctionnement des systèmes complexes, basée sur un mode fontionnel dynamique : la méthode SAFE-SADT

par Vincent Bénard

Thèse de doctorat en Automatique et informatique des systèmes industriels et humains, mention Automatique industrielle et humaine

Sous la direction de Patrick Millot.

Soutenue en 2004

à Valenciennes .


  • Résumé

    Cette thèse s'attache à tenir compte dès la phase de conception des aspects de la sûreté de fonctionnement. Une partie qualitative vise à modéliser les sous-ensembles fonctionnels en intégrant des contraintes de sûreté de fonctionnement, performance, coût, etc. Le problème de conception d'un système complexe automatisé en considérant les critères sûreté de fonctionnement peut se résumer par la question suivante : comment se traduit l'agrégation de ces différentes fonctions en termes de paramètres FMDS du système global ? Les travaux menés partent du constat de l'absence de langages et d'outils pour la modélisation d'architectures abstraites obtenues par composition d'entités logicielles et matérielles. La méthode fonctionnelle dynamique SAFE-SADT proposée est un premier élément de réponse. Elle permet la modélisation, caractérisation, identification et représentation des dépendances au sein de l'architecture opérationnelle et la quantification des paramètres de sûreté à des fins de validation de l'architecture opérationnelle en prenant en compte les aspects dynamiques grâce à la simulation de Monte Carlo.

  • Titre traduit

    Dependability evaluation of complex systems, based on a functional dynamic model : the SAFE-SADT method


  • Résumé

    This thesis deals with design of dependable automated complex systems. A qualitative approach aims at modelling the functional subsets with the integration of various constraints as early as the design phase. The problem inherent in design of automated complex systems can be summarized by the following question: how to express the aggregation of these different functions in terms RAMS parameters of the global system? These works result from the absence of languages and tools for the modelling of abstracted architectures obtained by composition of software and hardware entities. The proposed SAFE-SADT method is a first response element. It allows the modelling, the characterization, the identification and the representation of dependences within the operational architecture. It allows the quantification of the dependability parameters with intent to validate the operational architecture by taking into account the dynamic aspects by means of a Monte Carlo simulation.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (158 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 128-137

Où se trouve cette thèse ?

  • Bibliothèque : Université de Valenciennes et du Hainaut-Cambrésis. Service commun de la documentation. Site du Mont Houy.
  • Disponible sous forme de reproduction pour le PEB
  • Cote : 900180 TH
  • Bibliothèque : Université de Valenciennes et du Hainaut-Cambrésis. Service commun de la documentation. Site du Mont Houy.
  • Disponible pour le PEB
  • Cote : 900181 TH
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.