{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T11:59:04Z","timestamp":1790423944157,"version":"4.1.0"},"reference-count":35,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA1","license":[{"start":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T00:00:00Z","timestamp":1775779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2026,4,10]]},"abstract":"<jats:p>Real-time systems must simultaneously deliver predictable timing, fault isolation, and memory safety, yet current operating systems expose only low-level primitives that force developers to manually balance concurrency, isolation, and performance. This paper presents LARTS, a language-aided runtime system that elevates these requirements into language abstractions with enforceable semantics. LARTS introduces execution domain, a unified process\u2013thread abstraction that combines thread-level responsiveness with process-level isolation. Memory is managed through deterministic memory contracts, which bind allocation at load time to eliminate runtime failures and unpredictable latencies. Domain interactions are expressed via deterministic communication channels that integrate efficient transfer, type safety, and priority inheritance, ensuring analyzable end-to-end bounds. Moreover, LARTS enforces secure-by-construction semantics, making classes of bugs such as double fetch and use-after-free unrepresentable in the programming model. We formalize the core semantics of LARTS and show how they guarantee determinism and safety by design. A prototype built on RTEMS demonstrates that LARTS preserves competitive real-time performance while substantially reducing programming complexity and eliminating vulnerabilities in realistic case studies. Our results suggest that high-assurance real-time programming can be treated not as an ad-hoc engineering problem, but as a first-class abstraction with verifiable semantics.<\/jats:p>","DOI":"10.1145\/3798241","type":"journal-article","created":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T14:33:43Z","timestamp":1775831623000},"page":"1126-1152","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["LARTS: Language Abstractions for Real-Time and Secure Systems"],"prefix":"10.1145","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-8216-5813","authenticated-orcid":false,"given":"Yanqi","family":"Li","sequence":"first","affiliation":[{"name":"Beijing University of Posts and Telecommunications, TSIS Lab\uff0cBUPT\uff0cChina, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6877-780X","authenticated-orcid":false,"given":"Hongliang","family":"Liang","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, TSIS Lab\uff0cBUPT\uff0cChina, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-7249-5670","authenticated-orcid":false,"given":"Rui","family":"Yao","sequence":"additional","affiliation":[{"name":"Beijing Institute of Computer Technology and Application, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-0701-0516","authenticated-orcid":false,"given":"Yang","family":"Zhang","sequence":"additional","affiliation":[{"name":"Beijing Institute of Computer Technology and Application, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-1465-5073","authenticated-orcid":false,"given":"Dong","family":"Liu","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, TSIS Lab\uff0cBUPT\uff0cChina, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-8337-9136","authenticated-orcid":false,"given":"Lei","family":"Wang","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, TSIS Lab\uff0cBUPT\uff0cChina, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-4680-4820","authenticated-orcid":false,"given":"Qiuping","family":"Yi","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, TSIS Lab\uff0cBUPT\uff0cChina, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,4,10]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.112147"},{"key":"e_1_3_1_3_2","unstructured":"NVD (National Vulnerability Database). 2025. Search & Statistics. https:\/\/nvd.nist.gov\/vuln\/search"},{"key":"e_1_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2023.103675"},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/3735452.3735535"},{"key":"e_1_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/3447786.3456248"},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS52030.2021.00018"},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132786"},{"key":"e_1_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2025.3550160"},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","unstructured":"Yanqi Li Hongliang Liang Rui Yao Yang Zhang Dong Liu Lei Wang and Qiuping Yi. 2026. LARTS: Language Abstractions for Real-Time and Secure Systems(artifact). https:\/\/doi.org\/10.5281\/zenodo.18789036 10.5281\/zenodo.18789036","DOI":"10.5281\/zenodo.18789036"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.14722\/NDSS.2021.24159"},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629597"},{"key":"e_1_3_1_14_2","unstructured":"CVE Organization. 2025. Common Vulnerabilities and Exposures. https:\/\/www.cve.org\/"},{"key":"e_1_3_1_15_2","unstructured":"ARMmbed Project. 2025. mbed-OS: A Platform for Building IoT\/Embedded Applications. https:\/\/github.com\/ARMmbed\/mbed-os"},{"key":"e_1_3_1_16_2","unstructured":"BarrelfishOS Project. 2025. Barrelfish: The Official Git Repository for Barrelfish a Research Operating System. https:\/\/github.com\/BarrelfishOS\/barrelfish"},{"key":"e_1_3_1_17_2","unstructured":"Contiki Project. 2025. Contiki: The Official Git Repository for Contiki the Open Source OS for the Internet of Things. https:\/\/github.com\/contiki-os\/contiki"},{"key":"e_1_3_1_18_2","unstructured":"FreeRTOS Project. 2025. FreeRTOS: A Real-Time Kernel. https:\/\/github.com\/FreeRTOS\/FreeRTOS-Kernel"},{"key":"e_1_3_1_19_2","unstructured":"Linux-RT Project. 2025. rt-linux: The Realtime Linux tree. https:\/\/github.com\/clrkwllms\/rt-linux"},{"key":"e_1_3_1_20_2","unstructured":"MT-HornerPolyEval Project. 2026. MT-HornerPolyEval: A high-pressure parallel computing test suite. https:\/\/github.com\/helloMathWorld\/MT-HornerPolyEval"},{"key":"e_1_3_1_21_2","unstructured":"Rhealstone Project. 2025. rtems-rhealstone: Rhealstone Benchmark Suite Ported to RTEMS. https:\/\/github.com\/javamonn\/rtems-rhealstone"},{"key":"e_1_3_1_22_2","unstructured":"RTEMS Project. 2025. RTEMS User Manual \u2014 Introduction: Features. https:\/\/docs.rtems.org\/docs\/main\/user\/overview\/index.html"},{"key":"e_1_3_1_23_2","unstructured":"RTEMS Project. 2025. RTEMS v5.1: Real-Time Executive for Multiprocessor Systems. https:\/\/github.com\/RTEMS\/rtems\/tree\/5.1"},{"key":"e_1_3_1_24_2","unstructured":"RIOT-OS Project. 2025. RIOT: Open Source OS for the Internet of Things. https:\/\/github.com\/RIOT-OS\/RIOT"},{"key":"e_1_3_1_25_2","unstructured":"RT-Thread Project. 2025. RT-Thread: Open Source IoT Real-Time Operating System. https:\/\/github.com\/RT-Thread\/rt-thread"},{"key":"e_1_3_1_26_2","unstructured":"Sl Project. 2026. Sl: A classic Linux application. https:\/\/github.com\/mtoyoda\/sl"},{"key":"e_1_3_1_27_2","unstructured":"TinyOS Project. 2025. tinyos-main: Main Development Repository for TinyOS the Open Source OS for Embedded Wireless Devices. https:\/\/github.com\/tinyos\/tinyos-main"},{"key":"e_1_3_1_28_2","unstructured":"Tinyexpr Project. 2026. Tinyexpr: A tiny C expression parser\/evaluator. https:\/\/github.com\/codeplea\/tinyexpr"},{"key":"e_1_3_1_29_2","unstructured":"Zephyr Project. 2025. Zephyr: Scalable Optimized Secure RTOS. https:\/\/github.com\/zephyrproject-rtos\/zephyr"},{"key":"e_1_3_1_30_2","unstructured":"Wind River. 2025. Getting Started With VxWorks 7 on QEMU: Step-by-Step Guide. https:\/\/www.vxworks7.com\/bsp\/getting-started-with-vxworks-7-on-qemu-step-by-step-guide\/"},{"key":"e_1_3_1_31_2","unstructured":"Wind River. 2025. VxWorks: Industry-Leading RTOS for Embedded Systems. https:\/\/www.windriver.com\/products\/vxworks"},{"key":"e_1_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3690275"},{"key":"e_1_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2023.3263271"},{"key":"e_1_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/3477013"},{"key":"e_1_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/SC41406.2024.00050"},{"key":"e_1_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/3735452.3735521"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3798241","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T11:17:12Z","timestamp":1790421432000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3798241"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,10]]},"references-count":35,"journal-issue":{"issue":"OOPSLA1","published-print":{"date-parts":[[2026,4,10]]}},"alternative-id":["10.1145\/3798241"],"URL":"https:\/\/doi.org\/10.1145\/3798241","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,4,10]]},"assertion":[{"value":"2025-10-08","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2026-02-17","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2026-04-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}