Communications of the ACM
Design of dependable computing systems
Design of dependable computing systems
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Architectural support for mode-driven fault tolerance in distributed applications
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Correct analysis for embedded system modeling: an outcome of east-west scientific cooperation
Proceedings of the 2008 international workshop on Software Engineering in east and south europe
Misuse Cases: Use Cases with Hostile Intent
IEEE Software
DREP: A Requirements Engineering Process for Dependable Reactive Systems
Methods, Models and Tools for Fault Tolerance
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
DREP: A Requirements Engineering Process for Dependable Reactive Systems
Methods, Models and Tools for Fault Tolerance
Model transformation of dependability-focused requirements models
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Modal Systems: Specification, Refinement and Realisation
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
| Hi-index | 0.00 |
A dependable software system should attempt to at least partially satisfy user goals if full service provision is impossible due to an exceptional situation. In addition, a dependable system should evaluate the effects of the exceptional situation on future service provision and adjust the set of services it promises to deliver accordingly. In this paper we show how to express degraded service outcomes and exceptional modes of operation in behavioural models, i.e. use cases, activity diagrams and state charts. We also outline how to integrate the task of discovering and defining degraded outcomes and exceptional modes of operation into a requirements engineering process by presenting the relevant parts of our dependability-focused requirements engineering process DREP.