Satisfiability techniques for computing minimal tie sets in reliability assessment

Estimates of system reliability crucially rely on qualitative techniques for determining the impact of component failures. Formally, the structure function of a system determines minimal tie or cut sets that are instrumental for quantitative techniques of reliability assessment. This paper describes three techniques, based on Boolean satisfiability solving, for computing minimal tie sets.

Mots clés

Hasse diagram reliability tie set cut set satisfiability

Domaines

Performance et fiabilité [cs.PF]

Fichier principal

Techreport - Satisfiability techniques for computing minimal tie sets in reliability assessment.pdf (299.51 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Margaux Duroeulx : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01518920

Soumis le : vendredi 5 mai 2017-15:38:17

Dernière modification le : vendredi 2 février 2024-16:08:19

Archivage à long terme le : dimanche 6 août 2017-15:43:44

Dates et versions

hal-01518920 , version 1 (05-05-2017)

Identifiants

HAL Id : hal-01518920 , version 1

Citer

Margaux Duroeulx, Nicolae Brinzei, Marie Duflot, Stephan Merz. Satisfiability techniques for computing minimal tie sets in reliability assessment. 2017. ⟨hal-01518920⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA CRAN UNIV-LORRAINE INRIA2 LORIA LORIA-FM CRAN-MPSI

323 Consultations

273 Téléchargements