Translating discrete-time Simulink to Lustre

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2855, Issue , 2003, Pages 84-99

  Caspi, Paul ^a   Curie, Adrian ^a   Maignan, Aude ^a   Sofronis, Christos ^a   Tripakis, Stavros ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

BOTTOM UP; DISCRETE TIME; LUSTRE PROGRAM; PROTOTYPE TOOLS; SIMULINK; SIMULINK MODELS; TYPE INFERENCES;

PROGRAM TRANSLATORS;

EID: 0142187787     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45212-6_7     Document Type: Article

References (22)

1. E. Asarin, T. Dang, and J. Esteban. Simulation of hybrid automata using Matlab/Simulink. Technical report, Verimag, 2003.
2. K.J. Åström and B. Wittenmark. Computer Controlled Systems. Prentice-Hall, 1984.
3. P. Caspi, A. Curic, A. Maignan, C. Sofronis and S. Tripakis. Translating Discrete-Time Simulink to Lustre. Verimag Research Report, July 2003.
4. P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis, and P. Niebert. 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, 2003.
5. P. Caspi and M. Pouzet. Synchronous Kahn networks. In ACM SIGPLAN International Conference on Functional Programming, pages 226-238, 1996.
6. Anton Cervin, Dan Henriksson, Bo Lincoln, and Karl-Erik Årzén. Jitterbug and Truetime: Analysis tools for real-time control systems. In Proceedings of the 2nd Workshop on Real-Time Tools, Copenhagen, Denmark, August 2002.
7. A. Chutinan and B.H. Krogh. Computational techniques for hybrid system verification. IEEE Trans. Automatic Control, 48(1), 2003.
8. P. Le Guernic, T. Gautier, M. Le Borgne, and C. Le Maire. Programming real-time applications with signal. Proc. of the IEEE, 79(9):1321-1336, 1991.
9. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79(9), September 1991.
10. M. Jersak, D. Ziegenbein, F. Wolf, K. Richter, R. Ernst, F. Cieslog, J. Teich, K. Strehl, and L. Thiele. Embedded system design using the SPI workbench. In Proc. of the 3rd International Forum on Design Languages, 2000.
11. P.G. Joisha and P. Banerjee. The MAGICA type inference engine for MATLAB. In Compiler Construction (CC). LNCS 2622, Springer, 2003.
12. G. Kahn. The semantics of a simple language for parallel programming. In Proc. of the IFIP Congress, 1974.
13. C.M. Kirsch, M.A. Sanvido, T.A. Henzinger, and W. Pree. A Giotto-based helicopter control system. In EMSOFT'02. LNCS 2491, Springer, 2002.
14. E. Lee and D. Messerschmitt. Synchronous data flow. Proceedings of the IEEE, 75, 1987.
15. E. Lee and T. Parks. Dataflow process networks. Proceedings of the IEEE, pages 773-799, May 1995.
16. S. Neema. Simulink and Stateflow data model. Technical report, ISIS, Vanderbilt University, 2001.
17. C. Ratel, N. Halbwachs, and P. Raymond. 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.
18. P. Raymond, D. Weber, X. Nicollin, and N. Halbwachs. Automatic testing of reactive systems. In 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 1998.
19. B.I. Silva, K. Richeson, B.H. Krogh, and A. Chutinan. Modeling and verifying hybrid dynamical systems using CheckMate. In ADPM, 2000.
20. S. Sims, K. Butts, R. Cleaveland, and S. Ranville. Automated validation of software models. In ASE, 2001.
21. A. Tiwari. Formal semantics and analysis methods for Simulink Stateflow models. Technical report, SRI International, 2002.
22. S. Tudoret, S. Nadjm-Tehrani, A. Benveniste, and J.-E. Stromberg. Co-simulation of hybrid systems: Signal-Simulmk. In FTRTFT, 2000.