Dependability-Focused
Requirements Elicitation
 

Discovering and documenting potential abnormal situations and irregular user behavior that can interrupt normal system interaction is of tremendous importance in the context of dependable systems development. Exceptional situations that are not identified during requirements elicitation might eventually lead to an incomplete system specification during analysis, and ultimately to an implementation that lacks certain functionality, or even behaves in an unreliable way.

DREP, our Dependability- focused Requirements Elicitation Process, is a development process that systematically guides the developer to consider reliability and safety concerns of reactive systems. After the discovery of normal system behavior by means of use cases, the developer is lead to explore exceptional situations arising in the environment that change the context in which the system operates and service-related exceptional situations that threaten to fail user goals. The process requires the developer to specify means that detect such situations, and to define the recovery measures that attempt to put the system in a reliable and safe state. The process is iterative, and refinements are carried out, if necessary, to achieve desired quality levels. The individual steps of our process are outlined in the flow chart below.


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.

This is why DREP has explicitly defined tasks that discovering and specify degraded outcomes, i.e. well specified partial outcomes that can be provided by the system if the requested service can not be achieved due to some problem.

If an exceptional situation can lead to the degradation of provision of future services or if the system safety is threatened, DREP advocates to switch the system to an exceptional mode of operation in which only those services are offered that can be provided with satisfying reliability and safety. Apart from increasing system reliability and safety by not attempting to provide potentially problematic services, user dissatisfaction is also prevented. The system does not promise what it cannot deliver.

Publications on DREP

  1. Sadaf Mustafiz, Jörg Kienzle: “DREP: A Requirements Engineering Process for Dependable Reactve Systems”, to appear in “Methods, Models and Tools for Fault Tolerance”, Springer Verlag, 2008.

  2. Sadaf Mustafiz, Sun Xu, Jörg Kienzle, Hans Vangheluwe: “Model-Driven Assessment of Use Cases for Dependable Systems”, in Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems - MoDELS 2006, Lecture Notes in Computer Science 4199, Springer Verlag, p. 558 - 573, October 2008.

  3. Aaron Shui, Sadaf Mustafiz, Jörg Kienzle: “Exception-aware Requirements Elicitation with Use Cases”, in “Advanced Topics in Exception Handling Techniques”, Lecture Notes in Computer Science 4119, Springer Verlag, p. 221 - 242, October 2006.

  4. Aaron Shui, Sadaf Mustafiz, Jörg Kienzle, Christophe Dony: “Exceptional Use Cases”, in 8th International Conference on Model Driven Engineering Languages and Systems - MoDELS 2005, Lecture Notes in Computer Science 3713, Springer Verlag, p. 568 - 583, October 2005.


Last modified: November 23, 2015, Jörg Kienzle