loading...
Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance
Minneapolis/St. Paul, Minnesota, USA September 11-September 15
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RE.2006.7014th IEEE International Requirements ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Ali Ebnenasir, Michigan State University
Betty H.C. Cheng, Michigan State University
Sascha Konrad, Michigan State University
Explicitly addressing fault-tolerance during the requirements analysis phase facilitates the early detection of inconsistencies between functional and fault-tolerance requirements, which could potentially reduce the overall development costs. Most existing approaches use redundancy of services as a means to mask faults, where it is difficult to provide a systematic approach for modeling and analyzing the effect of faults on functional requirements during use case analysis. Moreover, providing masking fault-tolerance could be costly or impractical. This paper overviews a systematic approach for use case-based modeling of faults and failsafe fault-tolerance, where a failsafe fault-tolerant system at least meets its safety requirements when faults occur.
Index Terms:
Use Case Modeling, Fault-Tolerance, Safety, Formal Methods
Citation:
Ali Ebnenasir, Betty H.C. Cheng, Sascha Konrad, "Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance," re, pp.343-344, 14th IEEE International Requirements Engineering Conference (RE'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.