{"id":"https://openalex.org/W4388757695","doi":"https://doi.org/10.1109/uemcon59035.2023.10316016","title":"Embedded Virtualization on RISC-V with seL4","display_name":"Embedded Virtualization on RISC-V with seL4","publication_year":2023,"publication_date":"2023-10-12","ids":{"openalex":"https://openalex.org/W4388757695","doi":"https://doi.org/10.1109/uemcon59035.2023.10316016"},"language":"en","primary_location":{"id":"doi:10.1109/uemcon59035.2023.10316016","is_oa":false,"landing_page_url":"https://doi.org/10.1109/uemcon59035.2023.10316016","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 14th Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5093279894","display_name":"Michael A. Doran","orcid":null},"institutions":[{"id":"https://openalex.org/I8606887","display_name":"Grand Valley State University","ror":"https://ror.org/001m1hv61","country_code":"US","type":"education","lineage":["https://openalex.org/I8606887"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael A. Doran","raw_affiliation_strings":["Grand Valley State University Padnos College of Engineering & Computing,Grand Rapids,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Grand Valley State University Padnos College of Engineering & Computing,Grand Rapids,USA","institution_ids":["https://openalex.org/I8606887"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077542996","display_name":"Nabeeh Kandalaft","orcid":"https://orcid.org/0000-0001-9499-7136"},"institutions":[{"id":"https://openalex.org/I8606887","display_name":"Grand Valley State University","ror":"https://ror.org/001m1hv61","country_code":"US","type":"education","lineage":["https://openalex.org/I8606887"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nabeeh Kandalaft","raw_affiliation_strings":["Grand Valley State University Padnos College of Engineering & Computing,Grand Rapids,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Grand Valley State University Padnos College of Engineering & Computing,Grand Rapids,USA","institution_ids":["https://openalex.org/I8606887"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I8606887"],"apc_list":null,"apc_paid":null,"fwci":0.1613,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.57512462,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"0736","last_page":"0740"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/virtualization","display_name":"Virtualization","score":0.7847567796707153},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6963976621627808},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6954933404922485},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.6643638014793396},{"id":"https://openalex.org/keywords/hypervisor","display_name":"Hypervisor","score":0.619406521320343},{"id":"https://openalex.org/keywords/microkernel","display_name":"Microkernel","score":0.5509971380233765},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5230920314788818},{"id":"https://openalex.org/keywords/aerospace","display_name":"Aerospace","score":0.4937780797481537},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.48092004656791687},{"id":"https://openalex.org/keywords/reduced-instruction-set-computing","display_name":"Reduced instruction set computing","score":0.4211735129356384},{"id":"https://openalex.org/keywords/instruction-set","display_name":"Instruction set","score":0.23944053053855896},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.1917649507522583},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.19146478176116943},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.11250698566436768}],"concepts":[{"id":"https://openalex.org/C513985346","wikidata":"https://www.wikidata.org/wiki/Q270471","display_name":"Virtualization","level":3,"score":0.7847567796707153},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6963976621627808},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6954933404922485},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.6643638014793396},{"id":"https://openalex.org/C112904061","wikidata":"https://www.wikidata.org/wiki/Q1077480","display_name":"Hypervisor","level":4,"score":0.619406521320343},{"id":"https://openalex.org/C2777127024","wikidata":"https://www.wikidata.org/wiki/Q726378","display_name":"Microkernel","level":2,"score":0.5509971380233765},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5230920314788818},{"id":"https://openalex.org/C167740415","wikidata":"https://www.wikidata.org/wiki/Q2876213","display_name":"Aerospace","level":2,"score":0.4937780797481537},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.48092004656791687},{"id":"https://openalex.org/C126298526","wikidata":"https://www.wikidata.org/wiki/Q189376","display_name":"Reduced instruction set computing","level":3,"score":0.4211735129356384},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.23944053053855896},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.1917649507522583},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19146478176116943},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.11250698566436768},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/uemcon59035.2023.10316016","is_oa":false,"landing_page_url":"https://doi.org/10.1109/uemcon59035.2023.10316016","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 14th Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1480157704","https://openalex.org/W1508143344","https://openalex.org/W1576624296","https://openalex.org/W1916709771","https://openalex.org/W2055184282","https://openalex.org/W2131726714","https://openalex.org/W2136290019","https://openalex.org/W2136310957","https://openalex.org/W2318354022","https://openalex.org/W2896693960","https://openalex.org/W2918580624","https://openalex.org/W3149780769","https://openalex.org/W3152703111","https://openalex.org/W3212841069","https://openalex.org/W4245587674","https://openalex.org/W4251228600","https://openalex.org/W6629099298","https://openalex.org/W6630471696","https://openalex.org/W6773222381","https://openalex.org/W6791184182","https://openalex.org/W6873592233","https://openalex.org/W6987020231","https://openalex.org/W7071628024"],"related_works":["https://openalex.org/W2265478100","https://openalex.org/W2743935771","https://openalex.org/W2148749405","https://openalex.org/W2104105430","https://openalex.org/W2800746524","https://openalex.org/W2766643895","https://openalex.org/W1515917392","https://openalex.org/W2743348030","https://openalex.org/W1973516247","https://openalex.org/W2179519055"],"abstract_inverted_index":{"Embedded":[0],"virtualization":[1],"is":[2,28],"a":[3,80],"key":[4],"enabler":[5],"for":[6,13],"system":[7],"designers":[8],"to":[9,34],"meet":[10],"SWaP-C":[11],"requirements":[12],"mission":[14],"critical":[15,46],"systems":[16],"that":[17,39],"execute":[18],"various":[19],"military,":[20],"aerospace,":[21],"medical,":[22],"and":[23,44],"commercial":[24],"applications.":[25],"The":[26],"demand":[27],"now":[29],"on":[30,61],"the":[31,51,56,62,71,76],"software":[32,38],"designer":[33],"implement":[35],"high":[36],"assurance":[37],"can":[40],"reliably":[41],"satisfy":[42],"safety":[43],"time":[45],"requirements.":[47],"This":[48,68],"article":[49],"presents":[50],"first":[52],"public":[53],"implementation":[54,69],"of":[55,79],"formally":[57],"proven":[58],"microkernel,":[59],"seL4,":[60],"RISC-V":[63],"hypervisor":[64],"using":[65],"H-extension":[66],"v0.6.1.":[67],"uses":[70],"Rocketchip":[72],"softcore":[73],"executing":[74],"in":[75],"FPGA":[77],"fabric":[78],"Zynq":[81],"UltraScale+MPSoC":[82],"ZCU102.":[83]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}