{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T02:45:40Z","timestamp":1770432340266,"version":"3.49.0"},"reference-count":36,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2005,11,1]],"date-time":"2005-11-01T00:00:00Z","timestamp":1130803200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2005,11]]},"abstract":"<jats:p>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 explain and formalize the typing and timing mechanisms of Simulink. The method has been implemented in a prototype tool called S2L, which has been used in the context of a European research project to translate two automotive controller models provided by Audi.<\/jats:p>","DOI":"10.1145\/1113830.1113834","type":"journal-article","created":{"date-parts":[[2006,5,8]],"date-time":"2006-05-08T16:09:20Z","timestamp":1147104560000},"page":"779-818","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":99,"title":["Translating discrete-time simulink to lustre"],"prefix":"10.1145","volume":"4","author":[{"given":"Stavros","family":"Tripakis","sequence":"first","affiliation":[{"name":"VERIMAG, Gi\u00e8res, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Sofronis","sequence":"additional","affiliation":[{"name":"VERIMAG, Gi\u00e8res, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Caspi","sequence":"additional","affiliation":[{"name":"VERIMAG, Gi\u00e8res, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Curic","sequence":"additional","affiliation":[{"name":"VERIMAG, Gi\u00e8res, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,11]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Workshop on Graph Transformation and Visual Modeling Techniques","author":"Agrawal A.","unstructured":"Agrawal , A. , Simon , G. , and 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.]] Agrawal, A., Simon, G., and 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.]]"},{"key":"e_1_2_1_2_1","unstructured":"\u00c5str\u00f6m K. and Wittenmark B. 1984. Computer Controlled Systems. Prentice-Hall Englewood Cliffs NJ.]]  \u00c5str\u00f6m K. and Wittenmark B. 1984. Computer Controlled Systems. Prentice-Hall Englewood Cliffs NJ.]]"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90326-B"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232651"},{"key":"e_1_2_1_6_1","volume-title":"LNCS","volume":"2855","author":"Caspi P.","unstructured":"Caspi , P. , Curic , A. , Maignan , A. , Sofronis , C. , and Tripakis , S . 2003a. Translating discrete-time Simulink to Lustre. In Embedded Software (EMSOFT'03) . LNCS , Vol. 2855 . Springer, NY.]] Caspi, P., Curic, A., Maignan, A., Sofronis, C., and Tripakis, S. 2003a. Translating discrete-time Simulink to Lustre. In Embedded Software (EMSOFT'03). LNCS, Vol. 2855. Springer, NY.]]"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780754"},{"key":"e_1_2_1_8_1","volume-title":"2nd Workshop on Real-Time Tools.]]","author":"Cervin A.","year":"2002","unstructured":"Cervin , A. , Henriksson , D. , Lincoln , B. , and \u00c5rz\u00e9n , K.-E. 2002 . Jitterbug and Truetime: Analysis tools for real-time control systems . In 2nd Workshop on Real-Time Tools.]] Cervin, A., Henriksson, D., Lincoln, B., and \u00c5rz\u00e9n, K.-E. 2002. Jitterbug and Truetime: Analysis tools for real-time control systems. In 2nd Workshop on Real-Time Tools.]]"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"e_1_2_1_10_1","volume-title":"LNCS","volume":"2855","author":"Cola\u00e7o J.","unstructured":"Cola\u00e7o , J. and Pouzet , M . 2003. Clocks as first class abstract types. In Embedded Software (EMSOFT'03) . LNCS , Vol. 2855 . Springer, NY.]] Cola\u00e7o, J. and Pouzet, M. 2003. Clocks as first class abstract types. In Embedded Software (EMSOFT'03). LNCS, Vol. 2855. Springer, NY.]]"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97301"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008678014487"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/894106"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/130697.130699"},{"key":"e_1_2_1_16_1","volume-title":"Proc. of the 3rd International Forum on Design Languages.]]","author":"Jersak M.","unstructured":"Jersak , M. , Ziegenbein , D. , Wolf , F. , Richter , K. , Ernst , R. , Cieslog , F. , Teich , J. , Strehl , K. , and Thiele , L . 2000. Embedded system design using the SPI workbench . In Proc. of the 3rd International Forum on Design Languages.]] Jersak, M., Ziegenbein, D., Wolf, F., Richter, K., Ernst, R., Cieslog, F., Teich, J., Strehl, K., and Thiele, L. 2000. Embedded system design using the SPI workbench. In Proc. of the 3rd International Forum on Design Languages.]]"},{"key":"e_1_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Joisha P. and Banerjee P. 2003. The MAGICA type inference engine for MATLAB. In Compiler Construction (CC). LNCS 2622 Springer NY.]]  Joisha P. and Banerjee P. 2003. The MAGICA type inference engine for MATLAB. In Compiler Construction (CC). LNCS 2622 Springer NY.]]","DOI":"10.1007\/3-540-36579-6_9"},{"key":"e_1_2_1_18_1","volume-title":"Proc. of the IFIP Congress.]]","author":"Kahn G.","year":"1974","unstructured":"Kahn , G. 1974 . The semantics of a simple language for parallel programming . In Proc. of the IFIP Congress.]] Kahn, G. 1974. The semantics of a simple language for parallel programming. In Proc. of the IFIP Congress.]]"},{"key":"e_1_2_1_19_1","volume-title":"EMSOFT'02","author":"Kirsch C.","unstructured":"Kirsch , C. , Sanvido , M. , Henzinger , T. , and Pree , W . 2002. A Giotto-based helicopter control system . In EMSOFT'02 . LNCS 2491, Springer, NY.]] Kirsch, C., Sanvido, M., Henzinger, T., and Pree, W. 2002. A Giotto-based helicopter control system. In EMSOFT'02. LNCS 2491, Springer, NY.]]"},{"key":"e_1_2_1_20_1","volume-title":"Real-Time Systems Design Principles for Distributed Embedded Applications","author":"Kopetz H.","unstructured":"Kopetz , H. 1997. Real-Time Systems Design Principles for Distributed Embedded Applications . Kluwer , Academic Publ ., Boston, MA.]] Kopetz, H. 1997. Real-Time Systems Design Principles for Distributed Embedded Applications. Kluwer, Academic Publ., Boston, MA.]]"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.248873"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/357162.357169"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_2_1_26_1","volume-title":"ISIS","author":"Neema S.","unstructured":"Neema , S. 2001. Simulink and Stateflow data model. Tech. rep ., ISIS , Vanderbilt University , Nashville, TN .]] Neema, S. 2001. Simulink and Stateflow data model. Tech. rep., ISIS, Vanderbilt University, Nashville, TN.]]"},{"key":"e_1_2_1_27_1","volume-title":"Types and Programming Languages","author":"Pierce B.","unstructured":"Pierce , B. 2002. Types and Programming Languages . MIT Press, Cambridge , MA .]] Pierce, B. 2002. Types and Programming Languages. MIT Press, Cambridge, MA.]]"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/125083.123062"},{"key":"e_1_2_1_29_1","volume-title":"19th IEEE Real-Time Systems Symposium","author":"Raymond P.","unstructured":"Raymond , P. , Weber , D. , Nicollin , X. , and Halbwachs , N . 1998. Automatic testing of reactive systems . In 19th IEEE Real-Time Systems Symposium . Madrid, Spain.]] Raymond, P., Weber, D., Nicollin, X., and Halbwachs, N. 1998. Automatic testing of reactive systems. In 19th IEEE Real-Time Systems Symposium. Madrid, Spain.]]"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009383.1009830"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017795"},{"key":"e_1_2_1_33_1","unstructured":"Silva B. Richeson K. Krogh B. and Chutinan A. 2000. Modeling and verifying hybrid dynamical systems using CheckMate. In ADPM.]]  Silva B. Richeson K. Krogh B. and Chutinan A. 2000. Modeling and verifying hybrid dynamical systems using CheckMate. In ADPM.]]"},{"key":"e_1_2_1_34_1","unstructured":"Sims S. Butts K. Cleaveland R. and Ranville S. 2001. Automated validation of software models. In ASE.]]   Sims S. Butts K. Cleaveland R. and Ranville S. 2001. Automated validation of software models. In ASE.]]"},{"key":"e_1_2_1_35_1","unstructured":"Tiwari A. 2002. Formal semantics and analysis methods for Simulink Stateflow models. Tech. rep. SRI International.]]  Tiwari A. 2002. Formal semantics and analysis methods for Simulink Stateflow models. Tech. rep. SRI International.]]"},{"key":"e_1_2_1_36_1","volume-title":"-E","author":"Tudoret S.","year":"2000","unstructured":"Tudoret , S. , Nadjm-Tehrani , S. , Benveniste , A. , and Stromberg , J . -E . 2000 . Co-simulation of hybrid systems: Signal-Simulink. In FTRTFT. LNCS, Vol. 1926 . Springer , NY.]] Tudoret, S., Nadjm-Tehrani, S., Benveniste, A., and Stromberg, J.-E. 2000. Co-simulation of hybrid systems: Signal-Simulink. In FTRTFT. LNCS, Vol. 1926. Springer, NY.]]"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1113830.1113834","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1113830.1113834","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:23Z","timestamp":1750286603000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1113830.1113834"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11]]},"references-count":36,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,11]]}},"alternative-id":["10.1145\/1113830.1113834"],"URL":"https:\/\/doi.org\/10.1145\/1113830.1113834","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,11]]},"assertion":[{"value":"2005-11-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}