Author | Conference | Journal | Organization | Year | DOI
Look for results that meet for the following criteria:
Academic
Publications
Dependability Modeling and Analysis in Dynamic Systems
Edit
Dependability Modeling and Analysis in Dynamic Systems   (Citations: 2)
BibTex | RIS | RefWorks Download
Dependability evaluation is an important, often indis- pensable, step in (critical) systems design and analysis pro- cesses. The introduction of control and/or computing sys- tems to automate processes increases the overall system complexity and therefore has an impact in terms of depend- ability. When a system grows, dynamic effects, not present or manifested before, could arise or become significant in terms of reliability/availability: the system could be affected by common cause failures, the system components could interfere, effects due to load sharing arise and therefore should be considered. Moreover it is of interest to evalu- ate redundancy and maintenance policies. In those cases it is not possible to recur to notations as reliability block dia- grams (RBD), fault trees (FT) or reliability graphs (RG) to represent the system, since the statistical independence as- sumption is not satisfied. Also more enhanced formalisms as dynamic FT (DFT) could result not adequate to the goal. To overcome those problems we developed a new formal- ism derived from RBD: the dynamic RBD (DRBD). In this paper we explain how to use the DRBD notation in system modeling and analysis, coming inside a methodology that, starting from the system structure, drives to the overall sys- tem availability evaluation following modeling and analysis phases. To do this we use an example drawn from literature consisting of a multiprocessor distributed computing sys- tem, also comparing our approach with the DFT one.
Conference: International Parallel and Distributed Processing Symposium/International Parallel Processing Symposium - IPDPS(IPPS) , pp. 1-8, 2007
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.
More »
Order by:

Citations (2)

Share this on | Contribute to Academic