TY - GEN
T1 - From MARTE to AADL with a seamless process
AU - Perseil, Isabelle
AU - Pautet, Laurent
PY - 2010/1/1
Y1 - 2010/1/1
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/79952028297
U2 - 10.1109/ICECCS.2010.57
DO - 10.1109/ICECCS.2010.57
M3 - Conference contribution
AN - SCOPUS:79952028297
SN - 9780769540153
T3 - Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
SP - 361
EP - 366
BT - Proceedings - 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010
PB - Institute of Electrical and Electronics Engineers Inc.
ER -