A generic conceptual framework based on formal representation for the design of continuous/discrete co-simulation tools

Abstract

Modern systems integrate components specific to different application domains. Frequently, these systems combine continuous and discrete sub-systems and therefore their design involves overcoming specific global modeling and validation challenges. In order to generate global simulation models of heterogeneous systems the designers need efficient tools for systems' validation. Therefore, a new type of designers emerged, the designers of co-simulation tools. Their main objective is to provide coherent tools for the co-simulation models' designers. Given the diversity of abstractions, languages and simulation tools, the design of co-simulation tools may be costly and time consuming. Thus, the key for the improvement of the validation process is to define a model-based generic approach before the implementation of these tools. This requires new skills on formalism and formal verification domain. This paper proposes a generic conceptual framework based on formal representation of the co-simulation interfaces for co-simulation tools design. The framework can be used to provide rigorous global formal co-simulation models for continuous/discrete heterogeneous systems. It allows the definition for implementation of the co-simulation interfaces starting with their formal definitions that are gradually refined and verified. The global formal model also provides the rules for the implementation and the generation of the interfaces. The framework is the skeleton on which the designers can build accurate tools for global execution models of continuous/discrete heterogeneous systems. The approach was used to design a co-simulation tool that is presented in this paper.