From MARTE to AADL with a Seamless Process

This paper describes the required model transformations for a seamless use of the models which are architecturing real-time systems. At the highest level of abstraction, we stand in the analysis phase, which consists in producing the set of static and dynamic models of the system. We use the MDA process that allows MARTE PIMs models transformation into AADL PSMs. Therefore we have chosen ATL for generating AADL models from models that belong to a subset of MARTE which corresponds to the (same) main concepts in AADL.