A Model Management Approach for Co-Simulation Model Evaluation

Simulating formal models is a common means for validating the correctness of the system design and reduce the time-to-market. In most of the embedded control system design, multiple engineering disciplines and various domain-specific models are often involved, such as mechanical, control, software and hardware models. Close collaboration and well integration between all domain-specific models become more and more important for developing dependable and cost-efficient systems. Moreover, each disciplinary model can be de- veloped and evolved following its own semantics and development tools in different rates. The inconsistency between models and the evolution of the collection of models will increase the complexity of design as well as the difficulty of maintaining several models under simultaneous development and changes. Therefore, this paper introduces a model management approach for multi-disciplinary systems and co- simulation. Such model management approach can ensure the model integration and consistency, keep track of model evolution, and support decision making. The concepts of the DESTECS co-simulation framework (?) and the corresponding model evolution process are also explained.