{"id":"https://openalex.org/W4384026339","doi":"https://doi.org/10.1109/ets56758.2023.10174216","title":"Validation, Verification, and Testing (VVT) of future RISC-V powered cloud infrastructures: the Vitamin-V Horizon Europe Project perspective","display_name":"Validation, Verification, and Testing (VVT) of future RISC-V powered cloud infrastructures: the Vitamin-V Horizon Europe Project perspective","publication_year":2023,"publication_date":"2023-05-22","ids":{"openalex":"https://openalex.org/W4384026339","doi":"https://doi.org/10.1109/ets56758.2023.10174216"},"language":"en","primary_location":{"id":"doi:10.1109/ets56758.2023.10174216","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ets56758.2023.10174216","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE European Test Symposium (ETS)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://upcommons.upc.edu/bitstreams/d758a3a4-7b9a-4bb4-8c76-a9ac116dc1bc/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060823199","display_name":"Mart\u00ed Alonso","orcid":null},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Mart\u00ed Alonso","raw_affiliation_strings":["Universitat Politècnica de Catalunya,Barcelona,Spain"],"affiliations":[{"raw_affiliation_string":"Universitat Politècnica de Catalunya,Barcelona,Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103281003","display_name":"David Andreu","orcid":"https://orcid.org/0000-0002-0744-9447"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"David Andreu","raw_affiliation_strings":["Universitat Politècnica de Catalunya,Barcelona,Spain"],"affiliations":[{"raw_affiliation_string":"Universitat Politècnica de Catalunya,Barcelona,Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033422418","display_name":"R. Canal","orcid":"https://orcid.org/0000-0002-0465-2829"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Ramon Canal","raw_affiliation_strings":["Universitat Politècnica de Catalunya,Barcelona,Spain"],"affiliations":[{"raw_affiliation_string":"Universitat Politècnica de Catalunya,Barcelona,Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026593274","display_name":"Stefano Di Carlo","orcid":"https://orcid.org/0000-0002-7512-5356"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Stefano Di Carlo","raw_affiliation_strings":["Politecnico di Torino,Torino,Italy","Politecnico di Torino, Torino, Italy"],"affiliations":[{"raw_affiliation_string":"Politecnico di Torino,Torino,Italy","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048886540","display_name":"Cristiano Chenet","orcid":null},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Cristiano Chenet","raw_affiliation_strings":["Politecnico di Torino,Torino,Italy","Politecnico di Torino, Torino, Italy"],"affiliations":[{"raw_affiliation_string":"Politecnico di Torino,Torino,Italy","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112958260","display_name":"Juanjo Costa","orcid":null},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Juanjo Costa","raw_affiliation_strings":["Universitat Politècnica de Catalunya,Barcelona,Spain"],"affiliations":[{"raw_affiliation_string":"Universitat Politècnica de Catalunya,Barcelona,Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021920749","display_name":"Andreu Giron\u00e9s","orcid":null},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Andreu Girones","raw_affiliation_strings":["Universitat Politècnica de Catalunya,Barcelona,Spain"],"affiliations":[{"raw_affiliation_string":"Universitat Politècnica de Catalunya,Barcelona,Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007119083","display_name":"Dimitris Gizopoulos","orcid":"https://orcid.org/0000-0002-1613-9061"},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Dimitris Gizopoulos","raw_affiliation_strings":["University of Athens,Athens,Greece","University of Athens, Athens, Greece"],"affiliations":[{"raw_affiliation_string":"University of Athens,Athens,Greece","institution_ids":["https://openalex.org/I200777214"]},{"raw_affiliation_string":"University of Athens, Athens, Greece","institution_ids":["https://openalex.org/I200777214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107857547","display_name":"V. Karakostas","orcid":null},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Vasileios Karakostas","raw_affiliation_strings":["University of Athens,Athens,Greece","University of Athens, Athens, Greece"],"affiliations":[{"raw_affiliation_string":"University of Athens,Athens,Greece","institution_ids":["https://openalex.org/I200777214"]},{"raw_affiliation_string":"University of Athens, Athens, Greece","institution_ids":["https://openalex.org/I200777214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051606168","display_name":"Beatriz Otero","orcid":"https://orcid.org/0000-0002-9194-559X"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Beatriz Otero","raw_affiliation_strings":["Universitat Politècnica de Catalunya,Barcelona,Spain"],"affiliations":[{"raw_affiliation_string":"Universitat Politècnica de Catalunya,Barcelona,Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036767968","display_name":"George N. Papadimitriou","orcid":"https://orcid.org/0000-0002-3772-5019"},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"George Papadimitriou","raw_affiliation_strings":["University of Athens,Athens,Greece","University of Athens, Athens, Greece"],"affiliations":[{"raw_affiliation_string":"University of Athens,Athens,Greece","institution_ids":["https://openalex.org/I200777214"]},{"raw_affiliation_string":"University of Athens, Athens, Greece","institution_ids":["https://openalex.org/I200777214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002172806","display_name":"Eva Rodr\u00edguez","orcid":"https://orcid.org/0000-0001-5904-7039"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Eva Rodr\u00edguez","raw_affiliation_strings":["Universitat Politècnica de Catalunya,Barcelona,Spain"],"affiliations":[{"raw_affiliation_string":"Universitat Politècnica de Catalunya,Barcelona,Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065582630","display_name":"Alessandro Savino","orcid":"https://orcid.org/0000-0003-0529-7950"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro Savino","raw_affiliation_strings":["Politecnico di Torino,Torino,Italy","Politecnico di Torino, Torino, Italy"],"affiliations":[{"raw_affiliation_string":"Politecnico di Torino,Torino,Italy","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":13,"corresponding_author_ids":["https://openalex.org/A5060823199"],"corresponding_institution_ids":["https://openalex.org/I9617848"],"apc_list":null,"apc_paid":null,"fwci":0.5326,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.64378706,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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/T11424","display_name":"Security and Verification in Computing","score":0.9983000159263611,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9955999851226807,"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/cloud-computing","display_name":"Cloud computing","score":0.8068057894706726},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8016239404678345},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.6684048175811768},{"id":"https://openalex.org/keywords/virtualization","display_name":"Virtualization","score":0.6047454476356506},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.5457229018211365},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4674590229988098},{"id":"https://openalex.org/keywords/x86","display_name":"x86","score":0.4321916401386261},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3972175419330597},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3718440532684326}],"concepts":[{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.8068057894706726},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8016239404678345},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.6684048175811768},{"id":"https://openalex.org/C513985346","wikidata":"https://www.wikidata.org/wiki/Q270471","display_name":"Virtualization","level":3,"score":0.6047454476356506},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.5457229018211365},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4674590229988098},{"id":"https://openalex.org/C170723468","wikidata":"https://www.wikidata.org/wiki/Q182933","display_name":"x86","level":3,"score":0.4321916401386261},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3972175419330597},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3718440532684326}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ets56758.2023.10174216","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ets56758.2023.10174216","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE European Test Symposium (ETS)","raw_type":"proceedings-article"},{"id":"pmh:oai:upcommons.upc.edu:2117/404503","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/404503","pdf_url":"https://upcommons.upc.edu/bitstreams/d758a3a4-7b9a-4bb4-8c76-a9ac116dc1bc/download","source":{"id":"https://openalex.org/S4210207057","display_name":"QRU Quaderns de Recerca en Urbanisme","issn_l":"2014-9689","issn":["2014-9689","2385-6777"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310322448","host_organization_name":"Q71272178","host_organization_lineage":["https://openalex.org/P4310322448"],"host_organization_lineage_names":["Q71272178"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference report"}],"best_oa_location":{"id":"pmh:oai:upcommons.upc.edu:2117/404503","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/404503","pdf_url":"https://upcommons.upc.edu/bitstreams/d758a3a4-7b9a-4bb4-8c76-a9ac116dc1bc/download","source":{"id":"https://openalex.org/S4210207057","display_name":"QRU Quaderns de Recerca en Urbanisme","issn_l":"2014-9689","issn":["2014-9689","2385-6777"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310322448","host_organization_name":"Q71272178","host_organization_lineage":["https://openalex.org/P4310322448"],"host_organization_lineage_names":["Q71272178"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference report"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.6399999856948853}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4384026339.pdf"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W1986465830","https://openalex.org/W1988790447","https://openalex.org/W2036887984","https://openalex.org/W2058315483","https://openalex.org/W2088503757","https://openalex.org/W2100151287","https://openalex.org/W2101903894","https://openalex.org/W2122646361","https://openalex.org/W2154053567","https://openalex.org/W2166844173","https://openalex.org/W2602229646","https://openalex.org/W2612343211","https://openalex.org/W2768424695","https://openalex.org/W2791879367","https://openalex.org/W2883613460","https://openalex.org/W2897979222","https://openalex.org/W2900336497","https://openalex.org/W2944240397","https://openalex.org/W2945027786","https://openalex.org/W2963311060","https://openalex.org/W3004913014","https://openalex.org/W3023052894","https://openalex.org/W3030878622","https://openalex.org/W3095312831","https://openalex.org/W3159032828","https://openalex.org/W3182960758","https://openalex.org/W3183835343","https://openalex.org/W4205687621","https://openalex.org/W4212883601","https://openalex.org/W4225724604","https://openalex.org/W4254879828","https://openalex.org/W4256383029","https://openalex.org/W4285207860","https://openalex.org/W4288081073","https://openalex.org/W4309956830","https://openalex.org/W4360834698","https://openalex.org/W6753443810","https://openalex.org/W6784880316","https://openalex.org/W6810718146","https://openalex.org/W6838743003","https://openalex.org/W7052266115"],"related_works":["https://openalex.org/W2089878890","https://openalex.org/W2145292010","https://openalex.org/W2507963169","https://openalex.org/W2363056855","https://openalex.org/W2327172061","https://openalex.org/W2036685675","https://openalex.org/W1549018805","https://openalex.org/W2110764613","https://openalex.org/W2041895207","https://openalex.org/W1485906286"],"abstract_inverted_index":{"Vitamin-V":[0,115,168,190],"is":[1,36,50],"a":[2,19,65],"project":[3,15,61,131,154,191],"funded":[4],"under":[5],"the":[6,11,40,46,54,60,86,143,157,164,184,189,204],"Horizon":[7],"Europe":[8],"program":[9],"for":[10,24,30,74,92,137,141,163,173,199],"period":[12],"2023-2025.":[13],"The":[14,81,130,153],"aims":[16,62],"to":[17,38,63,193],"create":[18,64],"complete":[20],"open-source":[21],"software":[22,34,75,178],"stack":[23,35],"RISC-V":[25,88,104,139],"that":[26,70,188,207],"can":[27,71],"be":[28,72,209],"used":[29,73],"cloud":[31,55,93,96,200],"services.":[32],"This":[33,180],"intended":[37],"have":[39],"same":[41],"level":[42],"of":[43],"performance":[44],"as":[45,150],"x86":[47],"architecture,":[48],"which":[49],"currently":[51,101],"dominant":[52],"in":[53,103,120],"computing":[56],"industry.":[57],"In":[58],"addition,":[59],"powerful":[66],"virtual":[67,82,105,122],"execution":[68],"environment":[69,83],"development,":[76],"validation,":[77,195],"verification,":[78,196],"and":[79,110,126,146,160,176,186,197],"testing.":[80],"will":[84,116,132,155,169,208],"consider":[85],"relevant":[87],"ISA":[89,165],"extensions":[90],"required":[91],"deployment.":[94],"Commercial":[95],"systems":[97],"use":[98],"hardware":[99,205],"features":[100,119],"unavailable":[102],"environments,":[106],"including":[107],"virtualization,":[108],"cryptography,":[109],"vectorization.":[111],"To":[112],"address":[113],"this,":[114],"support":[117,136,162,194,206],"these":[118],"three":[121],"environments:":[123],"QEMU,":[124],"gem5,":[125],"cloud-FPGA":[127],"prototype":[128],"platforms.":[129],"focus":[133],"on":[134,183],"providing":[135],"EPI-based":[138],"designs":[140],"both":[142],"main":[144],"CPUs":[145],"cloud-important":[147],"accelerators,":[148],"such":[149],"memory":[151],"compression.":[152],"add":[156],"compiler":[158],"(LLVM-based)":[159],"toolchain":[161],"extensions.":[166],"Moreover,":[167],"develop":[170],"novel":[171],"approaches":[172],"validating,":[174],"verifying,":[175],"testing":[177,198],"trustworthiness.":[179],"paper":[181],"focuses":[182],"plans":[185],"visions":[187],"has":[192],"applications,":[201],"particularly":[202],"emphasizing":[203],"provided.":[210]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2023-07-13T00:00:00"}