Compositional Translation of Simulink Models into Synchronous BIP

Vassiliki Sfyrla (1) , Georgios Tsiligiannis (1) , Iris Safaka (1) , Marius Bozga (1) , Joseph Sifakis (1)

1 VERIMAG - IMAG - VERIMAG

We present a method for the translation of a discrete-time fragment of Simulink into the synchronous subset of the BIP language. The translation is fully compositional, that is, it preserves completely the original structure and reveals the minimal control coordination structure needed to perform the correct computation within Simulink models. Additionally, this translation can be seen as providing an alternative operational semantics of Simulink models using BIP. The advantages are twofold. It allows for integration of Simulink models within heterogeneous BIP designs. It enables the use of validation and automatic implementation techniques already available for BIP on Simulink models. The translation is currently implemented in the Simulink2BIP tool. We report several experiments, in particular, we show that the executable code generated from BIP models has comparable runtime performances as the code produced by the Real-Time Workshop on several Simulink models.

Mots clés: translation; MATLAB/Simulink; synchronous systems; component-based systems

Domaines: Systèmes embarqués

Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safaka, Marius Bozga, Joseph Sifakis. Compositional Translation of Simulink Models into Synchronous BIP. IEEE Fifth International Symposium on Industrial Embedded Systems, Jul 2010, Trento, Italy. pp.217-220, ⟨10.1109/SIES.2010.5551374⟩. ⟨hal-00558040⟩