s'authentifier
version française rss feed

hal-00703382, version 2

Reduced Dependent Ordered Binary Decision Diagrams: An Extension of ROBDDs for Dependent Variables

Raymond A. Marie () 1

N° RR-7984 (2012)

Résumé : In this report, we presented an extension of robdds that is able to accommodate certain dependencies among their (Boolean) variables. In particular, this extension shows evidence of being applicable to evaluating the dependability (reliability, availability) of systems whose structures are representable by a Boolean function. This extension consists of three main parts. The first part is the notion of a phratry with its associated new definitions and constraints. The second part consists of the adaptation and complementation of the original rules used in the construction of robdds. The final part concerns additional custom-made steps needed to determine the functional valuations that are specific to solving measure in question.

  • Domaine : Informatique/Performance et fiabilité
    Informatique/Mathématique discrète
    Informatique/Recherche opérationnelle
  • Mots-clés : ROBDDs – Binary decision diagrams – Analytical models – Fault tolerant systems – Correlation – Failure analysis – Nonindependent component analysis.
  • Référence interne : RR-7984
  • Versions disponibles :  v1 (01-06-2012) v2 (05-06-2012)
 
  • hal-00703382, version 2
  • oai:hal.inria.fr:hal-00703382
  • Contributeur : 
  • Soumis le : Lundi 4 Juin 2012, 09:30:20
  • Dernière modification le : Mardi 27 Novembre 2012, 10:52:36
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...