{"id":"https://openalex.org/W2464364540","doi":"https://doi.org/10.1145/2935748","title":"A Virtualized Separation Kernel for Mixed-Criticality Systems","display_name":"A Virtualized Separation Kernel for Mixed-Criticality Systems","publication_year":2016,"publication_date":"2016-06-30","ids":{"openalex":"https://openalex.org/W2464364540","doi":"https://doi.org/10.1145/2935748","mag":"2464364540"},"language":"en","primary_location":{"id":"doi:10.1145/2935748","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2935748","pdf_url":null,"source":{"id":"https://openalex.org/S193109227","display_name":"ACM Transactions on Computer Systems","issn_l":"0734-2071","issn":["0734-2071","1557-7333"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computer Systems","raw_type":"journal-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/A5067179420","display_name":"Richard West","orcid":"https://orcid.org/0000-0001-5100-0666"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Richard West","raw_affiliation_strings":["Boston University, MA, USA"],"affiliations":[{"raw_affiliation_string":"Boston University, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100339233","display_name":"Ye Li","orcid":"https://orcid.org/0000-0002-5351-8546"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ye Li","raw_affiliation_strings":["Boston University, MA, USA"],"affiliations":[{"raw_affiliation_string":"Boston University, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048325165","display_name":"Eric Missimer","orcid":null},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eric Missimer","raw_affiliation_strings":["Boston University, MA, USA"],"affiliations":[{"raw_affiliation_string":"Boston University, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009987896","display_name":"Matthew Danish","orcid":"https://orcid.org/0000-0002-7186-387X"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew Danish","raw_affiliation_strings":["Boston University, MA, USA"],"affiliations":[{"raw_affiliation_string":"Boston University, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5067179420"],"corresponding_institution_ids":["https://openalex.org/I111088046"],"apc_list":null,"apc_paid":null,"fwci":4.91719282,"has_fulltext":false,"cited_by_count":55,"citation_normalized_percentile":{"value":0.96386584,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"34","issue":"3","first_page":"1","last_page":"41"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/hypervisor","display_name":"Hypervisor","score":0.8954055309295654},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8414428234100342},{"id":"https://openalex.org/keywords/mixed-criticality","display_name":"Mixed criticality","score":0.7087048292160034},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.622745931148529},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.5864946246147156},{"id":"https://openalex.org/keywords/virtualization","display_name":"Virtualization","score":0.5564576983451843},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5137625932693481},{"id":"https://openalex.org/keywords/hardware-virtualization","display_name":"Hardware virtualization","score":0.4765266180038452},{"id":"https://openalex.org/keywords/criticality","display_name":"Criticality","score":0.37048670649528503},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.16856831312179565}],"concepts":[{"id":"https://openalex.org/C112904061","wikidata":"https://www.wikidata.org/wiki/Q1077480","display_name":"Hypervisor","level":4,"score":0.8954055309295654},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8414428234100342},{"id":"https://openalex.org/C2781124451","wikidata":"https://www.wikidata.org/wiki/Q6883956","display_name":"Mixed criticality","level":3,"score":0.7087048292160034},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.622745931148529},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.5864946246147156},{"id":"https://openalex.org/C513985346","wikidata":"https://www.wikidata.org/wiki/Q270471","display_name":"Virtualization","level":3,"score":0.5564576983451843},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5137625932693481},{"id":"https://openalex.org/C68793194","wikidata":"https://www.wikidata.org/wiki/Q1616095","display_name":"Hardware virtualization","level":5,"score":0.4765266180038452},{"id":"https://openalex.org/C125611927","wikidata":"https://www.wikidata.org/wiki/Q17008131","display_name":"Criticality","level":2,"score":0.37048670649528503},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.16856831312179565},{"id":"https://openalex.org/C185544564","wikidata":"https://www.wikidata.org/wiki/Q81197","display_name":"Nuclear physics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2935748","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2935748","pdf_url":null,"source":{"id":"https://openalex.org/S193109227","display_name":"ACM Transactions on Computer Systems","issn_l":"0734-2071","issn":["0734-2071","1557-7333"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computer Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":76,"referenced_works":["https://openalex.org/W64217489","https://openalex.org/W115429978","https://openalex.org/W183305829","https://openalex.org/W183323481","https://openalex.org/W1555299929","https://openalex.org/W1927124720","https://openalex.org/W1967474856","https://openalex.org/W1971739358","https://openalex.org/W1980419087","https://openalex.org/W1983113212","https://openalex.org/W1991895580","https://openalex.org/W2000642048","https://openalex.org/W2001244554","https://openalex.org/W2006816934","https://openalex.org/W2010843180","https://openalex.org/W2014809728","https://openalex.org/W2018770409","https://openalex.org/W2039000785","https://openalex.org/W2052705820","https://openalex.org/W2054495773","https://openalex.org/W2065870474","https://openalex.org/W2081461624","https://openalex.org/W2086234010","https://openalex.org/W2092289885","https://openalex.org/W2092466090","https://openalex.org/W2096915479","https://openalex.org/W2098592421","https://openalex.org/W2100817684","https://openalex.org/W2101308451","https://openalex.org/W2103230755","https://openalex.org/W2109488193","https://openalex.org/W2112136319","https://openalex.org/W2113663979","https://openalex.org/W2115078506","https://openalex.org/W2116699625","https://openalex.org/W2117648703","https://openalex.org/W2118898690","https://openalex.org/W2120028254","https://openalex.org/W2120185818","https://openalex.org/W2128336546","https://openalex.org/W2129360963","https://openalex.org/W2129816520","https://openalex.org/W2131726714","https://openalex.org/W2132185316","https://openalex.org/W2133119226","https://openalex.org/W2134296086","https://openalex.org/W2134935059","https://openalex.org/W2135359801","https://openalex.org/W2135368038","https://openalex.org/W2136310957","https://openalex.org/W2140936050","https://openalex.org/W2142033140","https://openalex.org/W2150210903","https://openalex.org/W2151186611","https://openalex.org/W2154766204","https://openalex.org/W2156368296","https://openalex.org/W2159216089","https://openalex.org/W2165255379","https://openalex.org/W2167972204","https://openalex.org/W2168075869","https://openalex.org/W2168689817","https://openalex.org/W2169414316","https://openalex.org/W2169944656","https://openalex.org/W2195082944","https://openalex.org/W2336642255","https://openalex.org/W2545380179","https://openalex.org/W2570030068","https://openalex.org/W2611176464","https://openalex.org/W2913906190","https://openalex.org/W2999825842","https://openalex.org/W4238764625","https://openalex.org/W4241778508","https://openalex.org/W4244704438","https://openalex.org/W4246472322","https://openalex.org/W4247620684","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2017036943","https://openalex.org/W3083135738","https://openalex.org/W2005435933","https://openalex.org/W2188430254","https://openalex.org/W2179519055","https://openalex.org/W2747005099","https://openalex.org/W2549930939","https://openalex.org/W2145292010","https://openalex.org/W1973516247","https://openalex.org/W1775827617"],"abstract_inverted_index":{"Multi-":[0],"and":[1,27,49,79,111,202],"many-core":[2],"processors":[3,14],"are":[4,87,121,135],"becoming":[5],"increasingly":[6],"popular":[7],"in":[8],"embedded":[9,141],"systems.":[10,143],"Many":[11],"of":[12,65,72,105,118,151,159,174,215],"these":[13],"now":[15],"feature":[16],"hardware":[17],"virtualization":[18,37],"capabilities,":[19],"as":[20,70],"found":[21],"on":[22,99,116],"the":[23,149,152,196,212,216,226],"ARM":[24],"Cortex":[25],"A15":[26],"x86":[28],"architectures":[29],"with":[30,76],"Intel":[31],"VT-x":[32],"or":[33,166],"AMD-V":[34],"support.":[35],"Hardware":[36],"provides":[38],"a":[39,66,73,172,185,189],"way":[40],"to":[41,62,95,109,194],"partition":[42],"physical":[43,100,114,176],"resources,":[44],"including":[45],"processor":[46,101],"cores,":[47],"memory,":[48],"I/O":[50],"devices,":[51],"among":[52],"guest":[53],"virtual":[54,84],"machines":[55],"(VMs).":[56],"Each":[57,169],"VM":[58],"is":[59,191],"then":[60],"able":[61],"host":[63],"tasks":[64],"specific":[67],"criticality":[68,161],"level,":[69],"part":[71],"mixed-criticality":[74,90],"system":[75,231],"different":[77,160],"timing":[78],"safety":[80],"requirements.":[81],"However,":[82],"traditional":[83,129],"machine":[85,113,175],"systems":[86],"inappropriate":[88],"for":[89,124,139],"computing.":[91],"They":[92],"use":[93],"hypervisors":[94,108,130],"schedule":[96],"separate":[97,119,164],"VMs":[98],"cores.":[102],"The":[103],"costs":[104],"trapping":[106],"into":[107],"multiplex":[110],"manage":[112],"resources":[115,177],"behalf":[117],"guests":[120],"too":[122,137],"expensive":[123],"many":[125,140],"time-critical":[126],"tasks.":[127],"Additionally,":[128],"have":[131],"memory":[132,213],"footprints":[133],"that":[134,178],"often":[136],"large":[138],"computing":[142],"In":[144,187],"this":[145],"article,":[146],"we":[147],"discuss":[148],"design":[150],"Quest-V":[153],"separation":[154],"kernel,":[155],"which":[156],"partitions":[157],"services":[158],"levels":[162],"across":[163],"VMs,":[165],"sandboxes":[167],".":[168],"sandbox":[170],"encapsulates":[171],"subset":[173],"it":[179,224],"manages":[180],"without":[181],"requiring":[182],"intervention":[183],"from":[184,199,225],"hypervisor.":[186],"Quest-V,":[188],"hypervisor":[190],"only":[192,210],"needed":[193],"bootstrap":[195],"system,":[197],"recover":[198],"certain":[200],"faults,":[201],"establish":[203],"communication":[204],"channels":[205],"between":[206],"sandboxes.":[207],"This":[208],"not":[209],"reduces":[211],"footprint":[214],"most":[217],"privileged":[218],"protection":[219],"domain":[220],"but":[221],"also":[222],"removes":[223],"control":[227],"path":[228],"during":[229],"normal":[230],"operation,":[232],"thereby":[233],"heightening":[234],"security.":[235]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}