Eliciting dependability requirements: a control cases based approach

At present, great demands are posed on software dependability. But how to elicit the dependability requirements is still a challenging task. This paper proposes a novel approach to address this issue. The essential idea is to model a dependable software system as a feedforward-feedback control system, and presents the use cases + control cases model to express the requirements of the dependable software systems. In this model, while the use cases are adopted to model the functional requirements, two kinds of control cases (namely the feedforward control cases and the feedback control cases) are designed to model the dependability requirements. The use cases + control cases model provides a unified framework to integrate the modeling of the functional requirements and the dependability requirements at a high abstract level. To guide the elicitation of the dependability requirements, a HAZOP based process is also designed. A case study is conducted to illustrate the feasibility of the proposed approach.

[1]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[2]  Kai-Yuan Cai,et al.  An Overview of Software Cybernetics , 2003, STEP.

[3]  Graham C. Goodwin,et al.  Control System Design , 2000 .

[4]  Paolo Donzelli,et al.  A practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability computing project , 2006, J. Syst. Softw..

[5]  Christopher J. Pavlovski,et al.  Control case approach to record and model non-functional requirements , 2008, Inf. Syst. E Bus. Manag..

[6]  Bjørn Axel Gran,et al.  Addressing dependability by applying an approach for model-based risk assessment , 2007, Reliab. Eng. Syst. Saf..

[7]  Motoel Azuma.  Dependable computing and fault‐tolerant systems, vol 5—dependability: Basic concepts and terminology J. C. Laprie (Ed.) Published by Springer‐Verlag, vienna, 1992 ISBN 321182296 8, 268 pages. Hardback price: DM128.00 , 1992 .

[8]  L. Laibinis,et al.  Fault Tolerance in Use-Case Modeling , 2005 .

[9]  Julio Cesar Sampaio do Prado Leite,et al.  On Non-Functional Requirements in Software Engineering , 2009, Conceptual Modeling: Foundations and Applications.

[10]  David John Pumfrey,et al.  The principled design of computer system safety analyses , 1999 .

[11]  Daniel Jackson,et al.  A direct path to dependable software , 2009, CACM.

[12]  Tim Kelly,et al.  The Need for Flexible Requirements in Dependable Systems , 2005 .

[13]  Andreas L. Opdahl,et al.  Eliciting security requirements with misuse cases , 2004, Requirements Engineering.

[14]  Tim Kelly,et al.  Extending Safety Deviation Analysis Techniques to Elicit Flexible Dependability Requirements , 2006 .

[15]  Julio Cesar Sampaio do Prado Leite,et al.  Nonfunctional requirements: from elicitation to conceptual models , 2004, IEEE Transactions on Software Engineering.

[16]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[17]  Ian F. Alexander,et al.  Misuse Cases: Use Cases with Hostile Intent , 2003, IEEE Softw..

[18]  John Mylopoulos,et al.  From object-oriented to goal-oriented requirements analysis , 1999, CACM.

[19]  Ian Sommerville,et al.  An Integrated Approach to Dependability Requirements Engineering , 2003 .

[20]  Barbara Paech,et al.  MOQARE: misuse-oriented quality requirements engineering , 2008, Requirements Engineering.

[21]  Ivar Jacobson,et al.  Unified Modeling Language Reference Manual, The (2nd Edition) , 2004 .

[22]  Seok-Won Lee,et al.  Dependability Requirements for Software-intensive Systems through the Definition of a Common Language , 2005 .