Reduced Dependent Ordered Binary Decision Diagrams: An Extension of ROBDDs for Dependent Variables - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2012

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

Abstract

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.
Ce document présente une extension des robdds destinée à prendre en compte certaines dépendances entre leurs variables booléennes. Cette extension est particulièrement utile pour évaluer la sûreté de fonctionnement (fiabilité, disponibilité) de systèmes dont la structure est représentable par une fonction booléenne et où des probabilités sont associées aux états. Cette extension est composée de trois parties. La première correspond à la notion de fratrie, avec ses définitions et ses contraintes. La seconde partie consiste à adapter et compléter les règles initiales utilisées dans les robdds. la troisième partie concerne les étapes spécifiques au problème à résoudre afin d'obtenir les valuations particulières aux fratries.
Fichier principal
Vignette du fichier
RR-7984.pdf (218.45 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00703382 , version 1 (01-06-2012)
hal-00703382 , version 2 (04-06-2012)

Identifiers

  • HAL Id : hal-00703382 , version 2

Cite

Raymond A. Marie. Reduced Dependent Ordered Binary Decision Diagrams: An Extension of ROBDDs for Dependent Variables. [Research Report] RR-7984, INRIA. 2012, pp.18. ⟨hal-00703382v2⟩
252 View
297 Download

Share

Gmail Facebook X LinkedIn More