Use case-based modeling and analysis of failsafe fault-tolerance

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2006, Pages 336-337

  Ebnenasir, Ali ^a   Cheng, Betty H C ^a   Konrad, Sascha ^a  

^a Michigan State University   (United States)

Author keywords

Fault tolerance; Formal methods; Safety; Use case modeling

Indexed keywords

FORMAL METHODS; OPERATING COSTS; SECURITY OF DATA;

CASE ANALYSIS; PHASE FACILITATES; USE CASE MODELING;

FAULT TOLERANCE;

EID: 41149147242     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RE.2006.70     Document Type: Conference Paper

References (9)

1. I. Alexander. Misuse cases help to elicit non-functional requirements. IEE CCEJ, 14(1):40-45, 2003.
2. A. Arora and M. G. Gouda. Closure and convergence: A foundation of fault-tolerant computing. IEEE Transactions on Software Engineering, 19(11):1015-1027, 1993.
3. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1999.
4. S. Konrad and B. H. C. Cheng. Facilitating the construction of specification pattern-based properties. In Proceedings of the IEEE International Requirements Engineering Conference (RE05), Paris, France, August 2005.
5. S. S. Kulkarni and A. Ebnenasir. Complexity issues in automated synthesis of failsafe fault-tolerance. IEEE Transactions on Dependable and Secure Computing, 2(3):201-215, July-September 2005.
6. L. Laibinis and E. Troubitsyna. Fault tolerance in use case modeling. In Proceedings of RHAS 2005 - the Workshop on Requirements for High Assurance Systems, 2005.
7. C. M. F. Rubira and et al. Exception handling in the development of dependable component-based systems. Software Practice and Experience, 35:195-236, 2005.
8. A. Shui, S. Mustafiz, J. Kienzle, and C. Dony. Exceptional use cases. In Proceedings of 8th International Conference on Model Driven Engineering Languages and Systems (MoD-ELS), volume 3713 of Lecture Notes in Computer Science, pages 568-583, 2005.
9. G. Sindre and A. L. Opdahl. Eliciting security requirements by misuse cases. In Proceedings of TOOLS Pacific, pages 120 -131, November 2000.