Abstract
We present a method of translating discrete-time Simulink models to Lustre programs. Our method consists of three steps: type inference, clock inference and hierarchical bottom-up translation. In the process, we formalise typing and timing mechanisms of Simulink. The method has been implemented in a prototype tool called S2L. The tool has been used to translate part of an industrial automotive controller provided by Audi.
Matlab, Simulink and Stateflow are Registered Trademarks of MathWorks, Inc. SCADE and Simulink Gateway are Registered Trademarks of Esterel Technologies, SA. This work has been supported in part by European IST projects “NEXT TTA” under project No IST-2001-32111 and “RISE” under project No IST-2001-38117.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Asarin, E., Dang, T., Esteban, J.: Simulation of hybrid automata using Matlab/Simulink. Technical report, Verimag (2003)
Åström, K.J., Wittenmark, B.: Computer Controlled Systems. Prentice-Hall, Englewood Cliffs (1984)
Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S.: Translating Discrete-Time Simulink to Lustre. Verimag Research Report (July 2003)
Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S., Niebert, P.: From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications. In: Languages, Compilers, and Tools for Embedded Systems (LCTES 2003), ACM, New York (2003)
Caspi, P., Pouzet, M.: Synchronous Kahn networks. In: ACM SIGPLAN International Conference on Functional Programming, pp. 226–238 (1996)
Cervin, A., Henriksson, D., Lincoln, B., Årzén, K.-E.: Jitterbug and Truetime: Analysis tools for real-time control systems. In: Proceedings of the 2nd Workshop on Real-Time Tools, Copenhagen, Denmark (August 2002)
Chutinan, A., Krogh, B.H.: Computational techniques for hybrid system verification. IEEE Trans. Automatic Control 48(1) (2003)
Le Guernic, P., Gautier, T., Le Borgne, M., Le Maire, C.: Programming real-time applications with signal. Proc. of the IEEE 79(9), 1321–1336 (1991)
Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language Lustre. Proceedings of the IEEE 79(9) (September 1991)
Jersak, M., Ziegenbein, D., Wolf, F., Richter, K., Ernst, R., Cieslog, F., Teich, J., Strehl, K., Thiele, L.: Embedded system design using the SPI workbench. In: Proc. of the 3rd International Forum on Design Languages (2000)
Joisha, P.G., Banerjee, P.: The MAGICA type inference engine for MATLAB. In: Hedin, G. (ed.) CC 2003. LNCS, vol. 2622, pp. 121–125. Springer, Heidelberg (2003)
Kahn, G.: The semantics of a simple language for parallel programming. In: Proc. of the IFIP Congress (1974)
Kirsch, C.M., Sanvido, M.A., Henzinger, T.A., Pree, W.: Giotto-based helicopter control system. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491, Springer, Heidelberg (2002)
Lee, E., Messerschmitt, D.: Synchronous data flow. Proceedings of the IEEE 75 (1987)
Lee, E., Parks, T.: Dataflow process networks. Proceedings of the IEEE, 773–799 (May 1995)
Neema, S.: Simulink and Stateflow data model. Technical report, ISIS, Vanderbilt University (2001)
Ratel, C., Halbwachs, N., Raymond, P.: Programming and verifying critical systems by means of the synchronous data-flow programming language Lustre. In: ACM-SIGSOFT Conference on Software for Critical Systems (1991)
Raymond, P., Weber, D., Nicollin, X., Halbwachs, N.: Automatic testing of reactive systems. In: 19th IEEE Real-Time Systems Symposium, Madrid, Spain (December 1998)
Silva, B.I., Richeson, K., Krogh, B.H., Chutinan, A.: Modeling and verifying hybrid dynamical systems using CheckMate. In: ADPM (2000)
Sims, S., Butts, K., Cleaveland, R., Ranville, S.: Automated validation of software models. In: ASE (2001)
Tiwari, A.: Formal semantics and analysis methods for Simulink Stateflow models. Technical report, SRI International (2002)
Tudoret, S., Nadjm-Tehrani, S., Benveniste, A., Stromberg, J.-E.: Co-simulation of hybrid systems: Signal-Simulink. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol. 1926, p. 134. Springer, Heidelberg (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S. (2003). Translating Discrete-Time Simulink to Lustre. In: Alur, R., Lee, I. (eds) Embedded Software. EMSOFT 2003. Lecture Notes in Computer Science, vol 2855. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45212-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-45212-6_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20223-3
Online ISBN: 978-3-540-45212-6
eBook Packages: Springer Book Archive