MATLAB/Simulink is a very popular commercial tool for model-based design and simulation of dynamic embedded systems. Simulink is widely used by engineers since it provides a wide variety of block libraries for implementing and testing discrete and continuous systems occurring in many application domains.
We are developing a method for the translation of a discrete-time fragment of Simulink into the synchronous subset of the BIP language. The translation presented in  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.