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.

Engineering Collectives of Self-driving Vehicles: The SOTA Approach / Abeywickrama, Dhaminda B.; Mamei, Marco; Zambonelli, Franco. - 11246:(2018), pp. 79-93. (Intervento presentato al convegno Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. ISoLA 2018. tenutosi a Limissol (Cyprus) nel 6-8 Novembre 2018) [10.1007/978-3-030-03424-5_6].

Engineering Collectives of Self-driving Vehicles: The SOTA Approach

Mamei, Marco;Zambonelli, Franco
2018

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.
2018
31-ott-2018
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. ISoLA 2018.
Limissol (Cyprus)
6-8 Novembre 2018
11246
79
93
Abeywickrama, Dhaminda B.; Mamei, Marco; Zambonelli, Franco
Engineering Collectives of Self-driving Vehicles: The SOTA Approach / Abeywickrama, Dhaminda B.; Mamei, Marco; Zambonelli, Franco. - 11246:(2018), pp. 79-93. (Intervento presentato al convegno Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. ISoLA 2018. tenutosi a Limissol (Cyprus) nel 6-8 Novembre 2018) [10.1007/978-3-030-03424-5_6].
File in questo prodotto:
File Dimensione Formato  
Cameraready-SOTA-ISOLA18.pdf

Accesso riservato

Tipologia: Versione originale dell'autore proposta per la pubblicazione
Dimensione 272.21 kB
Formato Adobe PDF
272.21 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1167774
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? ND
social impact