The Community for Technology Leaders
14th IEEE International Requirements Engineering Conference (RE'06) (2006)
Minneapolis/St. Paul, Minnesota, USA
Sept. 11, 2006 to Sept. 15, 2006
ISSN: 1090-705X
ISBN: 0-7695-2555-5
pp: 343-344
Ali Ebnenasir , Michigan State University
Betty H.C. Cheng , Michigan State University
Sascha Konrad , Michigan State University
ABSTRACT
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

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.
doi:10.1109/RE.2006.70
89 ms
(Ver 3.3 (11022016))