{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:14:12Z","timestamp":1761488052775,"version":"3.41.0"},"reference-count":18,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T00:00:00Z","timestamp":1207008000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004966","name":"Fifth Framework Programme","doi-asserted-by":"publisher","award":["EU IST 2011-37170"],"award-info":[{"award-number":["EU IST 2011-37170"]}],"id":[{"id":"10.13039\/501100004966","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2008,4]]},"abstract":"<jats:p>Automatic generation of a controller implementation from a synchronous reactive model is among the best practices for software development in the automotive and aeronautics industry, because of the possibility of simulation, model checking, and error-free implementation. This paper discusses an algorithm for optimizing the single-processor multitask implementation of Simulink models with real-time execution constraints, derived from the sampling rates of the functional blocks. Existing code generation tools enforce the addition of extra buffering and latencies whenever there is a rate transition among functional blocks. This work shows how timing analysis can be used to find the cases in which additional buffering and latency can be avoided, improving the space and time performance of the application. The proposed search algorithm allows finding a solution with reduced and possibly minimal use of buffering even for very high values of processor utilization.<\/jats:p>","DOI":"10.1145\/1347375.1347376","type":"journal-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T18:28:05Z","timestamp":1210876085000},"page":"1-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Buffer optimization in multitask implementations of Simulink models"],"prefix":"10.1145","volume":"7","author":[{"given":"Marco Di","family":"Natale","sequence":"first","affiliation":[{"name":"Scuola Superiore S. Anna, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valerio","family":"Pappalardo","sequence":"additional","affiliation":[{"name":"Scuola Superiore S. Anna, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,5,8]]},"reference":[{"volume-title":"Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods.","author":"Arthan R. D.","key":"e_1_2_1_1_1","unstructured":"Arthan , R. D. , Caseley , P. , O'Halloran , C. , and Smith , A . 2000. Clawz: Control laws in z . In Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods. Arthan, R. D., Caseley, P., O'Halloran, C., and Smith, A. 2000. Clawz: Control laws in z. In Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods."},{"key":"e_1_2_1_2_1","unstructured":"Astrom K. J. and Wittenmark B. 1997. Computer Controlled Systems. Prentice Hall Englewood Cliffs NJ.   Astrom K. J. and Wittenmark B. 1997. Computer Controlled Systems. Prentice Hall Englewood Cliffs NJ."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086263"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.105"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Blazewicz J. Dror M. and Weglarz J. 1991. Mathematical programming formulation for machine scheduling: A survey. Europ. J. Operational Res. 51.  Blazewicz J. Dror M. and Weglarz J. 1991. Mathematical programming formulation for machine scheduling: A survey. Europ. J. Operational Res. 51.","DOI":"10.1016\/0377-2217(91)90304-E"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780754"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00365326"},{"key":"e_1_2_1_9_1","unstructured":"Cormen T. H. Leiserson C. E. Rivest R. L. and Stein C. 1990. Introduction to Algorithms. MIT Press Cambridge MA. and McGraw-Hill New York.   Cormen T. H. Leiserson C. E. Rivest R. L. and Stein C. 1990. Introduction to Algorithms. MIT Press Cambridge MA. and McGraw-Hill New York."},{"key":"e_1_2_1_10_1","unstructured":"Garey M. and Johnson D. 1979. Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman San Francisco CA.   Garey M. and Johnson D. 1979. Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman San Francisco CA."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.263752"},{"volume-title":"Mathematical Programming: The State of the Art, A. Bachen et al., Eds","author":"Lawler E.","key":"e_1_2_1_12_1","unstructured":"Lawler , E. 1983. Recent results in the theory of machine scheduling . In Mathematical Programming: The State of the Art, A. Bachen et al., Eds . Springer-Verlag , New York . Lawler, E. 1983. Recent results in the theory of machine scheduling. In Mathematical Programming: The State of the Art, A. Bachen et al., Eds. Springer-Verlag, New York."},{"key":"e_1_2_1_13_1","unstructured":"Lee E. and Varaiya P. 2003. Structure and Interpretation of Signals and Systems. Addison Wesley Reading PA.  Lee E. and Varaiya P. 2003. Structure and Interpretation of Signals and Systems. Addison Wesley Reading PA."},{"key":"e_1_2_1_14_1","unstructured":"Mathworks. The Mathworks Simulink and StateFlow User's Manuals. Mathworks. web page: http:\/\/www.mathworks.com.  Mathworks. The Mathworks Simulink and StateFlow User's Manuals. Mathworks. web page: http:\/\/www.mathworks.com."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009383.1009830"},{"key":"e_1_2_1_16_1","unstructured":"Sepe R. B. 2001. Real-Time Motor Testing and Development\u2014Over the Internet. Sensors Magazine Online.  Sepe R. B. 2001. Real-Time Motor Testing and Development\u2014Over the Internet. Sensors Magazine Online."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1113830.1113834"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086292"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1347375.1347376","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1347375.1347376","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:38:58Z","timestamp":1750253938000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1347375.1347376"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,4]]}},"alternative-id":["10.1145\/1347375.1347376"],"URL":"https:\/\/doi.org\/10.1145\/1347375.1347376","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2008,4]]},"assertion":[{"value":"2006-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2006-11-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-05-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}