{"id":"https://openalex.org/W2128305833","doi":"https://doi.org/10.1145/2576195.2576206","title":"A virtualized separation kernel for mixed criticality systems","display_name":"A virtualized separation kernel for mixed criticality systems","publication_year":2014,"publication_date":"2014-03-01","ids":{"openalex":"https://openalex.org/W2128305833","doi":"https://doi.org/10.1145/2576195.2576206","mag":"2128305833"},"language":"en","primary_location":{"id":"doi:10.1145/2576195.2576206","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2576195.2576206","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments","raw_type":"proceedings-article"},"type":"conference-paper","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/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, Boston, MA, USA","Boston University , Boston , MA , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Boston University, Boston, MA, USA","institution_ids":[]},{"raw_affiliation_string":"Boston University , Boston , MA , USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"middle","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":false,"raw_author_name":"Richard West","raw_affiliation_strings":["Boston University, Boston, MA, USA","Boston University , Boston , MA , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Boston University, Boston, MA, USA","institution_ids":[]},{"raw_affiliation_string":"Boston University , Boston , MA , USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"last","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, Boston, MA, USA","Boston University , Boston , MA , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Boston University, Boston, MA, USA","institution_ids":[]},{"raw_affiliation_string":"Boston University , Boston , MA , USA","institution_ids":["https://openalex.org/I111088046"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I111088046"],"apc_list":null,"apc_paid":null,"fwci":2.4184,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.89619829,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"201","last_page":"212"},"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.9997000098228455,"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.9997000098228455,"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.9994999766349792,"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.9988999962806702,"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.9049088954925537},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7869258522987366},{"id":"https://openalex.org/keywords/mixed-criticality","display_name":"Mixed criticality","score":0.7646865844726562},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.701562762260437},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.6747570037841797},{"id":"https://openalex.org/keywords/virtualization","display_name":"Virtualization","score":0.6531791687011719},{"id":"https://openalex.org/keywords/x86","display_name":"x86","score":0.6200385093688965},{"id":"https://openalex.org/keywords/hardware-virtualization","display_name":"Hardware virtualization","score":0.5240376591682434},{"id":"https://openalex.org/keywords/full-virtualization","display_name":"Full virtualization","score":0.5166195034980774},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.483808696269989},{"id":"https://openalex.org/keywords/sandbox","display_name":"Sandbox (software development)","score":0.4242987632751465},{"id":"https://openalex.org/keywords/criticality","display_name":"Criticality","score":0.274047315120697},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.14570292830467224}],"concepts":[{"id":"https://openalex.org/C112904061","wikidata":"https://www.wikidata.org/wiki/Q1077480","display_name":"Hypervisor","level":4,"score":0.9049088954925537},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7869258522987366},{"id":"https://openalex.org/C2781124451","wikidata":"https://www.wikidata.org/wiki/Q6883956","display_name":"Mixed criticality","level":3,"score":0.7646865844726562},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.701562762260437},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.6747570037841797},{"id":"https://openalex.org/C513985346","wikidata":"https://www.wikidata.org/wiki/Q270471","display_name":"Virtualization","level":3,"score":0.6531791687011719},{"id":"https://openalex.org/C170723468","wikidata":"https://www.wikidata.org/wiki/Q182933","display_name":"x86","level":3,"score":0.6200385093688965},{"id":"https://openalex.org/C68793194","wikidata":"https://www.wikidata.org/wiki/Q1616095","display_name":"Hardware virtualization","level":5,"score":0.5240376591682434},{"id":"https://openalex.org/C47878483","wikidata":"https://www.wikidata.org/wiki/Q848333","display_name":"Full virtualization","level":4,"score":0.5166195034980774},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.483808696269989},{"id":"https://openalex.org/C167981075","wikidata":"https://www.wikidata.org/wiki/Q2667186","display_name":"Sandbox (software development)","level":2,"score":0.4242987632751465},{"id":"https://openalex.org/C125611927","wikidata":"https://www.wikidata.org/wiki/Q17008131","display_name":"Criticality","level":2,"score":0.274047315120697},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.14570292830467224},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.0},{"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":2,"locations":[{"id":"doi:10.1145/2576195.2576206","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2576195.2576206","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.432.3147","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.432.3147","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.bu.edu/fac/richwest/papers/vee2014.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W115429978","https://openalex.org/W183305829","https://openalex.org/W190062532","https://openalex.org/W1971739358","https://openalex.org/W2000642048","https://openalex.org/W2006816934","https://openalex.org/W2052705820","https://openalex.org/W2081461624","https://openalex.org/W2092289885","https://openalex.org/W2100817684","https://openalex.org/W2105926733","https://openalex.org/W2109488193","https://openalex.org/W2112136319","https://openalex.org/W2115078506","https://openalex.org/W2116699625","https://openalex.org/W2117648703","https://openalex.org/W2117898742","https://openalex.org/W2128336546","https://openalex.org/W2131726714","https://openalex.org/W2133119226","https://openalex.org/W2134935059","https://openalex.org/W2135359801","https://openalex.org/W2136310957","https://openalex.org/W2150210903","https://openalex.org/W2151186611","https://openalex.org/W2154766204","https://openalex.org/W2156368296","https://openalex.org/W2168075869","https://openalex.org/W2195082944","https://openalex.org/W2570030068","https://openalex.org/W2999825842","https://openalex.org/W4244704438","https://openalex.org/W4246472322","https://openalex.org/W6607735624","https://openalex.org/W6637416399"],"related_works":["https://openalex.org/W2065933154","https://openalex.org/W3005899844","https://openalex.org/W2363056855","https://openalex.org/W2998045655","https://openalex.org/W2998693821","https://openalex.org/W2798659268","https://openalex.org/W2090590366","https://openalex.org/W2761289806","https://openalex.org/W2055184282","https://openalex.org/W3007702159"],"abstract_inverted_index":{"Multi-":[0],"and":[1,26,47,57,88,167],"many-core":[2],"processors":[3,14,28],"are":[4,75,101],"becoming":[5],"increasingly":[6],"popular":[7],"in":[8,66,129],"embedded":[9],"systems.":[10],"Many":[11],"of":[12,79,82,95,118,126,140,150],"these":[13],"now":[15],"feature":[16],"hardware":[17],"virtualization":[18,36],"capabilities,":[19],"such":[20],"as":[21],"the":[22,63,80,116,119,165],"ARM":[23],"Cortex":[24],"A15,":[25],"x86":[27],"with":[29],"Intel":[30],"VT-x":[31],"or":[32,133],"AMD-V":[33],"support.":[34],"Hardware":[35],"offers":[37],"opportunities":[38],"to":[39,86,103,163],"partition":[40],"physical":[41,91,108,142],"resources,":[42],"including":[43],"processor":[44,109],"cores,":[45],"memory":[46],"I/O":[48],"devices":[49],"amongst":[50],"guest":[51],"virtual":[52,68,72,131],"machines.":[53,69],"Mixed":[54],"criticality":[55],"systems":[56,74],"services":[58,125],"can":[59],"then":[60],"co-exist":[61],"on":[62,93,107],"same":[64],"platform":[65],"separate":[67,96,105,130],"However,":[70],"traditional":[71],"machine":[73,90,141],"too":[76],"expensive":[77],"because":[78],"costs":[81],"trapping":[83],"into":[84],"hypervisors":[85,100],"multiplex":[87],"manage":[89],"resources":[92,143],"behalf":[94],"guests.":[97],"For":[98],"example,":[99],"needed":[102,158],"schedule":[104],"VMs":[106],"cores.":[110],"In":[111],"this":[112],"paper,":[113],"we":[114],"discuss":[115],"design":[117],"Quest-V":[120],"separation":[121],"kernel,":[122],"which":[123],"partitions":[124],"different":[127],"criticalities":[128],"machines,":[132],"sandboxes.":[134,172],"Each":[135],"sandbox":[136],"encapsulates":[137],"a":[138,151,154],"subset":[139],"that":[144],"it":[145],"manages":[146],"without":[147],"requiring":[148],"intervention":[149],"hypervisor.":[152],"Moreover,":[153],"hypervisor":[155],"is":[156],"not":[157],"for":[159],"normal":[160],"operation,":[161],"except":[162],"bootstrap":[164],"system":[166],"establish":[168],"communication":[169],"channels":[170],"between":[171]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":3}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}