{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,10]],"date-time":"2025-12-10T09:07:02Z","timestamp":1765357622572,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,20]],"date-time":"2024-06-20T00:00:00Z","timestamp":1718841600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Natural Science Foundation of China","award":["No.U22A202101"],"award-info":[{"award-number":["No.U22A202101"]}]},{"name":"Key Research and Devel opment Program of Zhejiang Province in China","award":["No.2023C01233"],"award-info":[{"award-number":["No.2023C01233"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,6,20]]},"DOI":"10.1145\/3652032.3657573","type":"proceedings-article","created":{"date-parts":[[2024,6,20]],"date-time":"2024-06-20T17:00:08Z","timestamp":1718902808000},"page":"62-71","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["SmartVisor: User-Friendly Hypervisor for Mobile Robots"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-9202-0211","authenticated-orcid":false,"given":"Guanyu","family":"Chen","sequence":"first","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4483-8879","authenticated-orcid":false,"given":"Pan","family":"Lv","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-4687-0827","authenticated-orcid":false,"given":"Hong","family":"Li","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-3581-628X","authenticated-orcid":false,"given":"Guoqing","family":"Yang","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,6,20]]},"reference":[{"volume-title":"Mixed criticality systems-a review. Department of Computer Science","author":"Burns Alan","key":"e_1_3_2_1_1_1","unstructured":"Alan Burns and Robert Davis. 2013. Mixed criticality systems-a review. Department of Computer Science, University of York, Tech. Rep, 1\u201369."},{"key":"e_1_3_2_1_2_1","volume-title":"Robo-sweeper: Bionics based unmanned sweeper platform. In 2021 IEEE 23rd Int Conf on High Performance Computing & Communications","author":"Chen Guanyu","year":"2021","unstructured":"Guanyu Chen, Pan Lv, Hong Li, and Guoqing Yang. 2021. Robo-sweeper: Bionics based unmanned sweeper platform. In 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC\/DSS\/SmartCity\/DependSys). 1381\u20131388."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2021.12.002"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00011"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522720"},{"key":"e_1_3_2_1_6_1","volume-title":"FLYOS: Integrated Modular Avionics for Autonomous Multicopters. In 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS). 68\u201381","author":"Farrukh Anam","year":"2022","unstructured":"Anam Farrukh and Richard West. 2022. FLYOS: Integrated Modular Avionics for Autonomous Multicopters. In 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS). 68\u201381."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS48715.2020.00013"},{"key":"e_1_3_2_1_8_1","volume-title":"The seL4 Microkernel\u2013An Introduction. The seL4 Foundation, 1","author":"Heiser Gernot","year":"2020","unstructured":"Gernot Heiser. 2020. The seL4 Microkernel\u2013An Introduction. The seL4 Foundation, 1 (2020)."},{"key":"e_1_3_2_1_9_1","volume-title":"USENIX Workshop on Microkernels and Other Kernel Architectures. 113\u2013126","author":"Hildebrand Dan","year":"1992","unstructured":"Dan Hildebrand. 1992. An Architectural Overview of QNX.. In USENIX Workshop on Microkernels and Other Kernel Architectures. 113\u2013126."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2022.01.135"},{"key":"e_1_3_2_1_11_1","volume-title":"29th Euromicro Conference on Real-Time Systems (ECRTS","author":"Jiang Zhe","year":"2017","unstructured":"Zhe Jiang and Neil Audsley. 2017. VCDC: The virtualized complicated device controller. In 29th Euromicro Conference on Real-Time Systems (ECRTS 2017)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927099"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00013"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"volume-title":"Robot Operating System (ROS).. 1","author":"Koub\u00e2a Anis","key":"e_1_3_2_1_15_1","unstructured":"Anis Koub\u00e2a. 2017. Robot Operating System (ROS).. 1, Springer."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313808.3313816"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/224057.224075"},{"key":"e_1_3_2_1_18_1","volume-title":"Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems. In 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS). 40\u201353","author":"Martins Jos\u00e9","year":"2023","unstructured":"Jos\u00e9 Martins and Sandro Pinto. 2023. Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems. In 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS). 40\u201353."},{"key":"e_1_3_2_1_19_1","volume-title":"Workshop on next generation real-time embedded systems (NG-RES","author":"Martins Jos\u00e9","year":"2020","unstructured":"Jos\u00e9 Martins, Adriano Tavares, Marco Solieri, Marko Bertogna, and Sandro Pinto. 2020. Bao: A lightweight static partitioning hypervisor for modern multi-core embedded systems. In Workshop on next generation real-time embedded systems (NG-RES 2020)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.3390\/electronics11244201"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2023.102948"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361073"},{"key":"e_1_3_2_1_23_1","unstructured":"Ralf Ramsauer Jan Kiszka Daniel Lohmann and Wolfgang Mauerer. 2017. Look mum no VM exits!(almost). arXiv preprint arXiv:1705.06932."},{"key":"e_1_3_2_1_24_1","unstructured":"Robin Randhawa. 2013. Software Techniques for ARM big. LITTLE Systems. ARM Apr."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1400097.1400108"},{"key":"e_1_3_2_1_26_1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE). 1287\u20131292","author":"Shen Yicong","year":"2022","unstructured":"Yicong Shen, Lei Wang, Yuanzhi Liang, Siran Li, and Bo Jiang. 2022. Shyper: An embedded hypervisor applying hierarchical resource isolation strategies for mixed-criticality systems. In 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE). 1287\u20131292."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477013"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1186\/s41074-017-0027-2"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33622-0_22"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1088\/1742-6596\/1237\/5\/052017"}],"event":{"name":"LCTES '24: 25th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Copenhagen Denmark","acronym":"LCTES '24"},"container-title":["Proceedings of the 25th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652032.3657573","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3652032.3657573","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:12Z","timestamp":1750291392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652032.3657573"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,20]]},"references-count":30,"alternative-id":["10.1145\/3652032.3657573","10.1145\/3652032"],"URL":"https:\/\/doi.org\/10.1145\/3652032.3657573","relation":{},"subject":[],"published":{"date-parts":[[2024,6,20]]},"assertion":[{"value":"2024-06-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}