The Six-Variable Model - Context Modelling Enabling Systematic Reuse of Control Software

Nelufar Ulfat-Bunyadi, Rene Meis, Maritta Heisel

Abstract

A control system usually consists of some control software as well as sensors and actuators to monitor and control certain quantities in the environment. The context of the control software thus consists of the sensors and actuators it uses and the environment. When starting development of the control software, its context is often not predefined or given. There are contextual decisions the developers can make (e.g. which sensors/ actuators/other systems to use). By means of these decisions, the context is defined step by step. Existing approaches (like the Four-Variable Model) call for documenting the environmental quantities (monitored, controlled, input, and output variables) that are relevant after making these contextual decisions. The environmental quantities that have originally been relevant (i.e. before deciding which sensors/actuators/other systems to use) are not documented. This results in problems when the software shall later on be reused in another, slightly different setting (e.g. with additional sensors). Then, it is hard for developers to decide which environmental quantities are still relevant for the software. In this paper, we suggest an extended version of the Four-Variable Model, the Six-Variable Model, and, based on that, a context modelling method, that combines existing approaches. The benefit of our method is that the environmental quantities that are relevant before and after decision making are documented as well as the contextual decisions themselves and the options that were selectable. In this way, later reuse of the software is facilitated.

References

  1. Alebrahim, A., Heisel, M., and Meis, R. (2014). A structured approach for eliciting, modeling, and using quality-related domain knowledge. In Proc. of ICCSA 2014, LNCS 8583, pages 370-386. Springer.
  2. Bharadwaj, R. and Heitmeyer, C. (1999). Hardware/software co-design and co-validation using the scr methodhardware/software co-design and covalidation using the scr method. In IEEE Intl. High Level Design Validation and Test Workshop.
  3. Cote, I., Hatebur, D., Heisel, M., and Schmidt, H. (2011). Uml4pf - a tool for problem-oriented requirements analysis. In Proc. of RE 2011, pages 349-350. IEEE Computer Society.
  4. Gunter, C. A., Gunter, E. L., Jackson, M., and Zave, P. (2000). A reference model for requirements and specifications. IEEE Software, 17(3):37-43.
  5. Jackson, M. (2001). Problem Frames - Analysing and Structuring Software Development Problems. AddisonWesley.
  6. McMenamin, S. M. and Palmer, J. (1984). Essential Systems Analysis. Prentice Hall, London.
  7. Miller, S. P. and Tribble, A. C. (2001). Extending the fourvariable model to bridge the system-software gap. In Proceedings of the 20th Digital Avionics Systems Conferene (DASC01).
  8. Parnas, D. and Madey, J. (1995). Functional documents for computer systems. Science of Computer Programming, 25(1):41-61.
  9. Patcas, L., Lawford, M., and Maibaum, T. (2013). From system requirements to software requirements in the four-variable model. In Proceedings of the Automated Verification of Critical Systems (AVoCS 2013) .
  10. Pohl, K. (2010). Requirements Engineering- Fundamentals, Principles, and Techniques. Springer.
  11. Robert Bosch GmbH (2003). ACC Adaptive Cruise Control - The Bosch Yellow Jackets. Edition 2003 edition.
  12. van Lamsweerde, A. (2009). Requirements Engineering - From System Goals to UML Models to Software Specifications . John Wiley and Sons.
  13. Zave, P. and Jackson, M. (1997). Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology, 6(1):1-30.
Download


Paper Citation


in Harvard Style

Ulfat-Bunyadi N., Meis R. and Heisel M. (2016). The Six-Variable Model - Context Modelling Enabling Systematic Reuse of Control Software . In Proceedings of the 11th International Joint Conference on Software Technologies - Volume 2: ICSOFT-PT, (ICSOFT 2016) ISBN 978-989-758-194-6, pages 15-26. DOI: 10.5220/0005944100150026


in Bibtex Style

@conference{icsoft-pt16,
author={Nelufar Ulfat-Bunyadi and Rene Meis and Maritta Heisel},
title={The Six-Variable Model - Context Modelling Enabling Systematic Reuse of Control Software},
booktitle={Proceedings of the 11th International Joint Conference on Software Technologies - Volume 2: ICSOFT-PT, (ICSOFT 2016)},
year={2016},
pages={15-26},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005944100150026},
isbn={978-989-758-194-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Joint Conference on Software Technologies - Volume 2: ICSOFT-PT, (ICSOFT 2016)
TI - The Six-Variable Model - Context Modelling Enabling Systematic Reuse of Control Software
SN - 978-989-758-194-6
AU - Ulfat-Bunyadi N.
AU - Meis R.
AU - Heisel M.
PY - 2016
SP - 15
EP - 26
DO - 10.5220/0005944100150026