A capability-oriented modelling and simulation approach for autonomous vehicle management

Cities strive to invent and deploy smart solutions in the domain of urban mobility, so as to offer innovative services to citizens and visitors and improve the overall quality of life. The focus of this paper is on Autonomous Vehicular Safety (AVS) management systems. Such systems exploit vehicular and road side infrastructures to increase the effectiveness of vehicular communications and the relevant services and applications offered in urban environments. AVS management systems combine physical with digital components, each with different capabilities, and involve many different stakeholders, with often competing goals. Sophisticated development of algorithms for simulating the behaviour of the AVS system is required to avoid wasted resources if, after it is implemented, shortcomings with respect to the originally stated goals are found. To achieve this, a capability-oriented modelling approach is introduced and applied to AVS using the CORE framework. This paper argues that the development of an AVS system entails a coherent approach that gradually progresses from vague statements of requirements to the algorithm implementation. To this end, the paper demonstrates how one may proceed from requirements to implementation in a systematic and model-driven manner, while simulation results prove the applicability of the approach.