Abstract
Future cities will be populated by myriads of autonomous self-driving vehicles. Although individual vehicles have their own goals to pursue in autonomy, they may also be part of a collective of vehicles, as in the case of a fleet of vehicles of a car sharing company. Accordingly, they may also be required to act in a coordinated way towards the achievement of specific collective goals, or to meet specific city-level objectives. This raises the issue of properly engineering the behavior of such collective of vehicles, by properly capturing their collective requirements also in consideration of their individual goals, and understanding which knowledge about the state of the collective they must be provided with. In this context, this paper shows how the SOTA model can be a very effective tool to support the engineering of self-driving vehicle collectives. SOTA, by bringing together the lessons of goal-oriented requirements engineering, context-aware systems, and dynamical systems modeling, has indeed the potential for acting as a general reference model to help tackle some key issues in the design and development of complex collective systems immersed in dynamic environments, as collectives of self-driving vehicles are.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abeywickrama, D.B., Bicocchi, N., Zambonelli, F.: SOTA: towards a general model for self-adaptive systems. In: Proceedings of the IEEE 21st International WETICE 2012 Conference, pp. 48–53, June 2012
Abeywickrama, D.B., Hoch, N., Zambonelli, F.: Engineering and implementing software architectural patterns based on feedback loops. Scalable Comput. Pract. Exp. 15(4), 291–308 (2014)
Abeywickrama, D.B., Zambonelli, F.: Model checking goal-oriented requirements for self-adaptive systems. In: Proceedings of the 19th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, pp. 33–42, April 2012
Belzner, L., Hölzl, M.M., Koch, N., Wirsing, M.: Collective autonomic systems: towards engineering principles and their foundations. Trans. Found. Mastering Change 1, 180–200 (2016)
Bicocchi, N., Mamei, M., Sassi, A., Zambonelli, F.: On recommending opportunistic rides. IEEE Trans. Intell. Transp. Syst. 18(12), 3328–3338 (2017)
De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. TAAS 9(2), 7:1–7:29 (2014)
Giese, H., Vogel, T., Diaconescu, A., Götz, S., Kounev, S.: Architectural concepts for self-aware computing systems. In: Kounev, S., Kephart, J., Milenkoski, A., Zhu, X. (eds.) Self-Aware Computing Systems, pp. 109–147. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-47474-8_5
Hoch, N., Bensler, H.-P., Abeywickrama, D., Bureš, T., Montanari, U.: The E-mobility case study. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 513–533. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-16310-9_17
Lapouchnian, A., Liaskos, S., Mylopoulos, J., Yu, Y.: Towards requirements-driven autonomic systems design. ACM SIGSOFT Softw. Eng. Notes 30(4), 1–7 (2005)
Letier, E., Kramer, J., Magee, J., Uchitel, S.: Deriving event-based transition systems from goal-oriented requirements models. Autom. Softw. Eng. 15(2), 175–206 (2008)
Magee, J., Kramer, J.: Concurrency: State Models and Java Programs, 2nd edn. Wiley, Chichester (2006)
Mylopoulos, J., Chung, L., Yu, E.S.K.: From object-oriented to goal-oriented requirements analysis. Commun. ACM 42(1), 31–37 (1999)
Rasch, K., Li, F., Sehic, S., Ayani, R., Dustdar, S.: Context-driven personalized service discovery in pervasive environments. World Wide Web 14(4), 295–319 (2011)
Salvaneschi, G., Ghezzi, C., Pradella, M.: Contexterlang: a language for distributed context-aware self-adaptive applications. Sci. Comput. Program. 102(Suppl. C), 20–43 (2015). https://doi.org/10.1016/j.scico.2014.11.016
Souza, V.E.S.: Requirements-based Software System Adaptation. Ph.D. thesis, DISI-University of Trento (2012)
Uhlemann, E.: Connected-vehicles applications are emerging [connected vehicles]. IEEE Veh. Technol. Mag. 11(1), 25–96 (2016)
Weyns, D.: Software engineering of self-adaptive systems: an organised tour and future challenges. In: Taylor, R., Kang, K.C., Cha, S. (eds.) Handbook of Software Engineering. Springer (2017)
Weyns, D., Malek, S., Andersson, J.: Forms: unifying reference model for formal specification of distributed self-adaptive systems. ACM Trans. Auton. Adapt. Syst. 7(1), 8 (2012)
Williams, R.A.: Lessons learned on development and application of agent-based models of complex dynamical systems. Simul. Model. Pract. Theory (2017). https://doi.org/10.1016/j.simpat.2017.11.001
Yam, Y.B.: Dynamics of Complex Systems. Perseus Books, New York (2002)
Yu, E.S.K.: Modelling strategic relationships for process reengineering. Ph.D. thesis, UMI Order No. GAXNN-02887 (Canadian dissertation) (1995)
Zambonelli, F., Bicocchi, N., Cabri, G., Leonardi, L., Puviani, M.: On self-adaptation, self-expression, and self-awareness in autonomic service component ensembles. In: 2011 Fifth IEEE Conference on Self-adaptive and Self-organizing Systems Workshops, pp. 108–113, October 2011. https://doi.org/10.1109/SASOW.2011.24
Zambonelli, F., Van Dyke Parunak, H.: Signs of a revolution in computer science and software engineering. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol. 2577, pp. 13–28. Springer, Heidelberg (2003). https://doi.org/10.1007/3-540-39173-8_2
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Abeywickrama, D.B., Mamei, M., Zambonelli, F. (2018). Engineering Collectives of Self-driving Vehicles: The SOTA Approach. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. ISoLA 2018. Lecture Notes in Computer Science(), vol 11246. Springer, Cham. https://doi.org/10.1007/978-3-030-03424-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-030-03424-5_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-03423-8
Online ISBN: 978-3-030-03424-5
eBook Packages: Computer ScienceComputer Science (R0)