Skip to Main content Skip to Navigation
Conference papers

Compositional Translation of Simulink Models into Synchronous BIP

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download
Contributor : Marius Bozga <>
Submitted on : Thursday, January 20, 2011 - 4:35:19 PM
Last modification on : Friday, July 17, 2020 - 11:48:06 AM
Long-term archiving on: : Thursday, April 21, 2011 - 3:08:39 AM


Files produced by the author(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⟩



Record views


Files downloads