{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T13:51:02Z","timestamp":1762609862078,"version":"3.41.0"},"reference-count":44,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2024,11,7]],"date-time":"2024-11-07T00:00:00Z","timestamp":1730937600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100005416","name":"Research Council of Norway","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005416","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Multi-Sensor Data Timing, Synchronization and Fusion for Intelligent Robots","award":["327538"],"award-info":[{"award-number":["327538"]}]},{"name":"Center of Excellence NTNU AMOS","award":["223254"],"award-info":[{"award-number":["223254"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Reconfigurable Technol. Syst."],"published-print":{"date-parts":[[2024,12,31]]},"abstract":"<jats:p>Modern cyber-physical systems often make use of heterogeneous systems-on-chip with reconfigurable logic to provide adequate computing power and flexible I\/O. However, modeling, verifying, and implementing the computations spanning CPUs and reconfigurable logic are still challenging. The hardware and software components are often designed by different teams and at different levels of abstraction, making it hard to reason about the resulting computation. We propose to lift both hardware and software design to the same level of abstraction by using the Lingua Franca coordination language. Lingua Franca is based on a sparse synchronous model that allows modeling concurrency and timing while keeping a sequential model for the actual computation. We define hardware reactors as a subset of the reactor model of computation underlying Lingua Franca. We also present and evaluate reactor-chisel, a hardware runtime implementing the semantics of hardware reactors, and an extension to the Lingua Franca compiler enabling reactor-oriented hardware\u2013software codesign.<\/jats:p>","DOI":"10.1145\/3672083","type":"journal-article","created":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T21:25:52Z","timestamp":1718227552000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Codesign of Reactor-Oriented Hardware and Software for Cyber-Physical Systems"],"prefix":"10.1145","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2396-6284","authenticated-orcid":false,"given":"Erling Rennemo","family":"Jellum","sequence":"first","affiliation":[{"name":"Norwegian University of Science and Technology, Trondheim, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2366-382X","authenticated-orcid":false,"given":"Martin","family":"Schoeberl","sequence":"additional","affiliation":[{"name":"Technical University of Denmark, Lyngby, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5663-0584","authenticated-orcid":false,"given":"Edward Ashford","family":"Lee","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6304-1999","authenticated-orcid":false,"given":"Milica","family":"Orlandic","sequence":"additional","affiliation":[{"name":"Norwegian University of Science and Technology, Trondheim, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,11,7]]},"reference":[{"key":"e_1_3_2_2_2","unstructured":"Khronos. 2021. SYCL. Retrieved July 11 2023 from https:\/\/www.khronos.org\/sycl\/"},{"key":"e_1_3_2_3_2","unstructured":"AMD. 2023. Vitis Unified Software Platform Documentation: Embedded Software Development. Retrieved July 11 2023 from https:\/\/docs.xilinx.com\/r\/en-US\/ug1400-vitis-embedded"},{"key":"e_1_3_2_4_2","first-page":"1666","article-title":"IEEE standard for standard systemc language reference manual","author":"Accellera Systems Initiative","year":"2012","unstructured":"Accellera Systems Initiative. 2012. IEEE standard for standard systemc language reference manual. IEEE Standards 1666\u20132011.","journal-title":"IEEE Standards"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2013.110"},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382681"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228584"},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/3610579.3613219"},{"key":"e_1_3_2_9_2","unstructured":"Soroush Bateni Marten Lohstroh Hou Seng Wong Rohan Tabish Hokeun Kim Shaokai Lin Christian Menard Cong Liu and Edward A. Lee. 2022. Xronos: Predictable coordination for safety-critical distributed embedded systems. arXiv:2207.09555. Retrieved from https:\/\/arxiv.org\/abs\/2207.09555"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/5.97297"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/AHS.2015.7231166"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2014.6966691"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-15-6401-7_45-2"},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-06859-7_145"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.134"},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26408-0_14"},{"key":"e_1_3_2_18_2","unstructured":"H\u00e5vard Grip. 2021. Suviving an In-Flight Anomaly: What Happened on Ingenuity\u2019s Sixth Flight. NASA Mars Helicopter Blog. Retrieved from https:\/\/mars.nasa.gov\/technology\/helicopter\/status\/305\/surviving-an-in-flight-anomaly-what-happened-on-ingenuitys-sixth-flight\/"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_3_2_20_2","volume-title":"Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation","author":"Jantsch Axel","year":"2003","unstructured":"Axel Jantsch. 2003. Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation. Morgan Kaufmann."},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045098"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA49430.2022.9966179"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3576914.3587497"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.NG-RES.2023.3"},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSD60849.2023.00031"},{"key":"e_1_3_2_26_2","first-page":"471","volume-title":"Proceedings of the IFIP Congress 74","author":"Kahn Gilles","year":"1974","unstructured":"Gilles Kahn. 1974. The semantics of a simple language for parallel programming. In Proceedings of the IFIP Congress 74. North-Holland Publishing Co., 471\u2013475."},{"key":"e_1_3_2_27_2","volume-title":"A Methodology for Hardware-Software Codesign","author":"King Myron D.","year":"2013","unstructured":"Myron D. King. 2013. A Methodology for Hardware-Software Codesign. Ph. D. Dissertation. Massachusetts Institute of Technology."},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2020.04.215"},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/1506409.1506426"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.5009446"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICFPT51103.2020.00046"},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.5555\/AAI28263682"},{"key":"e_1_3_2_36_2","unstructured":"Marten Lohstroh Edward Lee Soroush Bateni Christian Menard Peter Donovan Cl\u00e9ment Fournier Hou Seng (Steven) Wong Alexander Schulz-Rosengarten Erling R. Jellum Hokeun Kim Matt Weber Shaokai Lin and Anirudh Rengarajan. 2024. Lingua Franca. Retrieved from https:\/\/github.com\/lf-lang\/lingua-franca"},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1145\/3448128"},{"key":"e_1_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-41131-2_4"},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3323469"},{"key":"e_1_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1145\/3617687"},{"key":"e_1_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.1109\/HOTCHIPS.2009.7478342"},{"key":"e_1_3_2_42_2","author":"Sander Ingo","year":"2003","unstructured":"Ingo Sander. 2003. System Modeling and Design Refinement in ForSyDe. Thesis.","journal-title":"System Modeling and Design Refinement in ForSyDe"},{"key":"e_1_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/3576914.3587498"},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268870"},{"key":"e_1_3_2_45_2","doi-asserted-by":"crossref","unstructured":"Wikipedia. 2023. Round-Trip Engineering \u2014 Wikipedia The Free Encyclopedia. Retrieved September 19 2023 from http:\/\/en.wikipedia.org\/w\/index.php?title=Round-trip%20engineering{&}oldid=1172040452","DOI":"10.1515\/9783839458624-005"}],"container-title":["ACM Transactions on Reconfigurable Technology and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3672083","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3672083","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:29Z","timestamp":1750291469000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3672083"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,7]]},"references-count":44,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,12,31]]}},"alternative-id":["10.1145\/3672083"],"URL":"https:\/\/doi.org\/10.1145\/3672083","relation":{},"ISSN":["1936-7406","1936-7414"],"issn-type":[{"type":"print","value":"1936-7406"},{"type":"electronic","value":"1936-7414"}],"subject":[],"published":{"date-parts":[[2024,11,7]]},"assertion":[{"value":"2023-09-22","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-05-14","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-11-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}