Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(15)
Building Block
Control Structure
Critical System
Distributed Computing System
Dynamic Behavior
Dynamic System
Fault Tolerant
Formal Model
Modeling and Analysis
Satisfiability
Statistical Independence
System Architecture
System Reliability
Theory and Modeling
Fault Tree
Subscribe
Academic
Publications
Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees
Edit
Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees
(
Citations: 6
)
BibTex
|
RIS
|
RefWorks
Download
Salvatore Distefano
,
Antonio Puliafito
Dependability evaluation is an important often-mandatory step in designing and analyzing (critical) systems. Introducing control and/or computing devices to automate processes increases the system complexity, with an impact on the overall dependability. This occurs as a consequence of interferences, dependencies, and other similar effects that cannot be adequately managed through formalisms such as reliability block diagrams (RBDs), fault trees (FTs), and reliability graphs (RGs), since the
statistical independence
assumption is not satisfied. In addition, more enhanced notations such as dynamic FTs (DFTs) might not be adequate to represent all the behavioral aspects of dynamic systems. To overcome these problems, we developed a new formalism derived from RBD: the dynamic RBD (DRBD). DRBD exploits the concept of dependence as the
building block
to represent dynamic behaviors, allowing us to compose the dependencies and adequately manage the arising conflicts by means of a priority algorithm. In this paper, we explain how we can use the DRBD notation by specifying a practical methodology. Starting from the system knowledge, the proposed methodology drives to the overall
system reliability
evaluation through the entire phases of modeling and analysis. Such a technique is applied to an example taken from the literature, consisting of a
distributed computing
system.
Journal:
IEEE Transactions on Dependable and Secure Computing - TDSC
, vol. 6, no. 1, pp. 4-17, 2009
DOI:
10.1109/TDSC.2007.70242
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
dx.doi.org
)
(
ieeexplore.ieee.org
)
(
www.informatik.uni-trier.de
)
(
ieeexplore.ieee.org
)
(
ieeexplore.ieee.org
)
More »
Citation Context
(6)
...It can easily carry out most dynamic analysis by introduction of dynamic logic gates such as PAND, SEQ, SPARE, and VOTE [17], [18], though it might not be adequate to represent all the behavioral aspects of dynamic systems [
19
]...
Zhihui Dai
,
et al.
Protection Dynamic Reliability Analysis System Based on 3RF Technique
...A possible solution could be the use of high level notations such as dynamic fault trees (DFT) [1]and dynamic reliability block diagrams (DRBD) [
2
], [3], that are usually obtained by extending the corresponding combinatorial formalism, such as FT and RBD...
Salvatore Distefano
,
et al.
Availability Assessment of HA Standby Redundant Clusters
...Their main advantage is represented by their simplicity and versatility [5][
7
]...
O. Boncalo
,
et al.
Accuracy analysis of the parallel composition for the block diagram ba...
...Even though there are several attempts in the specific literature to deal with dynamic reliability phenomena (dynamic fault trees (DFT) [1], boolean logic driven Markov process (BDMP) [2], dynamic reliability block diagrams (DRBD) [
3
], [4]), these primarily cover the modeling aspect...
Salvatore Distefano
,
et al.
Symbolic Representation Techniques in Dynamic Reliability Evaluation
...Therefore, since often it is not possible to split the standby behaviors of a system into idle and dormant states due to the nature of the underlying physics phenomena, only a unique standby state is usually specified by merging such states, as confirmed by the specific literature [10, 11,
12
]...
Salvatore Distefano
.
Characterization and evaluation of standby in reliability
References
(18)
Reliability Assessment of Structural Systems Using Discrete-Event Simulation
(
Citations: 5
)
Hasan A. Kamal
,
Bilal M. Ayyub
A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models
(
Citations: 17
)
Malathi Veeraraghavan
,
Kishor S. Trivedi
Journal:
IEEE Transactions on Computers - TC
, vol. 43, no. 2, pp. 229-234, 1994
A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes
(
Citations: 47
)
Marc Bouissou
,
Jean-Louis Bon
Journal:
Reliability Engineering & System Safety - RELIAB ENG SYST SAFETY
, vol. 82, no. 2, pp. 149-163, 2003
Dependability modeling using Petri-nets
(
Citations: 82
)
Manish Malhotra
,
Kishor S. Trivedi
Journal:
IEEE Transactions on Reliability - TR
, vol. 44, no. 3, pp. 428-440, 1995
Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics
(
Citations: 22
)
Andrea Bobbio
,
Giuliana Franceschinis
,
Rossano Gaeta
,
Luigi Portinale
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 29, no. 3, pp. 270-287, 2003
Order by:
Citations
(6)
Protection Dynamic Reliability Analysis System Based on 3RF Technique
(
Citations: 1
)
Zhihui Dai
,
Zengping Wang
Journal:
IEEE Transactions on Power Systems - IEEE TRANS POWER SYST
, vol. 26, no. 3, pp. 1137-1144, 2011
Availability Assessment of HA Standby Redundant Clusters
Salvatore Distefano
,
Francesco Longo
,
Marco Scarpa
Conference:
Symposium on Reliable Distributed Systems - SRDS
, pp. 265-274, 2010
Accuracy analysis of the parallel composition for the block diagram based reliability assessment of quantum circuits
O. Boncalo
,
M. Vladutiu
,
A. Amaricai
Conference:
International Conference on Computational Cybernetics - ICCC
, 2010
Symbolic Representation Techniques in Dynamic Reliability Evaluation
Salvatore Distefano
,
Francesco Longo
,
Marco Scarpa
Published in 2010.
Characterization and evaluation of standby in reliability
Salvatore Distefano
Published in 2010.