Keyword : fault trees


Constraint-Based Software Specifications and Verification Using UML
Chin-Feng FAN Chun-Yin CHENG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/06/01
Vol. E89-D  No. 6 ; pp. 1914-1922
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
constraintsSpecTRM-RLUMLOCLfault trees
 Summary | Full Text:PDF(761.3KB)

A Hierarchical Approach to Dependability Evaluation of Distributed Systems with Replicated Resources
Eun Hye CHOI Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/06/01
Vol. E84-D  No. 6 ; pp. 692-699
Type of Manuscript:  PAPER
Category: Fault Tolerance
Keyword: 
distributed systemsdependability evaluationreplicated resourcesMarkov modelfault trees
 Summary | Full Text:PDF(806.3KB)