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 sûreté des systèmes

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

• Auteur / Autrice : Rezki Ziani
• Direction : Jean-François Guyonnet
• Type : Thèse de doctorat
• Discipline(s) : Contrôle des systèmes
• Date : Soutenance en 1986
• Etablissement(s) : Compiègne
• Ecole(s) doctorale(s) : École doctorale Sciences pour l'ingénieur (Compiègne)

Mots clés

Mots clés contrôlés

Modèles mathématiques

Optimisation mathématique

Maintenabilité

Fiabilité

Disponibilité (systèmes)

Systèmes complexes

Sécurité des systèmes

Résumé

Étant 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.