{"id":"https://openalex.org/W7134123744","doi":"https://doi.org/10.5821/dissertation-2117-456897","title":"Verification and validation solutions for the safety compliance of autonomous driving frameworks performance aspects","display_name":"Verification and validation solutions for the safety compliance of autonomous driving frameworks performance aspects","publication_year":2026,"publication_date":"2026-01-28","ids":{"openalex":"https://openalex.org/W7134123744","doi":"https://doi.org/10.5821/dissertation-2117-456897"},"language":"en","primary_location":{"id":"doi:10.5821/dissertation-2117-456897","doi":"https://doi.org/10.5821/dissertation-2117-456897","is_oa":true,"landing_page_url":"https://doi.org/10.5821/dissertation-2117-456897","pdf_url":"https://upcommons.upc.edu/bitstreams/f6be40ac-e46f-4e8d-adb1-320afde59f0c/download","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universitat Polit\u00e8cnica de Catalunya","raw_type":"dissertation"},"volume":null,"type":"dissertation","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://upcommons.upc.edu/bitstreams/f6be40ac-e46f-4e8d-adb1-320afde59f0c/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026700632","display_name":"Miguel Alcon","orcid":"https://orcid.org/0000-0002-5372-6724","observed_orcids":["https://orcid.org/0000-0002-5372-6724"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Miguel Alc\u00f3n Doganoc","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5026700632"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9814000129699707,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9814000129699707,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.005200000014156103,"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.0032999999821186066,"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/autonomous-driving","display_name":"autonomous driving","score":0.8920000195503235},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"verification and validation","score":0.8629999756813049},{"id":"https://openalex.org/keywords/safety-compliance","display_name":"safety compliance","score":0.8009999990463257},{"id":"https://openalex.org/keywords/multi-processor-systems-on-chip","display_name":"MPSoC","score":0.9010000228881836},{"id":"https://openalex.org/keywords/software-architecture","display_name":"software architecture","score":0.5910000205039978},{"id":"https://openalex.org/keywords/nondeterminism","display_name":"non-determinism","score":0.9350000023841858},{"id":"https://openalex.org/keywords/unit-testing","display_name":"unit testing","score":0.8360000252723694},{"id":"https://openalex.org/keywords/dynamic-views","display_name":"dynamic views","score":0.968999981880188},{"id":"https://openalex.org/keywords/program-tracing","display_name":"program tracing","score":0.8560000061988831},{"id":"https://openalex.org/keywords/timing-metric","display_name":"timing metric","score":0.7200000286102295},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"worst-case execution time","score":0.7720000147819519},{"id":"https://openalex.org/keywords/response-time","display_name":"response time","score":0.7319999933242798},{"id":"https://openalex.org/keywords/end-to-end-delay","display_name":"end-to-end delay","score":0.8100000023841858},{"id":"https://openalex.org/keywords/safety-assurance","display_name":"safety assurance","score":0.5699999928474426}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5631999969482422},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.5396999716758728},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5347999930381775},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.4945000112056732},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4796000123023987},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.4320000112056732},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.41609999537467957},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.41499999165534973},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.3912999927997589},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.3652999997138977},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.3418000042438507},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.335099995136261},{"id":"https://openalex.org/C192183473","wikidata":"https://www.wikidata.org/wiki/Q131133","display_name":"Determinism","level":2,"score":0.33079999685287476},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3301999866962433},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.3224000036716461},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3158999979496002},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.30730000138282776},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.30149999260902405},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.2939000129699707},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.29350000619888306},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.29269999265670776},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.289000004529953},{"id":"https://openalex.org/C76518257","wikidata":"https://www.wikidata.org/wiki/Q271680","display_name":"Software framework","level":5,"score":0.28859999775886536},{"id":"https://openalex.org/C2780234205","wikidata":"https://www.wikidata.org/wiki/Q2281276","display_name":"Safety case","level":2,"score":0.2777999937534332},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.27000001072883606},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.2676999866962433},{"id":"https://openalex.org/C98025372","wikidata":"https://www.wikidata.org/wiki/Q477538","display_name":"Systems architecture","level":3,"score":0.26499998569488525},{"id":"https://openalex.org/C164100034","wikidata":"https://www.wikidata.org/wiki/Q1870629","display_name":"Loose coupling","level":2,"score":0.25839999318122864},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.25699999928474426}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5821/dissertation-2117-456897","doi":"https://doi.org/10.5821/dissertation-2117-456897","is_oa":true,"landing_page_url":"https://doi.org/10.5821/dissertation-2117-456897","pdf_url":"https://upcommons.upc.edu/bitstreams/f6be40ac-e46f-4e8d-adb1-320afde59f0c/download","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universitat Polit\u00e8cnica de Catalunya","raw_type":"dissertation"},{"id":"pmh:oai:www.tdx.cat:10803/696917","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/10803/696917","pdf_url":"https://www.tdx.cat/bitstream/10803/696917/1/TMAD1de1.pdf","source":{"id":"https://openalex.org/S4306401111","display_name":"Tesis Doctorals en Xarxa (Consorci de Serveis Universitaris de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210090028","host_organization_name":"Consorci de Serveis Universitaris de Catalunya","host_organization_lineage":["https://openalex.org/I4210090028"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"TDX (Tesis Doctorals en Xarxa)","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"pmh:oai:upcommons.upc.edu:2117/456897","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10803/696917","pdf_url":null,"source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Doctoral thesis"}],"best_oa_location":{"id":"doi:10.5821/dissertation-2117-456897","doi":"https://doi.org/10.5821/dissertation-2117-456897","is_oa":true,"landing_page_url":"https://doi.org/10.5821/dissertation-2117-456897","pdf_url":"https://upcommons.upc.edu/bitstreams/f6be40ac-e46f-4e8d-adb1-320afde59f0c/download","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universitat Polit\u00e8cnica de Catalunya","raw_type":"dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G1053284885","display_name":"Sustainable Performance for High-Performance Embedded Computing Systems","funder_award_id":"772773","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"},{"id":"https://openalex.org/G1105844351","display_name":null,"funder_award_id":"10.13039.501100011033","funder_id":"https://openalex.org/F4320315062","funder_display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades"},{"id":"https://openalex.org/G1175115578","display_name":null,"funder_award_id":"AEI//10.13039/501100011033/","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G1230105653","display_name":"Decentralized Edge Intelligence: Advancing Trust, Safety, and Sustainability in Europe","funder_award_id":"101139892","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G1855990336","display_name":null,"funder_award_id":".13039/501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G1938719665","display_name":null,"funder_award_id":"AEI/10.13039/501100011033/ FEDER","funder_id":"https://openalex.org/F4320315062","funder_display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades"},{"id":"https://openalex.org/G2262748287","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G2309174360","display_name":null,"funder_award_id":"10.13039","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G24120701","display_name":null,"funder_award_id":"MICIU/AEI /10.13039/501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2433978856","display_name":null,"funder_award_id":"PID2019-110854RB-I00","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G252646220","display_name":null,"funder_award_id":"MICIU/ AEI /10.13039/501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G2541611411","display_name":null,"funder_award_id":"PID2019-107255GB-C21/AEI/10.13039/501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G2601397997","display_name":null,"funder_award_id":"10.13039/501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2660406951","display_name":null,"funder_award_id":"/ AEI/10","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G294895050","display_name":null,"funder_award_id":"MICIU/AEI /10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G300979063","display_name":null,"funder_award_id":"10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3431737168","display_name":null,"funder_award_id":"C005/24-ED CV1","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3480869486","display_name":null,"funder_award_id":"13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3518538256","display_name":null,"funder_award_id":"13039","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G3681454997","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3690828678","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G4042783231","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G425668148","display_name":null,"funder_award_id":".13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G430777504","display_name":null,"funder_award_id":"10.13039/501100011033/","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G434337789","display_name":null,"funder_award_id":"HORIZON2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4353256806","display_name":"Intelligent software-UPDATE technologies for safe and secure mixed-criticality and high performance cyber physical systems","funder_award_id":"871465","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4506250688","display_name":null,"funder_award_id":"PID2024-155745OB-I00","funder_id":"https://openalex.org/F4320315062","funder_display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades"},{"id":"https://openalex.org/G491712853","display_name":null,"funder_award_id":"/ AEI10.13039/501100011033","funder_id":"https://openalex.org/F4320315062","funder_display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades"},{"id":"https://openalex.org/G4937468798","display_name":null,"funder_award_id":"H2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G507957923","display_name":null,"funder_award_id":"MICIU/AEI /10","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G5080475149","display_name":null,"funder_award_id":"10.13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G5175525644","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G5195188938","display_name":null,"funder_award_id":"/AEI/10.13039/501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5279788225","display_name":null,"funder_award_id":"871465","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G5421974903","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G5555131222","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320315062","funder_display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades"},{"id":"https://openalex.org/G5635532810","display_name":null,"funder_award_id":"13039","funder_id":"https://openalex.org/F4320315062","funder_display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades"},{"id":"https://openalex.org/G593054264","display_name":null,"funder_award_id":"MICIU/AEI/ 10.13039/501,100,011,033 /","funder_id":"https://openalex.org/F4320315062","funder_display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades"},{"id":"https://openalex.org/G6366842693","display_name":null,"funder_award_id":"I00/AEI/10.13039","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G683931746","display_name":null,"funder_award_id":"H2020","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7084143925","display_name":null,"funder_award_id":"AEI/10","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7169023097","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G717256432","display_name":null,"funder_award_id":"PID2024","funder_id":"https://openalex.org/F4320315062","funder_display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades"},{"id":"https://openalex.org/G7358139791","display_name":null,"funder_award_id":"UP2DATE","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G7805626310","display_name":null,"funder_award_id":"10.13039","funder_id":"https://openalex.org/F4320315062","funder_display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades"},{"id":"https://openalex.org/G7863371703","display_name":null,"funder_award_id":".13039/501100011033","funder_id":"https://openalex.org/F4320315062","funder_display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades"},{"id":"https://openalex.org/G8130184278","display_name":null,"funder_award_id":"I00/AEI/10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G8497050386","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320315062","funder_display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades"},{"id":"https://openalex.org/G8684520763","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G8927445847","display_name":null,"funder_award_id":"PLEC2023-010240","funder_id":"https://openalex.org/F4320315062","funder_display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades"},{"id":"https://openalex.org/G99296377","display_name":null,"funder_award_id":"/AEI/10.13039/ 501100011033","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320315062","display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades","ror":null},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320322930","display_name":"Ministerio de Ciencia e Innovaci\u00f3n","ror":null},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334322","display_name":"HORIZON EUROPE Framework Programme","ror":null},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":"https://ror.org/003x0zc53"},{"id":"https://openalex.org/F4320338335","display_name":"H2020 European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7134123744.pdf","grobid_xml":"https://content.openalex.org/works/W7134123744.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4416342680","https://openalex.org/W7221495468","https://openalex.org/W4321236577","https://openalex.org/W3207804691","https://openalex.org/W7154964811","https://openalex.org/W4415157443","https://openalex.org/W2945507108","https://openalex.org/W4388212306","https://openalex.org/W4386256506","https://openalex.org/W4409991652"],"abstract_inverted_index":{"(English)":[0],"Autonomous":[1],"Driving":[2],"(AD)":[3],"has":[4],"rapidly":[5],"evolved":[6],"from":[7,167,341,479],"a":[8,48,67,105,146,209,240,260,391,466,480,540,616,652,716,836,975,1083,1124,1200,1237,1294,1373],"research":[9],"concept":[10],"into":[11,250,259,449],"an":[12,175],"industrial":[13],"reality.":[14],"The":[15,51,111,265,483],"increasing":[16],"computational":[17],"demands":[18],"of":[19,26,43,101,119,160,195,234,275,280,312,352,394,398,455,468,476,507,520],"autonomous":[20,521],"vehicles":[21,522,550,1104],"have":[22],"motivated":[23],"the":[24,40,77,98,116,139,150,168,187,190,193,203,237,273,285,306,313,327,350,375,378,422,443,474,487,494,504,515],"use":[25],"high-performance":[27,490,524],"Multi-Processor":[28],"Systems-on-Chip":[29],"(MPSoCs),":[30],"which":[31,315,332],"offer":[32],"both":[33,360],"performance":[34],"and":[35,71,92,130,183,216,246,277,296,309,357,363,371,381,389,402,416,439,458,470,493,517],"energy":[36],"efficiency.":[37],"However,":[38,299],"ensuring":[39,372],"safety":[41,82,99,184,270,291,321,499,508],"compliance":[42,100],"such":[44,412,434],"complex":[45],"systems":[46,123,427],"remains":[47],"major":[49],"challenge.":[50],"software":[52,128,140,173,235,288,384,478,492,1176,1271,1289,1323,1349,1366],"frameworks":[53],"used":[54],"to":[55,149,179,213,243,304,420,472,514],"implement":[56],"AD":[57,102,122,200,206,263,407,477,510],"functionalities\u2014typically":[58],"integrating":[59,337],"Artificial":[60,606,1190],"Intelligence":[61],"(AI)":[62],"algorithms\u2014are":[63],"not":[64,154,224],"designed":[65],"following":[66],"safety-driven":[68],"development":[69,274],"processes,":[70],"their":[72,294],"non-deterministic":[73],"behavior":[74,308,380],"conflicts":[75],"with":[76,104,293],"strict":[78],"determinism":[79,182,496],"required":[80,497],"by":[81,89,114,336,498],"standards.":[83,500],"This":[84,171],"thesis":[85,112,191,238,328,376,464],"addresses":[86,192,377],"these":[87,300],"challenges":[88],"developing":[90],"Verification":[91],"Validation":[93],"(V&V)":[94],"solutions":[95],"that":[96],"improve":[97,180,473],"frameworks,":[103,201,511],"particular":[106],"focus":[107],"on":[108,344,523],"performance-related":[109,320],"aspects.":[110],"begins":[113],"analyzing":[115],"main":[117],"sources":[118,159],"non-determinism":[120],"in":[121,136,406,426,509],"across":[124,383],"three":[125],"layers:":[126],"algorithmic,":[127],"architectural,":[129],"hardware":[131,365],"platform.":[132],"While":[133],"variability":[134,161,382],"exists":[135],"all":[137],"layers,":[138],"architecture":[141,174],"layer":[142],"is":[143],"identified":[144],"as":[145,208,413,435],"key":[147],"contributor":[148],"overall":[151],"unpredictability.":[152],"It":[153,386],"only":[155],"introduces":[156,329],"its":[157,220],"own":[158],"but":[162],"also":[163],"amplifies":[164],"those":[165],"inherited":[166],"other":[169],"layers.":[170],"makes":[172],"effective":[176],"focal":[177],"point":[178],"system":[181],"assurance.":[185],"At":[186],"foundational":[188],"level,":[189],"challenge":[194],"unit":[196],"testing":[197,257,362],"within":[198],"already-integrated":[199],"using":[202],"open-source":[204],"Apollo":[205,222,248],"framework":[207],"case":[210],"study.":[211],"Due":[212],"tight":[214],"coupling":[215],"data":[217],"dependencies":[218],"among":[219,287],"modules,":[221],"does":[223],"easily":[225],"support":[226,503],"independent":[227,809],"module":[228],"validation.":[229],"To":[230,323],"enable":[231],"proper":[232],"verification":[233],"units,":[236,253],"proposes":[239],"systematic":[241,505],"methodology":[242],"isolate,":[244],"modify,":[245],"reconfigure":[247],"modules":[249],"standalone,":[251],"testable":[252],"thus":[254],"reintroducing":[255],"unit-level":[256],"capabilities":[258],"complex,":[261],"AI-based":[262,491],"framework.":[264],"work":[266],"advances":[267,502],"toward":[268],"system-level":[269],"assurance":[271,506],"through":[272],"dynamic":[276,334],"execution":[278,310,330,342,415],"views":[279,283,301,335,348],"Apollo.":[281,429,995],"Dynamic":[282],"describe":[284],"interactions":[286,401],"components,":[289],"linking":[290],"requirements":[292],"implementation":[295],"validation":[297,460],"tests.":[298],"alone":[302],"fail":[303,419],"capture":[305,421],"concurrent":[307],"parallelism":[311],"system,":[314],"are":[316],"crucial":[317],"for":[318,368],"verifying":[319],"requirements.":[322],"fill":[324],"this":[325,463],"gap,":[326],"views,":[331],"complements":[333],"runtime":[338],"information":[339],"gathered":[340],"tracing":[343],"MPSoC":[345],"platforms.":[346,526],"Execution":[347],"enhance":[349],"observability":[351],"resource":[353],"usage,":[354],"timing":[355,379,410,450,456],"behavior,":[356],"concurrency,":[358],"allowing":[359],"improved":[361],"optimized":[364],"utilization\u2014key":[366],"aspects":[367],"reducing":[369],"cost":[370],"safety.":[373],"Finally,":[374],"components.":[385],"identifies,":[387],"formalizes,":[388],"applies":[390],"comprehensive":[392],"set":[393,467],"timing-related":[395],"metrics":[396,433],"capable":[397],"capturing":[399],"inter-module":[400],"end-to-end":[403],"latency":[404],"properties":[405],"applications.":[408],"Traditional":[409],"metrics,":[411],"worst-case":[414],"response":[417],"times,":[418],"interdependencies":[423],"between":[424,489],"components":[425,872,950,991],"like":[428],"By":[430],"adopting":[431],"complementary":[432],"maximum":[436,440],"reaction":[437],"time":[438,441],"displacement,":[442],"proposed":[444,484],"approach":[445],"provides":[446,465],"deeper":[447],"insights":[448],"dependencies,":[451],"enabling":[452],"early":[453],"detection":[454],"anomalies":[457],"improving":[459],"confidence.":[461],"Overall,":[462],"methodologies":[469],"tools":[471],"V&V":[475],"safety-performance":[481],"perspective.":[482],"contributions":[485],"bridge":[486],"gap":[488],"stringent":[495],"These":[501],"ultimately":[512],"contributing":[513],"reliable":[516],"certifiable":[518],"deployment":[519],"embedded":[525],"(Catal\u00e0)":[527],"La":[528,671,763,1112,1250,1341],"Conducci\u00f3":[529],"Aut\u00f2noma":[530],"(CA)":[531,1115],"ha":[532,1116],"passat":[533],"de":[534,538,555,579,592,599,613,634,644,646,658,662,683,729,737,761,780,788,790,795,807,843,858,878,886,907,914,916,934,959,963,972,979,998,1006,1020,1039,1049,1054,1077,1086,1092,1094,1103,1118,1122,1133,1141,1159,1162,1175,1182,1188,1197,1219,1229,1231,1241,1245,1257,1263,1286,1288,1306,1314,1322,1339,1359,1367,1369,1384,1394],"ser":[535,1119],"un":[536,563,587,665,713,749,786,841,957,1037,1120,1170,1291,1327,1365],"concepte":[537],"recerca":[539],"convertir-se":[541],"en":[542,558,581,626,660,668,680,685,703,773,829,840,977,992,1012,1069,1089,1126,1144,1164,1209,1243,1260,1265,1280,1351,1356],"una":[543,567,814,820,928,932,1016,1127,1391,1399],"realitat.":[544],"Les":[545,864,909,981,1058],"creixents":[546],"demandes":[547],"computacionals":[548],"dels":[549,577,656],"aut\u00f2noms":[551,1105],"han":[552,1137],"motivat":[553],"l'\u00fas":[554,915,935],"sistemes":[556,582,682,993],"multiprocessador":[557],"xip,":[559],"que":[560,601,698,732,769,833,898,925,1025,1146,1184,1309,1347],"ofereixen":[561],"tant":[562,927],"alt":[564],"rendiment":[565,1067],"com":[566,712,748,931,994,1001],"gran":[568,588,1171],"efici\u00e8ncia":[569],"energ\u00e8tica.":[570],"Tot":[571,696],"i":[572,619,648,692,697,758,824,861,884,904,921,945,955,969,1008,1041,1056,1071,1101],"aix\u00f2,":[573,742],"garantir":[574,850],"el":[575,620,629,642,654,669,707,754,856,902,918,942,1003,1009,1013,1064,1072,1139,1157,1212,1227,1239,1284,1332],"compliment":[576,655],"requisits":[578,657,877],"seguretat":[580,659,852,879,1055,1088],"tan":[583,1166],"complexos":[584],"continua":[585],"sent":[586],"repte.":[589],"Els":[590],"marcs":[591,661,1091],"programari":[593,691,711,745,771,787,842,1048,1065,1093],"utilitzats":[594],"per":[595,752,822,849,1043],"implementar":[596,1179],"les":[597,675,725,738,774,796,868,895,965,970,988,1021],"funcionalitats":[598],"CA,":[600,663,1095,1183,1246],"sovint":[602],"integren":[603],"algoritmes":[604],"d'Intel\u00b7lig\u00e8ncia":[605],"(IA),":[607,1191],"no":[608,623,678,722,803,985,1192,1206,1258,1300,1380],"es":[609,746,1381],"dissenyen":[610],"seguint":[611],"processos":[612],"desenvolupament":[614,643,857],"orientats":[615],"la":[617,699,717,759,817,851,881,892,905,922,939,946,1027,1045,1084,1087,1201,1276,1295,1320,1337,1396],"seguretat,":[618],"seu":[621],"comportament":[622,919,943],"determinista":[624,1207],"entra":[625,1208],"conflicte":[627],"amb":[628,664,880],"determinisme":[630,755,1073],"exigit":[631],"pels":[632,1075],"est\u00e0ndards":[633,779,1076],"seguretat.":[635,762,781,1078],"Aquesta":[636],"tesi":[637,672,764,818,893,940,1035],"aborda":[638,766,941,1223,1344],"aquests":[639],"reptes":[640,768],"mitjan\u00e7ant":[641,855],"solucions":[645],"Verificaci\u00f3":[647],"Validaci\u00f3":[649],"(ViV)":[650],"orientades":[651],"millorar":[653,753,1044],"enfocament":[666],"centrat":[667],"rendiment.":[670,1057,1110],"comen\u00e7a":[673],"analitzant":[674],"principals":[676],"fonts":[677,728],"deterministes":[679],"els":[681,767,800,826,871,876,949,1090],"CA":[684,789,844,1050,1264,1368],"tres":[686,1266],"nivells:":[687],"algor\u00edsmic,":[688],"arquitectura":[689,1269,1287,1321],"del":[690,694,710,744,756,853,873,936,951,1047,1270,1334],"plataforma":[693,1273],"maquinari.":[695,937],"variabilitat":[700,718,947],"\u00e9s":[701,804],"present":[702],"tots":[704],"ells,":[705],"identifiquem":[706],"nivell":[708,721],"d'arquitectura":[709],"contribuent":[714],"clau":[715,751],"global.":[719,1297],"Aquest":[720],"nom\u00e9s":[723],"introdueix":[724,894],"seves":[726],"pr\u00f2pies":[727],"variabilitat,":[730],"sin\u00f3":[731],"tamb\u00e9":[733,765],"amplifica":[734,1311],"aquelles":[735],"heretades":[736],"altres":[739],"capes.":[740],"Per":[741,782,812,888],"l'arquitectura":[743],"presenta":[747,772,1325,1350],"punt":[750],"sistema":[757,854,1335],"garantia":[760,1085],"aquest":[770],"proves":[775,838,885],"unit\u00e0ries":[776,839],"definides":[777],"als":[778],"fer-ho,":[783],"s'utilitza":[784],"Apollo,":[785,1364],"codi":[791],"obert.":[792],"A":[793],"causa":[794],"fortes":[797],"depend\u00e8ncies":[798,989,1022],"entre":[799,870,948,967,990,1063,1377],"seus":[801],"m\u00f2duls,":[802],"f\u00e0cil":[805],"validar":[806,1383],"manera":[808],"cada":[810,1387],"m\u00f2dul.":[811],"permetre":[813],"verificaci\u00f3":[815,930],"adequada,":[816],"proposa":[819],"metodologia":[821],"a\u00efllar":[823],"reconfigurar":[825],"m\u00f2duls":[827,968],"d'Apollo":[828],"unitats":[830],"independents,":[831],"cosa":[832,924,1024],"permet":[834,926,1026],"dur":[835],"terme":[837],"complex.":[845],"El":[846],"treball":[847],"avan\u00e7a":[848],"vistes":[859,865,896,910],"din\u00e0miques":[860,866],"d'execuci\u00f3":[862,911],"d'Apollo.":[863],"descriuen":[867],"interaccions":[869,966],"programari,":[874],"vinculant":[875],"seva":[882],"implementaci\u00f3":[883],"validaci\u00f3.":[887],"complementar":[889],"aquestes":[890],"vistes,":[891],"d'execuci\u00f3,":[897],"afegeixen":[899],"informaci\u00f3":[900],"sobre":[901,1106],"paral\u00b7lelisme":[903],"concurr\u00e8ncia":[906],"l'aplicaci\u00f3.":[908],"milloren":[912],"l'observabilitat":[913],"recursos,":[917],"temporal":[920,944],"concurr\u00e8ncia,":[923],"millor":[929],"optimitzaci\u00f3":[933],"Finalment,":[938],"programari.":[952],"Identifica,":[953],"formalitza":[954],"aplica":[956],"conjunt":[958,1038],"m\u00e8triques":[960,982,999],"temporals":[961,983],"capaces":[962],"capturar":[964],"propietats":[971],"lat\u00e8ncia":[973],"d'extrem":[974],"extrem":[976],"aplicacions":[978],"CA.":[980],"tradicionals":[984],"aconsegueixen":[986],"reflectir":[987],"Mitjan\u00e7ant":[996],"l'adopci\u00f3":[997],"complement\u00e0ries,":[1000],"ara":[1002],"temps":[1004],"m\u00e0xim":[1005,1011],"reacci\u00f3":[1007],"despla\u00e7ament":[1010],"temps,":[1014],"s'ofereix":[1015],"visi\u00f3":[1017],"m\u00e9s":[1018],"profunda":[1019],"temporals,":[1023],"detecci\u00f3":[1028],"primerenca":[1029],"d'anomalies":[1030],"temporals.":[1031],"En":[1032],"resum,":[1033],"aquesta":[1034],"proporciona":[1036],"metodologies":[1040],"eines":[1042],"ViV":[1046],"des":[1051],"d'un":[1052],"prisma":[1053],"contribucions":[1059],"proposades":[1060],"redueixen":[1061],"l'escletxa":[1062],"d'alt":[1066,1109],"basat":[1068],"IA":[1070],"requerit":[1074],"Aquests":[1079],"aven\u00e7os":[1080],"donen":[1081],"suport":[1082],"contribuint":[1096],"finalment":[1097],"al":[1098,1248],"desplegament":[1099],"segur":[1100],"certificable":[1102],"plataformes":[1107],"encastades":[1108],"(Espa\u00f1ol)":[1111],"Conducci\u00f3n":[1113],"Aut\u00f3noma":[1114],"pasado":[1117],"concepto":[1121],"investigaci\u00f3n":[1123],"convertirse":[1125],"realidad.":[1128],"Las":[1129],"crecientes":[1130],"demandas":[1131],"computacionales":[1132],"los":[1134,1160,1217,1261,1345,1357],"veh\u00edculos":[1135],"aut\u00f3nomos":[1136],"motivado":[1138],"uso":[1140],"sistemas":[1142,1165,1262],"multiprocesador":[1143],"chip,":[1145],"ofrecen":[1147],"tanto":[1148],"alto":[1149],"rendimiento":[1150],"como":[1151,1290,1326],"eficiencia":[1152],"energ\u00e9tica.":[1153],"Sin":[1154],"embargo,":[1155],"garantizar":[1156],"cumplimiento":[1158,1240],"requisitos":[1161],"seguridad":[1163,1242],"complejos":[1167],"sigue":[1168],"siendo":[1169],"desaf\u00edo.":[1172],"Los":[1173],"marcos":[1174,1244],"utilizados":[1177],"para":[1178,1330,1401],"las":[1180,1254,1315,1352,1374],"funcionalidades":[1181],"suelen":[1185],"integrar":[1186],"algoritmos":[1187],"Inteligencia":[1189],"se":[1193,1324],"dise\u00f1an":[1194],"siguiendo":[1195],"procesos":[1196],"desarrollo":[1198,1228],"orientados":[1199],"seguridad,":[1202],"y":[1203,1233,1272,1336],"su":[1204],"comportamiento":[1205],"conflicto":[1210],"con":[1211],"estricto":[1213],"determinismo":[1214,1259,1333],"exigido":[1215],"por":[1216],"est\u00e1ndares":[1218,1358],"seguridad.":[1220,1340,1360],"Esta":[1221],"tesis":[1222,1251,1342,1397],"dichos":[1224],"desaf\u00edos":[1225,1346],"mediante":[1226],"soluciones":[1230],"Verificaci\u00f3n":[1232],"Validaci\u00f3n":[1234],"(VyV)":[1235],"orientadas":[1236],"mejorar":[1238,1331],"enfocadas":[1247],"rendimiento.":[1249],"empieza":[1252],"analizando":[1253],"principales":[1255],"fuentes":[1256,1305],"niveles:":[1267],"algor\u00edtmico,":[1268],"hardware.":[1274],"Aunque":[1275],"variabilidad":[1277,1296],"est\u00e1":[1278],"presente":[1279],"todos":[1281],"ellos,":[1282],"identificamos":[1283],"nivel":[1285,1299],"contribuyente":[1292],"clave":[1293,1329],"Este":[1298],"solo":[1301],"introduce":[1302],"sus":[1303,1378],"propias":[1304],"variabilidad,":[1307],"sino":[1308],"tambi\u00e9n":[1310,1343],"aquellas":[1312],"heredadas":[1313],"dem\u00e1s":[1316],"capas.":[1317],"Por":[1318],"ello,":[1319,1362],"punto":[1328],"garant\u00eda":[1338],"este":[1348],"pruebas":[1353],"unitarias":[1354],"definidas":[1355],"Para":[1361,1389],"usamos":[1363],"c\u00f3digo":[1370],"abierto.":[1371],"Debido":[1372],"fuertes":[1375],"dependencias":[1376],"m\u00f3dulos,":[1379],"f\u00e1cil":[1382],"forma":[1385],"independiente":[1386],"m\u00f3dulo.":[1388],"permitir":[1390],"verificaci\u00f3n":[1392],"adecuada":[1393],"estos,":[1395],"propone":[1398],"metodolog\u00eda":[1400],"ai":[1402]},"counts_by_year":[],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2026-03-08T00:00:00"}