Full metadata record
DC FieldValueLanguage
dc.contributor.authorCONTINI Sergioen_GB
dc.contributor.authorMATUZAS VAIDASen_GB
dc.date.accessioned2010-04-19T15:08:40Z-
dc.date.available2010-01-28en_GB
dc.date.available2010-04-19T15:08:40Z-
dc.date.created2010-01-21en_GB
dc.date.issued2010en_GB
dc.date.submitted2009-12-21en_GB
dc.identifier.isbn978-92-79-14857-6en_GB
dc.identifier.issn1018-5593en_GB
dc.identifier.otherEUR 24152 ENen_GB
dc.identifier.otherOPOCE LB-NA-24152-EN-Cen_GB
dc.identifier.urihttp://publications.jrc.ec.europa.eu/repository/handle/JRC56318-
dc.description.abstractThis report contains the description of the main methods, implemented in ASTRA 3.0, to analyse coherent and non-coherent fault trees. ASTRA 3.0 is fully based on the Binary Decision Diagrams (BDD) approach. In case of non-coherent fault trees ASTRA 3.0 dynamically assigns to each node of the graph a label that identifies the type of the associated variable in order to drive the application of the most suitable analysis algorithms. The resulting BDD is referred to as Labelled BDD (LBDD). Exact values of the unavailability, expected number of failure and repair are calculated; the unreliability upper bound is automatically determined under given conditions. Five different importance measures of basic events are also provided. From the LBDD a ZBDD embedding all the MCS is obtained from which a subset of Significant Minimal Cut Sets (SMCS) is determined through the application of the cut-off techniques. With very complex trees it may happen that the working memory is not sufficient to store the large LBDD structure. In these cases ASTRA 3.0 completes the analysis by constructing a Reduced ZBDD embedding the SMCS - using cut-off techniques - thus by-passing the construction of the LBDD. The report also contains few tutorials on the usefulness of non-coherent fault trees, on the BDD approach, and on the determination of failure and repair frequencies.en_GB
dc.description.sponsorshipJRC.DG.G.7-Traceability and vulnerability assessmenten_GB
dc.format.mediumPrinteden_GB
dc.languageENGen_GB
dc.publisherPublications Office of the European Unionen_GB
dc.relation.ispartofseriesJRC56318en_GB
dc.titleASTRA 3.0: Logical and Probabilistic Analysis Methodsen_GB
dc.typeEUR - Scientific and Technical Research Reportsen_GB
dc.identifier.doi10.2788/55214en_GB
JRC Directorate:Space, Security and Migration

Files in This Item:
File Description SizeFormat 
reqno_jrc56318_eur_24152_astra_-_methodology.pdf[1].pdf971.37 kBAdobe PDFView/Open


Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.