Integration of Heterogeneous Components for Co-Simulation

Jawher Jerray (1, 2, 3) , Rabea Ameur-Boulifa (1, 2, 3) , Ludovic Apvrille (1, 2, 3)

1 LabSoC - System on Chip
2 COMELEC - Département Communications & Electronique
3 LTCI - Laboratoire Traitement et Communication de l'Information

Because of their complexity, embedded systems are designed with sub-systems or components taken in charge by different development teams or entities and with different modeling frameworks and simulation tools, depending on the characteristics of each component. Unfortunately, this diversity of tools and semantics makes the integration of these heterogeneous components difficult. Thus, to evaluate their integration before their hardware or software is available, one solution would be to merge them into a common modeling framework. Yet, such a holistic environment supporting many computation and computation semantics seems hard to settle. Another solution we investigate in this paper is to generically link their respective simulation environments in order to keep the strength and semantics of each component environment. The paper presents a method to simulate heterogeneous components of embedded systems in real-time. These components can be described at any abstraction level. Our main contribution is a generic glue that can analyze in real-time the state of different simulation environments and accordingly enforce the correct communication semantics between components.

Keywords: Heterogeneous models; Simulation; Formal verification; Integration; System design

Domains: Embedded Systems; Modeling and Simulation

Jawher Jerray, Rabea Ameur-Boulifa, Ludovic Apvrille. Integration of Heterogeneous Components for Co-Simulation. 18th International Conference on Software Technologies (ICSOFT 2023), Jul 2023, Rome, Italy. pp.637-644, ⟨10.5220/0012134800003538⟩. ⟨hal-04176025⟩