Addressing degraded service outcomes and exceptional modes of operation in behavioural models

Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, SERENE'08

Volumn , Issue , 2008, Pages 19-28

  Mustafiz, Sadaf ^a   Kienzle, Jörg ^a   Berlizev, Andrey ^b  

^a MCGILL UNIVERSITY   (Canada)

^b UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

Degraded mode; Degraded outcome; Dependability; Requirements engineering

Indexed keywords

ACTIVITY DIAGRAM; BEHAVIOURAL MODEL; DEGRADED MODE; DEGRADED OUTCOME; DEPENDABILITY; DEPENDABLE SOFTWARES; DEPENDABLE SYSTEMS; FULL SERVICE; MODES OF OPERATION; REQUIREMENTS ENGINEERING PROCESS; SERVICE PROVISIONS; STATE CHARTS; USER GOALS;

COMPUTER SOFTWARE; REQUIREMENTS ENGINEERING;

ENGINEERING;

EID: 70349148929     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1479772.1479776     Document Type: Conference Paper

References (14)

1. I. F. Alexander. Misuse cases: Use cases with hostile intent. IEEE Software, 20(1):58-66, 2003.
2. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. Dependable and Secure Computing, IEEE Transactions on, 1(1):11-33, Jan.-March 2004.
3. A. Berlizev and N. Guelfi. CORRECT Analysis for Embedded System Modeling: An Outcome of East-West Scientific Cooperation. In SEESE 08, pages 23-30. Proceedings of the IEEE, 2008.
4. J.-C. Geffroy and G. Motet. Design of Dependable Computing Systems. Kluwer Academic Publishers, 2002.
5. D. Harel. On visual formalisms. Communications of the ACM, 31(5):514-530, May 1988.
6. C. Larman. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process. Prentice Hall, 2002.
7. P. A. Lee and T. Anderson. Fault tolerance-principles and practice. In Dependable Computing and Fault-Tolerant Systems. Springer Verlag, 1990.
8. J. Lygeros, D. N. Godbole, and M. E. Broucke. Design of an extended architecture for degraded modes of operation of AHS, May 26 1995.
9. S. Mustafiz and J. Kienzle. DREP: A requirements engineering process for dependable reactive systems. In M. Butler, C. Jones, A. Romanovsky, and E. Troubitsyna, editors, Methods, Models, and Tools for Fault Tolerance. 2008. To be published.
10. S. Mustafiz, X. Sun, J. Kienzle, and H. Vangheluwe. Model-driven assessment of system dependability. Software and Systems Modeling (SoSym), March 2007.
11. Object Management Group. Unified Modeling Language: Superstructure, October 2004.
12. C. Shea and C. Johnson. The contribution of degraded modes of operation as a cause of incidents and accidents in air traffic management. In Proceedings of the 25th ISSC, pages 616-626, 2007.
13. A. Shui, S. Mustafiz, J. Kienzle, and C. Dony. Exceptional use cases. In MoDELS, volume 3713 of LNCS, pages 568-583. Springer, 2005.
14. D. Srivastava and P. Narasimhan. Architectural support for mode-driven fault tolerance in distributed applications. ACM SIGSOFT Software Engineering Notes, 30(4):1-7, 2005.