A General Framework Supporting Co-simulation for BOM and DEVS

Domain Specific Modeling brings the problem of simulator differences in simulation. Model Transformation and Co-Simulation are used to solve the problem. Compared to Model Transformation, Co-Simulation integrates the different simulations without the loss of model features. In this paper, we present a general framework supporting Co-Simulation for Base Object Model (BOM) and Discrete EVent System specification (DEVS). The framework is constituted of BOM-based simulation within the DEVS Proxy and DEVS-based simulation within the BOM Proxy. The embedded proxies are used to do the time synchronization and data transfer. The Time Automata is used to represent the models so that the models can be checked and verified by UPPAAL. The TimeStamped Atomic Model and General Simulation Data Collect (GSDC) algorithm are devised to implement the Co-Simulation framework. The adaptability and validity of the framework are testified by the Aircraft and Control Tower example. The experimental results show that the framework works well in supporting Co-Simulation.