Modelling composite end-to-end flows with AADL
Naeem Muhammad, Yves Vandewoude, Yolande Berbers, Sjir van Loo · Lirias · 2009
AADL is a modelling formalism that supports modelling and analysis of functional and non-functional properties of embedded systems. End-to-End (EtE) flow latency is the amount of time consumed by the contributing components for a specific flow of information. Currently, AADL requires that flow specifications of the contributing components are connected through the AADL connector element and does not provide support for composite EtE flows: flows that themselves consist of multiple discrete EtE flows. In this paper we discuss how this issue can be overcome and we propose two possible extensions that allow AADL to model composite EtE flows. We also developed a tool to analyse AADL models for composite EtE flows. We will describe results of the analysis performed with the tool.