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

Raymond A. Marie 1
1 DIONYSOS - Dependability Interoperability and perfOrmance aNalYsiS Of networkS
Inria Rennes – Bretagne Atlantique , IRISA-D2 - RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES
Résumé : 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.
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00703382
Contributeur : Raymond Marie <>
Soumis le : lundi 4 juin 2012 - 09:30:20
Dernière modification le : mardi 16 janvier 2018 - 15:54:13
Document(s) archivé(s) le : mercredi 5 septembre 2012 - 02:19:31

Fichier

RR-7984.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00703382, version 2

Citation

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〉

Partager

Métriques

Consultations de la notice

228

Téléchargements de fichiers

215