Skip to Main Content (Press Enter)

Logo UNIMORE
  • ×
  • Home
  • Degree programmes
  • Modules
  • Jobs
  • People
  • Research Outputs
  • Academic units
  • Third Mission
  • Projects
  • Skills

UNI-FIND
Logo UNIMORE

|

UNI-FIND

unimore.it
  • ×
  • Home
  • Degree programmes
  • Modules
  • Jobs
  • People
  • Research Outputs
  • Academic units
  • Third Mission
  • Projects
  • Skills
  1. Research Outputs

Engineering Collectives of Self-driving Vehicles: The SOTA Approach

Conference Paper
Publication Date:
2018
Short description:
Engineering Collectives of Self-driving Vehicles: The SOTA Approach / Abeywickrama, Dhaminda B.; Mamei, Marco; Zambonelli, Franco. - 11246:(2018), pp. 79-93. ( 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation Limissol (Cyprus) 6-8 Novembre 2018) [10.1007/978-3-030-03424-5_6].
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.
Iris type:
Relazione in Atti di Convegno
List of contributors:
Abeywickrama, Dhaminda B.; Mamei, Marco; Zambonelli, Franco
Authors of the University:
MAMEI Marco
ZAMBONELLI Franco
Handle:
https://iris.unimore.it/handle/11380/1167774
Book title:
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS, ISOLA 2018, PT III
Published in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
  • Use of cookies

Powered by VIVO | Designed by Cineca | 26.4.5.0