{"title":"Combinatorial-models and coverage: a binary decision diagram (BDD) approach","authors":"S. A. Doyle, J. Dugan, M. Boyd","doi":"10.1109/RAMS.1995.513227","DOIUrl":null,"url":null,"abstract":"This paper presents the DREDD (Dependability and Risk Analysis using Decision Diagrams) algorithm which incorporates coverage modeling into a BDD solution of a combinatorial model. The DREDD algorithm takes advantage of the efficiency of the BDD solution approach and the increased accuracy afforded by coverage modeling. BDDs have been used to find exact solutions for extremely large systems, including those with as many as 10/sup 20/ prime implicants. Including coverage in this process will increase the validity of the results, since a more complete model allows for more realistic analysis. The reliability of life critical systems which previously could only be approximated may now be analyzed more accurately.","PeriodicalId":143102,"journal":{"name":"Annual Reliability and Maintainability Symposium 1995 Proceedings","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"1995-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"17","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Annual Reliability and Maintainability Symposium 1995 Proceedings","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/RAMS.1995.513227","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 17
Abstract
This paper presents the DREDD (Dependability and Risk Analysis using Decision Diagrams) algorithm which incorporates coverage modeling into a BDD solution of a combinatorial model. The DREDD algorithm takes advantage of the efficiency of the BDD solution approach and the increased accuracy afforded by coverage modeling. BDDs have been used to find exact solutions for extremely large systems, including those with as many as 10/sup 20/ prime implicants. Including coverage in this process will increase the validity of the results, since a more complete model allows for more realistic analysis. The reliability of life critical systems which previously could only be approximated may now be analyzed more accurately.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
