End-to-end communication modelling for large scale vehicular networks using AADL

Abstract

Nowadays novel embedded computing devices enable nodes to form large scale mobile peer-to-peer networks with high communication and computational demands. Inter-vehicular communication is an example of such a large scale flow intensive system where vehicles assist each other to improve the driving experience. Currently, network simulators are being used as a cost effective means to experiment with different inter-vehicle flows of traffic related information, but lack a more analytical approach to identify trade-offs. Architecture Analysis and Design Language (AADL) is a modelling formalism that supports architectural based modelling and analysis of functional and non-functional requirements of embedded systems. In our paper, we perform an analysis using AADL for large scale flow intensive vehicular networks. In order to better analyze the trade-off points and optimize the communication in vehicular networks we model end-to-end (EtE) flows with different levels of various in-flows using AADL. Our results show that with the help of AADL flow models, we analyzed the EtE flows in a flow intensive system like large scale vehicular networks at multiple levels of abstraction which is a significant advantage unlike in simulations and also optimize the information dissemination by fine-tuning for the vehicular network quality attributes of interest.status: publishe