A pattern for structuring the behavioural requirements of features of an embedded system

Feature-oriented software requirements specify features in a product line as separate modules. In this paper, we present the Mode-Based Behaviour pattern that provides advice on how to structure the behavioural requirements of an individual feature using state machines. The pattern not only defines the control flow of a feature, but also places constraints on the kinds of behaviour that a feature can perform while in certain operating modes. The pattern has been created by examining several production-grade automotive features and identifying commonalities in their high-level behaviours; however the pattern is not automotive specific.

[1]  Constance L. Heitmeyer,et al.  Automated consistency checking of requirements specifications , 1996, TSEM.

[2]  Richard C. Waters,et al.  The Requirements Apprentice: Automated Assistance for Requirements Acquisition , 1991, IEEE Trans. Software Eng..

[3]  Helen M. Edwards,et al.  Problem frames: analyzing and structuring software development problems , 2002, Softw. Test. Verification Reliab..

[4]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[5]  Neil A. M. Maiden,et al.  The Domain Theory for Requirements Engineering , 1998, IEEE Trans. Software Eng..

[6]  Bruce P. Douglass,et al.  Doing hard time: developing real-time systems with uml , 1999 .

[7]  Barbara Paech,et al.  RePa Requirements Pattern Template , 2012 .

[8]  Martin Käser,et al.  Requirements patterns for seismology software applications , 2012, 2012 Second IEEE International Workshop on Requirements Patterns (RePa).

[9]  Martin Fowler,et al.  Analysis patterns - reusable object models , 1996, Addison-Wesley series in object-oriented software engineering.

[10]  Betty H. C. Cheng,et al.  Requirements patterns for embedded systems , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[11]  David Dietrich,et al.  A mode-based pattern for feature requirements, and a generic feature interface , 2013, 2013 21st IEEE International Requirements Engineering Conference (RE).

[12]  Carme Quer,et al.  A Metamodel for Software Requirement Patterns , 2010, REFSQ.

[13]  Xavier Franch,et al.  Software requirement patterns , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[14]  Sven Apel,et al.  An Overview of Feature-Oriented Software Development , 2009, J. Object Technol..

[15]  Alexander L. Wolf,et al.  A conceptual basis for feature engineering , 1999, J. Syst. Softw..