{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:10:00Z","timestamp":1760080200912},"publisher-location":"Cham","reference-count":48,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319952451"},{"type":"electronic","value":"9783319952468"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-95246-8_26","type":"book-chapter","created":{"date-parts":[[2018,7,19]],"date-time":"2018-07-19T06:50:32Z","timestamp":1531983032000},"page":"449-477","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality"],"prefix":"10.1007","author":[{"given":"Stavros","family":"Tripakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Lublinerman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,20]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.: Interface automata. In: Foundations of Software Engineering (FSE). ACM Press (2001)","DOI":"10.1145\/503209.503226"},{"key":"26_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R Alur","year":"1999","unstructured":"Alur, R., Henzinger, T.: Reactive modules. Formal Methods Syst. Des. 15, 7\u201348 (1999)","journal-title":"Formal Methods Syst. Des."},{"issue":"1","key":"26_CR3","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proc. IEEE 91(1), 64\u201383 (2003)","journal-title":"Proc. IEEE"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Le Guernic, P., Aubry, P.: Compositionality in dataflow synchronous languages: specification & code generation. Technical report 3310, Irisa - Inria (1997)","DOI":"10.1007\/3-540-49213-5_3"},{"key":"26_CR5","unstructured":"Berry, G.: The Constructive Semantics of Pure Esterel (1999). http:\/\/www-sop.inria.fr\/members\/Gerard.Berry\/Papers\/EsterelConstructiveBook.pdf"},{"issue":"2","key":"26_CR6","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19(2), 87\u2013152 (1992)","journal-title":"Sci. Comput. Program."},{"key":"26_CR7","unstructured":"Blochwitz, T., Otter, M., et al.: The functional mockup interface for tool independent exchange of simulation models. In: Proceedings of the 8th International Modelica Conference. Linkoping University Electronic Press (2011). http:\/\/www.ep.liu.se\/ecp\/063\/013\/ecp11063013.pdf"},{"key":"26_CR8","unstructured":"Blochwitz, T., Otter, M., et al.: Functional mock-up interface 2.0: the standard for tool independent exchange of simulation models. In: Proceedings of the 9th International Modelica Conference. Linkoping University Electronic Press (2012). http:\/\/www.ep.liu.se\/ecp\/076\/017\/ecp12076017.pdf"},{"key":"26_CR9","unstructured":"Bogomolov, S., Greitschus, M., Jensen, P.G., Larsen, K.G., Mikucionis, M., Strump, T., Tripakis, S.: Co-simulation of hybrid systems with SpaceEx and Uppaal. In: Proceedings of the 11th International Modelica Conference. Linkoping University Electronic Press (2015). http:\/\/www.ep.liu.se\/ecp_article\/index.en.aspx?issue=118;article=017"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Brandt, J., Schneider, K.: Separate compilation for synchronous programs. In: SCOPES 2009: 12th International Workshop on Software and Compilers for Embedded Systems, pp. 1\u201310 (2009)","DOI":"10.1145\/1543820.1543822"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Broman, D., Brooks, C., Greenberg, L., Lee, E.A., Tripakis, S., Wetter, M., Masin, M.: Determinate composition of FMUs for co-simulation. In: Proceedings of the 13th ACM and IEEE International Conference on Embedded Software (EMSOFT 2013), pp. 2:1\u20132:12. IEEE (2013)","DOI":"10.1109\/EMSOFT.2013.6658580"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Broman, D., Greenberg, L., Lee, E.A., Masin, M., Tripakis, S., Wetter, M.: Requirements for hybrid cosimulation standards. In: Hybrid Systems: Computation and Control (HSCC 2015) (2015)","DOI":"10.1145\/2728606.2728629"},{"key":"26_CR13","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(92)90326-B","volume":"94","author":"P Caspi","year":"1992","unstructured":"Caspi, P.: Clocks in dataflow languages. Theor. Comput. Sci. 94, 125\u2013140 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.: LUSTRE: a declarative language for programming synchronous systems. In: 14th ACM Symposium POPL. ACM (1987)","DOI":"10.1145\/41625.41641"},{"key":"26_CR15","first-page":"14-1","volume-title":"Handbook of Real-Time and Embedded Systems","author":"P Caspi","year":"2007","unstructured":"Caspi, P., Raymond, P., Tripakis, S.: Synchronous programming. In: Lee, I., Leung, J., Son, S. (eds.) Handbook of Real-Time and Embedded Systems, pp. 14-1\u201314-21. Chapman & Hall, London (2007)"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Cremona, F., Lohstroh, M., Broman, D., Natale, M.D., Lee, E.A., Tripakis, S.: Step revision in hybrid co-simulation with FMI. In: 14th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (2016)","DOI":"10.1109\/MEMCOD.2016.7797762"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Cremona, F., Lohstroh, M., Tripakis, S., Brooks, C., Lee, E.: FIDE - an FMI integrated development environment. In: 31st ACM\/SIGAPP Symposium on Applied Computing, Embedded Systems Track (SAC), pp. 1759\u20131766. ACM (2016)","DOI":"10.1145\/2851613.2851677"},{"key":"26_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-319-32582-8_3","volume-title":"Model Checking Software","author":"I Dragomir","year":"2016","unstructured":"Dragomir, I., Preoteasa, V., Tripakis, S.: Compositional semantics and analysis of hierarchical block diagrams. In: Bo\u0161na\u010dki, D., Wijs, A. (eds.) SPIN 2016. LNCS, vol. 9641, pp. 38\u201356. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-32582-8_3"},{"key":"26_CR19","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0167-6423(02)00096-5","volume":"48","author":"S Edwards","year":"2003","unstructured":"Edwards, S., Lee, E.: The semantics and execution of a synchronous block-diagram language. Sci. Comput. Program. 48, 21\u201342 (2003)","journal-title":"Sci. Comput. Program."},{"key":"26_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0941-1","volume-title":"Designing Embedded Systems with the SIGNAL Programming Language","author":"A Gamati\u00e9","year":"2009","unstructured":"Gamati\u00e9, A.: Designing Embedded Systems with the SIGNAL Programming Language. Springer, New York (2009). https:\/\/doi.org\/10.1007\/978-1-4419-0941-1"},{"key":"26_CR21","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-1-4471-0823-8_9","volume-title":"Safety-Critical Systems Symposium","author":"T Gautier","year":"1999","unstructured":"Gautier, T., Le Guernic, P.: Code generation in the SACRES project. In: Redmill, F., Anderson, T. (eds.) SSS 1999, pp. 127\u2013149. Springer, London (1999). https:\/\/doi.org\/10.1007\/978-1-4471-0823-8_9"},{"key":"26_CR22","doi-asserted-by":"crossref","unstructured":"Geilen, M., Tripakis, S., Wiggers, M.: The earlier the better: a theory of timed actor interfaces. In: 14th International Conference Hybrid Systems: Computation and Control (HSCC 2011). ACM (2011)","DOI":"10.1145\/1967701.1967707"},{"key":"26_CR23","unstructured":"Girault, A.: A survey of automatic distribution method for synchronous programs. In: International Workshop on Synchronous Languages, Applications and Programs, SLAP 2005. ENTCS, Elsevier, Edinburgh, April 2005. ftp:\/\/ftp.inrialpes.fr\/pub\/bip\/pub\/girault\/Publications\/Slap05\/main.pdf"},{"key":"26_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1836","DOI":"10.1007\/3-540-48118-4_47","volume-title":"FM\u201999 \u2014 Formal Methods","author":"O Hainque","year":"1999","unstructured":"Hainque, O., Pautet, L., Le Biannic, Y., Nassor, \u00c9.: Cronos: a separate compilation tool set for modular esterel applications. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1709, pp. 1836\u20131853. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48118-4_47"},{"issue":"10","key":"26_CR25","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/MC.2007.364","volume":"40","author":"T Henzinger","year":"2007","unstructured":"Henzinger, T., Sifakis, J.: The discipline of embedded systems design. IEEE Comput. 40(10), 32\u201340 (2007)","journal-title":"IEEE Comput."},{"key":"26_CR26","doi-asserted-by":"publisher","unstructured":"Henzinger, T.A., Kirsch, C.M., Matic, S.: Composable code generation for distributed Giotto. In: Proceedings of the 2005 ACM SIGPLAN\/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2005, pp. 21\u201330. ACM, New York (2005). https:\/\/doi.org\/10.1145\/1065910.1065914","DOI":"10.1145\/1065910.1065914"},{"issue":"9","key":"26_CR27","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P Guernic Le","year":"1991","unstructured":"Le Guernic, P., Gautier, T., Borgne, M.L., Lemaire, C.: Programming real-time applications with signal. Proc. IEEE 79(9), 1321\u20131336 (1991)","journal-title":"Proc. IEEE"},{"issue":"9","key":"26_CR28","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E Lee","year":"1987","unstructured":"Lee, E., Messerschmitt, D.: Synchronous data flow. Proc. IEEE 75(9), 1235\u20131245 (1987)","journal-title":"Proc. IEEE"},{"key":"26_CR29","doi-asserted-by":"crossref","unstructured":"Lee, E., Zheng, H.: Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In: EMSOFT 2007: Proceedings of 7th ACM and IEEE International Conference on Embedded software, pp. 114\u2013123. ACM (2007)","DOI":"10.1145\/1289927.1289949"},{"key":"26_CR30","doi-asserted-by":"crossref","unstructured":"Lublinerman, R., Szegedy, C., Tripakis, S.: Modular code generation from synchronous block diagrams - modularity vs. code size. In: 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2009), pp. 78\u201389. ACM, January 2009","DOI":"10.1145\/1480881.1480893"},{"key":"26_CR31","doi-asserted-by":"crossref","unstructured":"Lublinerman, R., Tripakis, S.: Modular code generation from triggered and timed block diagrams. In: 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2008), pp. 147\u2013158. IEEE CS Press, April 2008","DOI":"10.1109\/RTAS.2008.12"},{"key":"26_CR32","doi-asserted-by":"crossref","unstructured":"Lublinerman, R., Tripakis, S.: Modularity vs. reusability: code generation from synchronous block diagrams. In: Design, Automation, and Test in Europe (DATE 2008), pp. 1504\u20131509. ACM, March 2008","DOI":"10.1145\/1403375.1403736"},{"issue":"7","key":"26_CR33","doi-asserted-by":"publisher","first-page":"950","DOI":"10.1109\/43.293952","volume":"13","author":"S Malik","year":"1994","unstructured":"Malik, S.: Analysis of cyclic combinational circuits. IEEE Trans. Comput.-Aided Des. 13(7), 950\u2013956 (1994)","journal-title":"IEEE Trans. Comput.-Aided Des."},{"key":"26_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-70628-3","volume-title":"Compiling Esterel","author":"D Potop-Butucaru","year":"2007","unstructured":"Potop-Butucaru, D., Edwards, S., Berry, G.: Compiling Esterel. Springer, New York (2007). https:\/\/doi.org\/10.1007\/978-0-387-70628-3"},{"key":"26_CR35","doi-asserted-by":"crossref","unstructured":"Pouzet, M., Raymond, P.: Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. In: ACM International Conference on Embedded Software (EMSOFT 2009), pp. 215\u2013224, October 2009","DOI":"10.1145\/1629335.1629365"},{"key":"26_CR36","unstructured":"Preoteasa, V., Dragomir, I., Tripakis, S.: The refinement calculus of reactive systems. CoRR abs\/1710.03979 (2017)"},{"key":"26_CR37","doi-asserted-by":"crossref","unstructured":"Preoteasa, V., Tripakis, S.: Refinement calculus of reactive systems. In: Proceedings of the 14th ACM and IEEE International Conference on Embedded Software (EMSOFT 2014), pp. 2:1\u20132:10. ACM, October 2014","DOI":"10.1145\/2656045.2656068"},{"key":"26_CR38","unstructured":"Raymond, P.: Compilation s\u00e9par\u00e9e de programmes Lustre. Master\u2019s thesis, IMAG (1988). (in French)"},{"key":"26_CR39","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-0-387-39362-9_9","volume-title":"From Model-Driven Design to Resource Management for Distributed Embedded Systems","author":"K Schneider","year":"2006","unstructured":"Schneider, K., Brandt, J., Vecchi\u00e9, E.: Modular compilation of synchronous programs. In: Kleinjohann, B., Kleinjohann, L., Machado, R.J., Pereira, C.E., Thiagarajan, P.S. (eds.) DIPES 2006. IIFIP, vol. 225, pp. 75\u201384. Springer, Boston (2006). https:\/\/doi.org\/10.1007\/978-0-387-39362-9_9"},{"key":"26_CR40","doi-asserted-by":"publisher","first-page":"30:1","DOI":"10.1145\/1347375.1347383","volume":"7","author":"I Shin","year":"2008","unstructured":"Shin, I., Lee, I.: Compositional real-time scheduling framework with periodic model. ACM Trans. Embed. Comput. Syst. 7, 30:1\u201330:39 (2008). https:\/\/doi.org\/10.1145\/1347375.1347383","journal-title":"ACM Trans. Embed. Comput. Syst."},{"issue":"1","key":"26_CR41","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1109\/TSE.1986.6312929","volume":"12","author":"RE Strom","year":"1986","unstructured":"Strom, R.E., Yemini, S.: Typestate: a programming language concept for enhancing software reliability. IEEE Trans. Softw. Eng. 12(1), 157\u2013171 (1986)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"26_CR42","first-page":"83:1","volume":"12","author":"S Tripakis","year":"2013","unstructured":"Tripakis, S., Bui, D., Geilen, M., Rodiers, B., Lee, E.A.: Compositionality in synchronous data flow: modular code generation from hierarchical SDF graphs. ACM Trans. Embed. Comput. Syst. (TECS) 12(3), 83:1\u201383:26 (2013)","journal-title":"ACM Trans. Embed. Comput. Syst. (TECS)"},{"key":"26_CR43","doi-asserted-by":"crossref","unstructured":"Tripakis, S.: Bridging the semantic gap between heterogeneous modeling formalisms and FMI. In: International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation - SAMOS XV (2015)","DOI":"10.1109\/SAMOS.2015.7363660"},{"issue":"5","key":"26_CR44","doi-asserted-by":"publisher","first-page":"960","DOI":"10.1109\/JPROC.2015.2510366","volume":"104","author":"S Tripakis","year":"2016","unstructured":"Tripakis, S.: Compositionality in the science of system design. Proc. IEEE 104(5), 960\u2013972 (2016)","journal-title":"Proc. IEEE"},{"issue":"4","key":"26_CR45","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1985342.1985345","volume":"33","author":"S Tripakis","year":"2011","unstructured":"Tripakis, S., Lickly, B., Henzinger, T.A., Lee, E.A.: A theory of synchronous relational interfaces. ACM Trans. Program. Lang. Syst. (TOPLAS) 33(4), 14 (2011)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"26_CR46","doi-asserted-by":"publisher","first-page":"834","DOI":"10.1017\/S0960129512000278","volume":"23","author":"S Tripakis","year":"2013","unstructured":"Tripakis, S., Stergiou, C., Shaver, C., Lee, E.A.: A modular formal semantics for Ptolemy. Math. Struct. Comput. Sci. 23, 834\u2013881 (2013)","journal-title":"Math. Struct. Comput. Sci."},{"key":"26_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/11599555_15","volume-title":"Embedded Software and Systems","author":"J Zeng","year":"2005","unstructured":"Zeng, J., Edwards, S.A.: Separate compilation for synchronous modules. In: Yang, L.T., et al. (eds.) ICESS 2005. LNCS, vol. 3820, pp. 129\u2013140. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11599555_15"},{"issue":"3","key":"26_CR48","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1347375.1347382","volume":"7","author":"Y Zhou","year":"2008","unstructured":"Zhou, Y., Lee, E.: Causality interfaces for actor networks. ACM Trans. Embed. Comput. Syst. 7(3), 1\u201335 (2008)","journal-title":"ACM Trans. Embed. Comput. Syst."}],"container-title":["Lecture Notes in Computer Science","Principles of Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-95246-8_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,21]],"date-time":"2019-10-21T00:31:07Z","timestamp":1571617867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-95246-8_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319952451","9783319952468"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-95246-8_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}