We propose in this work an approach for the verification of the AADL (Architecture and Analysis Design Language) description. This approach is based in Model Driven Engineering (MDE) and assisted by a toolchain. Indeed, we define a source meta-model for AADL and a target meta-model for the timed automata formalism; we define a transformation proces…

RUTE-K2J (Rule-based transformion engine KDM2JAVA), a transformation Engine developed in ATL that contributes to the ADM modernization process, providing support for the forward engineering stage specifically in transforming the PIM model, KDM model, to the PSM model, Java model.