14th IEEE International Requirements Engineering Conference (RE'06) (2006)
Minneapolis/St. Paul, Minnesota, USA
Sept. 11, 2006 to Sept. 15, 2006
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RE.2006.70
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.
Use Case Modeling, Fault-Tolerance, Safety, Formal Methods
S. Konrad, B. H. Cheng and A. Ebnenasir, "Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance," 14th IEEE International Requirements Engineering Conference (RE'06)(RE), Minneapolis/St. Paul, Minnesota, USA, 2006, pp. 343-344.