How to Adapt the KAOS Method to the Requirements Engineering of Cycab Vehicle

Farida Semmak, Christophe Gnaho, Joêl Brunet, Régine Laleau

Abstract

The Cycab is a new public vehicle with fully automated driving capabilities which aims at offering other alternatives to the private car. This work is done as part of the Tacos project. The objective of this project is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification phase in the Cycab domain. Due to the long time required to experiment the Cycab vehicle prototype, it becomes very important to deal with this kind of system from the requirements phase to the test phase. In this paper, we propose an approach that provides a process specifying in a flexible way a Cycab requirement model. This process is based on two models: a generic model and a variant model. The former captures in integrated view the large variety of the systems-to-be and the latter identifies and explicitly expresses the features having an interest for the Cycab domain.

References

  1. Anton A. I., Goal based requirements Analysis, The 2nd Int. Conf. on RE 1996
  2. Baille G. et al. The INRIA Rhônes-Alpes Cycab, Technical Report N°0229, Avril 1999, ISSN 0249-0803
  3. Dardenne A., Lamsweerde A. van and Fickas S., Goal-oriented Requirements Acquisition, Science of Computer, April 1993
  4. Frakes W., Pole T., An empirical study of representational methods for reusable software component, In IEEE Transactions on Software Engineering, Vol. 20, N°8, August 1994
  5. Gnaho C. & Al, "A Tool for Modeling Variability at Goal Level", Third Int. Workshop on Variability Modelling of Software-intensive Systems (VaMoS), 2009
  6. Halmans G., Pohl K., Communicating the variability of a software product family to customers, Software and System Modeling, Springer-Verlag 2003
  7. Kang K., Cohen S., Hess J., Novak W. and Peterson S., Feature-oriented domain analysis (FODA) feasibility study CMU/SEI-90-TR-21, Univ. Pittsburgh, Pennsylvania, 1990
  8. Kang K., Kim S., Lee J. et al., FORM: A Feature-Oriented Reuse Method with DomainSpecific Reference Architectures, Annals of Software Engineering, 5, 143-168, 1998
  9. Lamsweerde A., From Systems Goals to Software Architecture, Formal Methods for Software Architectures, vol. 2804 of LNCS, Springer, 2003
  10. Liaskos S., Lapouchnian A., Yu Y., Yu E. and Mylopoulos J., On Goal-based Variability Acquisition and Analysis, 14th IEEE Int. Conf. on Requirements Engineering, 2006
  11. Liaskos S., Jiang L., Lapouchnian A., Wang Y., Yu Y., Sampaio do Prado Leite J. C. and Mylopoulos J., Exploring the Dimensions of Variability: a Requirements Engineering Perspective, First International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), 2007
  12. Objectiver Requirement Engineering tool, http://www.objectiver.com/
  13. Parent M., Automated public vehicle: a first step towards the automatic highway, in the Proc. Of the World Congress on Intelligent transport systems, Oct. 1997
  14. Prieto-Diaz R., Implementing Faceted Classification for software reuse, Communications of the ACM, Vol. 34, N°5, May 1991
  15. Rolland C., Souveyet C., and Ben Achour C., Guiding Goal Modelling Using Scenarios, IEEE Transactions on Software Engineering (TSE), 1998
  16. Semmak F., J Brunet., Variability in Goal-oriented Domain Requirements, 9th International. Conference on Software Reuse (ICSR), vol. 4039 of LNCS, Springer Verlag, 2006
  17. Semmak, F. & Al, "Extended Kaos to support Variability for Goal oriented Requirements reuse", Int. Workshop Model Driven Information Systems Engineering with Caise'2008
  18. TACOS project, ANR-06-SETIN-017, programme SETIN'06, http://tacos.loria.fr
  19. Van Gurp J., Bosch J., Svahnberg M., On the notion of variability in Software Product Lines, Proceedings of the Working IEEE/IFIP Conference on Software Architecture, 2001
  20. Yu E., Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering, ACM Press, 3rd IEEE International Symposium on Requirements Engineering, pages 226-235, 1997
Download


Paper Citation


in Harvard Style

Semmak F., Gnaho C., Brunet J. and Laleau R. (2009). How to Adapt the KAOS Method to the Requirements Engineering of Cycab Vehicle . In Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-811-98-2, pages 87-94. DOI: 10.5220/0001952900870094


in Bibtex Style

@conference{enase09,
author={Farida Semmak and Christophe Gnaho and Joêl Brunet and Régine Laleau},
title={How to Adapt the KAOS Method to the Requirements Engineering of Cycab Vehicle},
booktitle={Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2009},
pages={87-94},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001952900870094},
isbn={978-989-811-98-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - How to Adapt the KAOS Method to the Requirements Engineering of Cycab Vehicle
SN - 978-989-811-98-2
AU - Semmak F.
AU - Gnaho C.
AU - Brunet J.
AU - Laleau R.
PY - 2009
SP - 87
EP - 94
DO - 10.5220/0001952900870094