{"id":"https://openalex.org/W2907666030","doi":"https://doi.org/10.23919/fruct.2018.8588018","title":"VOSYSmonitor, a TrustZone-based Hypervisor for ISO 26262 Mixed-critical System","display_name":"VOSYSmonitor, a TrustZone-based Hypervisor for ISO 26262 Mixed-critical System","publication_year":2018,"publication_date":"2018-11-01","ids":{"openalex":"https://openalex.org/W2907666030","doi":"https://doi.org/10.23919/fruct.2018.8588018","mag":"2907666030"},"language":"en","primary_location":{"id":"doi:10.23919/fruct.2018.8588018","is_oa":false,"landing_page_url":"https://doi.org/10.23919/fruct.2018.8588018","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 23rd Conference of Open Innovations Association (FRUCT)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doaj.org/article/e51c0a8a44684c6eb9457eae937dc6cb","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045874512","display_name":"Pierre Lucas","orcid":null},"institutions":[{"id":"https://openalex.org/I4210106601","display_name":"Virtual Open Systems (France)","ror":"https://ror.org/01138at48","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210106601"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Lucas","raw_affiliation_strings":["Virtual Open Systems, Grenoble, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Virtual Open Systems, Grenoble, France","institution_ids":["https://openalex.org/I4210106601"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031251286","display_name":"Kevin Chappuis","orcid":null},"institutions":[{"id":"https://openalex.org/I4210106601","display_name":"Virtual Open Systems (France)","ror":"https://ror.org/01138at48","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210106601"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Kevin Chappuis","raw_affiliation_strings":["Virtual Open Systems, Grenoble, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Virtual Open Systems, Grenoble, France","institution_ids":["https://openalex.org/I4210106601"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068225761","display_name":"Benjamin Boutin","orcid":"https://orcid.org/0000-0002-4012-6922"},"institutions":[{"id":"https://openalex.org/I4210106601","display_name":"Virtual Open Systems (France)","ror":"https://ror.org/01138at48","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210106601"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Benjamin Boutin","raw_affiliation_strings":["Virtual Open Systems, Grenoble, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Virtual Open Systems, Grenoble, France","institution_ids":["https://openalex.org/I4210106601"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010909817","display_name":"Julian Vetter","orcid":null},"institutions":[{"id":"https://openalex.org/I4210106601","display_name":"Virtual Open Systems (France)","ror":"https://ror.org/01138at48","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210106601"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Julian Vetter","raw_affiliation_strings":["Virtual Open Systems, Grenoble, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Virtual Open Systems, Grenoble, France","institution_ids":["https://openalex.org/I4210106601"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019559256","display_name":"Daniel Raho","orcid":null},"institutions":[{"id":"https://openalex.org/I4210106601","display_name":"Virtual Open Systems (France)","ror":"https://ror.org/01138at48","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210106601"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Daniel Raho","raw_affiliation_strings":["Virtual Open Systems, Grenoble, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Virtual Open Systems, Grenoble, France","institution_ids":["https://openalex.org/I4210106601"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210106601"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"231","last_page":"238"},"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.9977999925613403,"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.9977999925613403,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9958000183105469,"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.9930999875068665,"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/computer-science","display_name":"Computer science","score":0.8007659912109375},{"id":"https://openalex.org/keywords/mixed-criticality","display_name":"Mixed criticality","score":0.7617371082305908},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.7016875147819519},{"id":"https://openalex.org/keywords/hypervisor","display_name":"Hypervisor","score":0.6080984473228455},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.5765861868858337},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5398812294006348},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.47642430663108826},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.42071789503097534},{"id":"https://openalex.org/keywords/component-based-software-engineering","display_name":"Component-based software engineering","score":0.41113072633743286},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3947073519229889},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.3560807704925537},{"id":"https://openalex.org/keywords/criticality","display_name":"Criticality","score":0.290885865688324},{"id":"https://openalex.org/keywords/virtualization","display_name":"Virtualization","score":0.2782941460609436},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.15896210074424744}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8007659912109375},{"id":"https://openalex.org/C2781124451","wikidata":"https://www.wikidata.org/wiki/Q6883956","display_name":"Mixed criticality","level":3,"score":0.7617371082305908},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.7016875147819519},{"id":"https://openalex.org/C112904061","wikidata":"https://www.wikidata.org/wiki/Q1077480","display_name":"Hypervisor","level":4,"score":0.6080984473228455},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.5765861868858337},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5398812294006348},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.47642430663108826},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.42071789503097534},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.41113072633743286},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3947073519229889},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.3560807704925537},{"id":"https://openalex.org/C125611927","wikidata":"https://www.wikidata.org/wiki/Q17008131","display_name":"Criticality","level":2,"score":0.290885865688324},{"id":"https://openalex.org/C513985346","wikidata":"https://www.wikidata.org/wiki/Q270471","display_name":"Virtualization","level":3,"score":0.2782941460609436},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.15896210074424744},{"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.23919/fruct.2018.8588018","is_oa":false,"landing_page_url":"https://doi.org/10.23919/fruct.2018.8588018","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 23rd Conference of Open Innovations Association (FRUCT)","raw_type":"proceedings-article"},{"id":"pmh:oai:doaj.org/article:e51c0a8a44684c6eb9457eae937dc6cb","is_oa":true,"landing_page_url":"https://doaj.org/article/e51c0a8a44684c6eb9457eae937dc6cb","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the XXth Conference of Open Innovations Association FRUCT, Vol 602, Iss 23, Pp 231-238 (2018)","raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:doaj.org/article:e51c0a8a44684c6eb9457eae937dc6cb","is_oa":true,"landing_page_url":"https://doaj.org/article/e51c0a8a44684c6eb9457eae937dc6cb","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the XXth Conference of Open Innovations Association FRUCT, Vol 602, Iss 23, Pp 231-238 (2018)","raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W2727477526","https://openalex.org/W4244704438","https://openalex.org/W6740264658"],"related_works":["https://openalex.org/W4381886089","https://openalex.org/W2897559408","https://openalex.org/W4280594791","https://openalex.org/W1967197230","https://openalex.org/W4353007564","https://openalex.org/W2128305833","https://openalex.org/W4391454137","https://openalex.org/W2464364540","https://openalex.org/W3170878721","https://openalex.org/W4312785686"],"abstract_inverted_index":{"With":[0],"the":[1,10,21,67,89,95,102,110,119,125,131,140,152,169,177,207],"emergence":[2],"of":[3,12,18,69,94,98,104,121,139,144,160,172,179,185],"multicore":[4],"embedded":[5],"System":[6],"on":[7,20,75,130,137],"Chip":[8],"(SoC),":[9],"integration":[11],"several":[13],"applications":[14,74],"with":[15],"different":[16],"levels":[17],"criticality":[19],"same":[22],"platform":[23],"is":[24,101,154,188],"becoming":[25],"increasingly":[26],"popular.":[27],"These":[28],"platforms,":[29],"known":[30],"as":[31],"mixed-criticality":[32],"systems,":[33],"need":[34],"to":[35,88,127,156,189],"meet":[36],"numerous":[37],"requirements":[38],"(e.g.":[39,196],"real-time":[40],"constraints,":[41],"multiple":[42],"Operating":[43],"Systems":[44,57],"(OS)":[45],"scheduling,":[46],"providing":[47],"temporal":[48],"and":[49,72,106,135,200],"spatial":[50],"isolation).":[51],"In":[52,118],"this":[53,99,186],"context":[54],"Virtual":[55],"Open":[56],"has":[58,84],"developed":[59,86],"VOSYSmonitor,":[60],"a":[61,70,76,122,158,173,180,192],"thin":[62],"software":[63,82,123,153,194],"layer,":[64],"which":[65],"allows":[66],"co-execution":[68],"safety-critical":[71],"noncritical":[73],"single":[77],"ARM-based":[78],"multi-core":[79],"SoC.":[80],"This":[81],"element":[83,195],"been":[85],"according":[87],"ISO":[90],"26262":[91],"standard.":[92],"One":[93],"key":[96],"aspects":[97],"standard":[100],"control":[103],"random":[105],"systematic":[107],"failures,":[108,203],"including":[109],"ones":[111],"induced":[112],"by":[113,166],"faulty":[114],"or":[115,175],"aging":[116],"hardware.":[117],"case":[120],"component,":[124],"means":[126],"detect":[128,199],"anomalies":[129],"hardware":[132],"are":[133,210],"limited":[134],"depend":[136],"choices":[138],"manufacturer":[141],"(i.e.":[142],"implementation":[143],"Dual":[145],"redundant":[146],"Core":[147],"Lock":[148],"step":[149],"(DCLS)).":[150],"However,":[151],"able":[155],"check":[157],"part":[159],"these":[161],"failures.":[162],"It":[163],"can":[164,198],"be":[165],"either":[167],"reading":[168],"configuration":[170],"registers":[171],"peripheral,":[174],"checking":[176],"sanity":[178],"memory":[181],"region.":[182],"The":[183],"purpose":[184],"paper":[187],"showcase":[190],"how":[191],"safety-related":[193,208],"VOSYSmonitor)":[197],"recover":[201],"from":[202],"while":[204],"ensuring":[205],"that":[206],"goals":[209],"still":[211],"reached.":[212]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}