Extensible Global Model Management with Meta-model Subsets and Model Synchronization

We present an infrastructure for the management of models of heterogeneous meta-models in model-based development environments. The infrastructure consists of a Global Model Management (GMM) modeling language, which allows the capture of the meta-models used in a modeling environment. Relations between meta-models and subsets of these meta-models can be declared and interpreted during model evolution for automated global model management. The infrastructure is implemented in an Eclipse EMF based EDA (Electronic Design Automation) tool. Its use is demonstrated by the generation and synchronization of AADL and VHDL code targetting an FPGA to control a self-balancing toy car.