Vérification des objectifs de disponibilité et de maintenabilité des systèmes complexes modélisés par leurs ensembles minimaux : vers une optimisation de la sureté des systèmes

par Rezki Ziani

Thèse de doctorat en Sciences appliquées

Sous la direction de J. F. GUYONNET.

Soutenue en 1986

à Compiègne .

    mots clés mots clés


  • Résumé

    Etant donné un système, l’utilisateur demande à ce système qu’il satisfasse à ses besoins avec des garanties suffisantes. Le constructeur répond par des performances mais rencontre des difficultés à démontrer les garanties. Dans ce travail, nous développons une méthodologie rigoureuse aidant le constructeur à démontrer les garanties, à confirmer la bonne conception du système et/ou indiquer les recommandations favorables. Un modèle de vérification à objectifs de sûreté pour un système en phase conception est proposé. Pour rendre réalistes les actions d’amélioration qui peuvent être proposés, ce modèle est généralisé à un modèle d’optimisation avec contrainte économique.

  • Titre traduit

    Verification of availability and maintenability of the complex systems modelised by their minimal lie-sels : towards an optimization of the systems safety


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 151 P.

Où se trouve cette thèse ?