{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T10:30:27Z","timestamp":1756895427761,"version":"3.28.0"},"reference-count":37,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,12]],"date-time":"2023-10-12T00:00:00Z","timestamp":1697068800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,12]],"date-time":"2023-10-12T00:00:00Z","timestamp":1697068800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,12]]},"DOI":"10.1109\/uemcon59035.2023.10316016","type":"proceedings-article","created":{"date-parts":[[2023,11,17]],"date-time":"2023-11-17T18:54:18Z","timestamp":1700247258000},"page":"0736-0740","source":"Crossref","is-referenced-by-count":1,"title":["Embedded Virtualization on RISC-V with seL4"],"prefix":"10.1109","author":[{"given":"Michael A.","family":"Doran","sequence":"first","affiliation":[{"name":"Grand Valley State University Padnos College of Engineering & Computing,Grand Rapids,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nabeeh","family":"Kandalaft","sequence":"additional","affiliation":[{"name":"Grand Valley State University Padnos College of Engineering & Computing,Grand Rapids,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"901","article-title":"Virtualizing embedded systems \u2013 Why bother?","volume-title":"Proc. 48th ACM\/EDAC\/IEEE Des. Autom. Conf.","author":"Heiser"},{"key":"ref2","first-page":"3:1","article-title":"Bao: A lightweight static partitioning hypervisor for modern multicore embedded systems","volume-title":"Proc. Workshop Next Gener. Real-Time Embedded Syst.","volume":"77","author":"Martins"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2019.00009"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541946"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/tc.2021.3124320"},{"key":"ref6","article-title":"The RISC-V instruction set manual volume II: Privileged architecture, document version 20211203","author":"Waterman","year":"2021","journal-title":"RISC-V Foundation"},{"volume-title":"Instruction sets should be free: The case for RISC-V","year":"2014","author":"Asanovi\u0107","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"ref9","article-title":"The RISC-V Instruction Set Manual Volume I: Unprivileged ISA, document version 20191213","author":"Waterman","year":"2019","journal-title":"RISC-V Foundation"},{"year":"2023","key":"ref10","article-title":"Arm Architecture Reference Manual Supplement for A-profile architecture"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541946"},{"year":"2018","key":"ref12","article-title":"Isolation using virtualization in the Secure world Secure world software architecture on Armv8.4"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"volume-title":"The Rocket Chip Generator [J]","year":"2016","author":"Asanovi\u0107","key":"ref14"},{"article-title":"SiFive TileLink Specification","volume-title":"Technical Report","year":"2017","key":"ref15"},{"key":"ref16","article-title":"The rocket chip generator","volume-title":"EECS Department, University of California, Berkeley, Tech. Rep","author":"Asanovic","year":"2016"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2016.11"},{"year":"2023","key":"ref18","article-title":"The Scala Programming Language"},{"key":"ref19","article-title":"Specification for the FIRRTL Language","volume-title":"EECS Department University of California Berkeley, Tech. Rep","author":"Li","year":"2016"},{"volume-title":"Operating System Concepts","year":"2018","author":"Silberschatz","key":"ref20"},{"volume-title":"Modern Operating Systems","year":"2014","author":"Tanenbaum","key":"ref21"},{"volume-title":"Linux Kernel Development","year":"2010","author":"Love","key":"ref22"},{"article-title":"Distributed Systems: Principles and Paradigms","year":"2006","author":"Tanenbaum","key":"ref23"},{"article-title":"The Role of the L4 Microkernel in Mobile and Embedded Systems","volume-title":"Proceedings of the 4th International Conference on Mobile Technology, Applications, and Systems","author":"Heiser","key":"ref24"},{"year":"2021","key":"ref25","article-title":"seL4 Reference Manual v12.1.0"},{"article-title":"The seL4 Microkernel An Introduction","year":"2020","author":"Heiser","key":"ref26"},{"article-title":"Virtual Machines: Versatile Platforms for Systems and Processes","year":"2005","author":"Smith","key":"ref27"},{"article-title":"Performance Impacts from the seL4 Hypervisor","volume-title":"In Proceedings of the Ground Vehicle Systems Engineering and Technology Symposium (GVSETS)","author":"Millwood","key":"ref28"},{"article-title":"The seL4 Microkernel \u2013 A Robust, Resilient, and Open-Source Foundation for Ground Vehicle Electronics Architecture","volume-title":"In Proceedings of the Ground Vehicle Systems Engineering and Technology Symposium (GVSETS)","author":"VanVossen","key":"ref29"},{"article-title":"Containerization in Trusted Computing","volume-title":"In Proceedings of the Ground Vehicle Systems Enginnering and Technology Symposium (GVSETS)","author":"Prins","key":"ref30"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1165389.945462"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/mc.2005.176"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/8179.001.0001"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02450-5_4"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275"},{"issue":"6","key":"ref36","first-page":"579","article-title":"Formal Methods for Modeling and Analyzing Requirements: A Survey","volume":"44","author":"Heitmeyer","year":"2018","journal-title":"IEEE Transactions on Software Engineering"},{"article-title":"MP Ultrascale+. (n.d.)","year":"2023","author":"Zynq","key":"ref37"}],"event":{"name":"2023 IEEE 14th Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON)","start":{"date-parts":[[2023,10,12]]},"location":"New York, NY, USA","end":{"date-parts":[[2023,10,14]]}},"container-title":["2023 IEEE 14th Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10315953\/10315721\/10316016.pdf?arnumber=10316016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T18:09:17Z","timestamp":1709402957000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10316016\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,12]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/uemcon59035.2023.10316016","relation":{},"subject":[],"published":{"date-parts":[[2023,10,12]]}}}