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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.