Skip to main content

2018 | OriginalPaper | Buchkapitel

Engineering Collectives of Self-driving Vehicles: The SOTA Approach

verfasst von : Dhaminda B. Abeywickrama, Marco Mamei, Franco Zambonelli

Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat 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., 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
2.
Zurück zum Zitat 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., Hoch, N., Zambonelli, F.: Engineering and implementing software architectural patterns based on feedback loops. Scalable Comput. Pract. Exp. 15(4), 291–308 (2014)
3.
Zurück zum Zitat 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 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
4.
Zurück zum Zitat 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)CrossRef 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)CrossRef
5.
Zurück zum Zitat Bicocchi, N., Mamei, M., Sassi, A., Zambonelli, F.: On recommending opportunistic rides. IEEE Trans. Intell. Transp. Syst. 18(12), 3328–3338 (2017)CrossRef Bicocchi, N., Mamei, M., Sassi, A., Zambonelli, F.: On recommending opportunistic rides. IEEE Trans. Intell. Transp. Syst. 18(12), 3328–3338 (2017)CrossRef
6.
Zurück zum Zitat 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)CrossRef 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)CrossRef
9.
Zurück zum Zitat Lapouchnian, A., Liaskos, S., Mylopoulos, J., Yu, Y.: Towards requirements-driven autonomic systems design. ACM SIGSOFT Softw. Eng. Notes 30(4), 1–7 (2005)CrossRef Lapouchnian, A., Liaskos, S., Mylopoulos, J., Yu, Y.: Towards requirements-driven autonomic systems design. ACM SIGSOFT Softw. Eng. Notes 30(4), 1–7 (2005)CrossRef
10.
Zurück zum Zitat 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)CrossRef 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)CrossRef
11.
Zurück zum Zitat Magee, J., Kramer, J.: Concurrency: State Models and Java Programs, 2nd edn. Wiley, Chichester (2006)MATH Magee, J., Kramer, J.: Concurrency: State Models and Java Programs, 2nd edn. Wiley, Chichester (2006)MATH
12.
Zurück zum Zitat Mylopoulos, J., Chung, L., Yu, E.S.K.: From object-oriented to goal-oriented requirements analysis. Commun. ACM 42(1), 31–37 (1999)CrossRef Mylopoulos, J., Chung, L., Yu, E.S.K.: From object-oriented to goal-oriented requirements analysis. Commun. ACM 42(1), 31–37 (1999)CrossRef
13.
Zurück zum Zitat 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)CrossRef 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)CrossRef
15.
Zurück zum Zitat Souza, V.E.S.: Requirements-based Software System Adaptation. Ph.D. thesis, DISI-University of Trento (2012) Souza, V.E.S.: Requirements-based Software System Adaptation. Ph.D. thesis, DISI-University of Trento (2012)
16.
Zurück zum Zitat Uhlemann, E.: Connected-vehicles applications are emerging [connected vehicles]. IEEE Veh. Technol. Mag. 11(1), 25–96 (2016)CrossRef Uhlemann, E.: Connected-vehicles applications are emerging [connected vehicles]. IEEE Veh. Technol. Mag. 11(1), 25–96 (2016)CrossRef
17.
Zurück zum Zitat 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.: 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)
18.
Zurück zum Zitat 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)CrossRef 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)CrossRef
20.
Zurück zum Zitat Yam, Y.B.: Dynamics of Complex Systems. Perseus Books, New York (2002) Yam, Y.B.: Dynamics of Complex Systems. Perseus Books, New York (2002)
21.
Zurück zum Zitat Yu, E.S.K.: Modelling strategic relationships for process reengineering. Ph.D. thesis, UMI Order No. GAXNN-02887 (Canadian dissertation) (1995) Yu, E.S.K.: Modelling strategic relationships for process reengineering. Ph.D. thesis, UMI Order No. GAXNN-02887 (Canadian dissertation) (1995)
22.
Zurück zum Zitat 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., 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
Metadaten
Titel
Engineering Collectives of Self-driving Vehicles: The SOTA Approach
verfasst von
Dhaminda B. Abeywickrama
Marco Mamei
Franco Zambonelli
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-030-03424-5_6