The Community for Technology Leaders
2013 21st IEEE International Requirements Engineering Conference (RE) (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
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
Ali Ebnenasir, Betty H.C. Cheng, Sascha Konrad, "Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance", 2013 21st IEEE International Requirements Engineering Conference (RE), vol. 00, no. , pp. 343-344, 2006, doi:10.1109/RE.2006.70
80 ms
(Ver 3.3 (11022016))