MARTE vs. AADL for Discrete-Event and Discrete-Time Domains

Real-time embedded applications tend to combine periodic and aperiodic computations. Modeling standardsmust then support both discrete-time and discrete-event models of computation and communication whereas they historically pertain to two different communities: asynchronous and synchronous designers. In this article, two emerging standards of the domain (MARTE and AADL) are compared and their ability to tackle this issue is assessed. We plead for combining both standards and show how MARTE can be extended to integrate AADL features required for end-to-end flow latency analysis.