Translating Discrete-Time Simulink to Lustre

ACM Transactions on Embedded Computing Systems

Volumn 4, Issue 4, 2005, Pages 779-818

  Tripakis, Stavros ^a   Sofronis, Christos ^a   Caspi, Paul ^a   Curic, Adrian ^a  

^a VERIMAG   (France)

Author keywords

Code generation; Design; embedded software; Languages; Lustre; Reliability; Simulink; Verification

Indexed keywords

EID: 34547418979     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/1113830.1113834     Document Type: Article

References (36)

1. Agrawal, A., Simon, G., Karsai, G., 2004. Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations. In Workshop on Graph Transformation and Visual Modeling Techniques, Barcelona, Spain.
2. Astrom, K., Wittenmark, B., 1984.Computer Controlled Systems. Prentice-Hall, Englewood Cliffs, NJ.
3. Caspi, P., 1992. Clocks in dataflow languages.Theoretical Computer Science 94, 125-140.
4. Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J., 1987. Lustre: a declarative language for programming synchronous systems. In 14th ACM Symp. POPL.
5. Caspi, P., Pouzet, M., 1996. Synchronous Kahn networks. In ACM SIGPLAN International Conference on Functional Programming. 226-238.
6. Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S., 2003a. Translating discrete-time Simulink to Lustre. In Embedded Software (EMSOFT'03). LNCS, Vol. 2855. Springer, NY.
7. Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S., Niebert, P., 2003b. From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications. In Languages, Compilers, and Tools for Embedded Systems (LCTES'03). ACM.
8. Cervin, A., Henriksson, D., Lincoln, B., Arzen, K.-E., 2002. Jitterbug and Truetime: Analysis tools for real-time control systems. In 2nd Workshop on Real-Time Tools.
9. Chutinan, A., Krogh, B., 2003. Computational techniques for hybrid system verification.IEEE Trans. Automatic Control 48, 1.
10. Colaco, J., Pouzet, M., 2003. Clocks as first class abstract types. In Embedded Software (EMSOFT'03). LNCS, Vol. 2855. Springer, NY.
11. Guernic, P. L., Gautier, T., Borgne, M. L., Maire, C. L., 1991. Programming real-time applications with Signal.Proc. of the IEEE 79, 9, 1321-1336.
12. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D., 1991. The synchronous dataflow programming language Lustre.Proceedings of the IEEE 79, 9 (Sept.).
13. Halbwachs, N., Proy, Y.-E., Roumanoff, P., 1997. Verification of real-time systems using linear relation analysis.Formal Methods in System Design 11, 2 (August), 157-185.
14. Henzinger, T., Horowitz, B., Kirsch, C. M., 2001. Giotto: A time-triggered language for embedded programming. In EMSOFT'01. LNCS, Vol. 2211. Springer, NY.
15. Hudak, P., Jones, S. P., Wadler, P., 1990. Report on the programming language haskell, a non strict purely functional language (version 1.2).ACM SIGPLAN Notices 27, 5.
16. Jersak, M., Ziegenbein, D., Wolf, F., Richter, K., Ernst, R., Cieslog, F., Teich, J., Strehl, K., Thiele, L., 2000. Embedded system design using the SPI workbench. In Proc. of the 3rd International Forum on Design Languages.
17. Joisha, P., Banerjee, P., 2003. The MAGICA type inference engine for MATLAB. In Compiler Construction (CC). LNCS 2622, Springer, NY.
18. Kahn, G., 1974. The semantics of a simple language for parallel programming. In Proc. of the IFIP Congress.
19. Kirsch, C., Sanvido, M., Henzinger, T., Pree, W., 2002. A Giotto-based helicopter control system. In EMSOFT'02. LNCS 2491, Springer, NY.
20. Kopetz, H., 1997.Real-Time Systems Design Principles for Distributed Embedded Applications. Kluwer, Academic Publ., Boston, MA.
21. Kopetz, H., Grunsteidl, G., 1994. TTP - a protocol for fault-tolerant real-time systems.IEEE Computer 27, 1 (Jan.), 14-23.
22. Lee, E., Messerschmitt, D., 1987. Synchronous data flow.Proceedings of the IEEE 75, 9, 1235-1245.
23. Lee, E., Parks, T., 1995. Dataflow process networks.Proceedings of the IEEE 83, 5 (May), 773-799.
24. Martelli, A., Montanari, U., 1982. An efficient unification algorithm.ACM Trans. on Progr. Lang. and Systems 4, 2.
25. Milner, R., 1978. A theory of type polymorphism in programming.Journal of Computer and System Sciences 17, 375-384.
26. Neema, S., 2001. Simulink and Stateflow data model. Tech. rep., ISIS, Vanderbilt University, Nashville, TN.
27. Pierce, B., 2002.Types and Programming Languages. MIT Press, Cambridge, MA.
28. Ratel, C., Halbwachs, N., Raymond, P., 1991. Programming and verifying critical systems by means of the synchronous data-flow programming language Lustre. In ACM-SIGSOFT Conference on Software for Critical Systems.
29. Raymond, P., Weber, D., Nicollin, X., Halbwachs, N., 1998. Automatic testing of reactive systems. In 19th IEEE Real-Time Systems Symposium. Madrid, Spain.
30. Robinson, J., 1965. A machine-oriented logic based on the resolution principle.Journal of the ACM 12, 1.
31. Scaife, N., Caspi, P., 2004. Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems. In Euromicro conference on Real-Time Systems (ECRTS'04).
32. Scaife, N., Sofronis, C., Caspi, P., Tripakis, S., Maraninchi, F., 2004. Defining and translating a “safe” subset of Simulink/Stateflow into Lustre. In 4th ACM International Conference on Embedded Software (EMSOFT'04).
33. Silva, B., Richeson, K., Krogh, B., Chutinan, A., 2000. Modeling and verifying hybrid dynamical systems using checkMate. in ADPM.
34. Sims, S., Butts, K., Cleaveland, R., Ranville, S., 2001. Automated validation of software models. in ASE.
35. Tiwari, A., 2002. Formal semantics and analysis methods for Simulink Stateflow models. Tech. rep., SRI International.
36. Tudoret, S., Nadjm-Tehrani, S., Benveniste, A., Stromberg, J.-E., 2000. Co-simulation of hybrid systems: Signal-Simulink. In FTRTFT. LNCS, Vol. 1926. Springer, NY.