{"id":"https://openalex.org/W4414663995","doi":"https://doi.org/10.1145/3768344","title":"Supporting Timing-related Metrics for Autonomous Driving Frameworks in CyberRT","display_name":"Supporting Timing-related Metrics for Autonomous Driving Frameworks in CyberRT","publication_year":2025,"publication_date":"2025-09-30","ids":{"openalex":"https://openalex.org/W4414663995","doi":"https://doi.org/10.1145/3768344"},"language":"en","primary_location":{"id":"doi:10.1145/3768344","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3768344","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3768344","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3768344","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"},"institutions":[{"id":"https://openalex.org/I2799803557","display_name":"Barcelona Supercomputing Center","ror":"https://ror.org/05sd8tv96","country_code":"ES","type":"facility","lineage":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"id":"https://openalex.org/I4210145666","display_name":"Embedded Systems (United States)","ror":"https://ror.org/04742eh45","country_code":"US","type":"company","lineage":["https://openalex.org/I4210145666"]},{"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","US"],"is_corresponding":false,"raw_author_name":"Miguel Alcon","raw_affiliation_strings":["Computer Architecture, Universitat Politecnica de Catalunya","High-Performance Embedded Systems Laboratory, Barcelona Supercomputing Center","Computer Sciences, Barcelona Supercomputing Center"],"raw_orcid":"https://orcid.org/0000-0002-5372-6724","affiliations":[{"raw_affiliation_string":"Computer Architecture, Universitat Politecnica de Catalunya","institution_ids":["https://openalex.org/I9617848"]},{"raw_affiliation_string":"High-Performance Embedded Systems Laboratory, Barcelona Supercomputing Center","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I4210145666","https://openalex.org/I9617848"]},{"raw_affiliation_string":"Computer Sciences, Barcelona Supercomputing Center","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019602265","display_name":"Enrico Mezzetti","orcid":"https://orcid.org/0000-0002-1886-2931"},"institutions":[{"id":"https://openalex.org/I2799803557","display_name":"Barcelona Supercomputing Center","ror":"https://ror.org/05sd8tv96","country_code":"ES","type":"facility","lineage":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"id":"https://openalex.org/I4210145666","display_name":"Embedded Systems (United States)","ror":"https://ror.org/04742eh45","country_code":"US","type":"company","lineage":["https://openalex.org/I4210145666"]},{"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","US"],"is_corresponding":false,"raw_author_name":"Enrico Mezzetti","raw_affiliation_strings":["High-Performance Embedded Systems Laboratory, Barcelona Supercomputing Center,","Computer Sciences, Barcelona Supercomputing Center"],"raw_orcid":"https://orcid.org/0000-0002-1886-2931","affiliations":[{"raw_affiliation_string":"High-Performance Embedded Systems Laboratory, Barcelona Supercomputing Center,","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I4210145666","https://openalex.org/I9617848"]},{"raw_affiliation_string":"Computer Sciences, Barcelona Supercomputing Center","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020861175","display_name":"Jaume Abella","orcid":"https://orcid.org/0000-0001-7951-4028"},"institutions":[{"id":"https://openalex.org/I2799803557","display_name":"Barcelona Supercomputing Center","ror":"https://ror.org/05sd8tv96","country_code":"ES","type":"facility","lineage":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"id":"https://openalex.org/I4210145666","display_name":"Embedded Systems (United States)","ror":"https://ror.org/04742eh45","country_code":"US","type":"company","lineage":["https://openalex.org/I4210145666"]},{"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","US"],"is_corresponding":false,"raw_author_name":"Jaume Abella","raw_affiliation_strings":["High-Performance Embedded Systems Laboratory, Barcelona Supercomputing Center","Computer Sciences, Barcelona Supercomputing Center"],"raw_orcid":"https://orcid.org/0000-0001-7951-4028","affiliations":[{"raw_affiliation_string":"High-Performance Embedded Systems Laboratory, Barcelona Supercomputing Center","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I4210145666","https://openalex.org/I9617848"]},{"raw_affiliation_string":"Computer Sciences, Barcelona Supercomputing Center","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026101378","display_name":"Francisco J. Cazorla","orcid":"https://orcid.org/0000-0002-3344-376X"},"institutions":[{"id":"https://openalex.org/I2799803557","display_name":"Barcelona Supercomputing Center","ror":"https://ror.org/05sd8tv96","country_code":"ES","type":"facility","lineage":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"id":"https://openalex.org/I4210145666","display_name":"Embedded Systems (United States)","ror":"https://ror.org/04742eh45","country_code":"US","type":"company","lineage":["https://openalex.org/I4210145666"]},{"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","US"],"is_corresponding":false,"raw_author_name":"Francisco J. Cazorla","raw_affiliation_strings":["High-Performance Embedded Systems Laboratory, Barcelona Supercomputing Center","Computer Sciences, Barcelona Supercomputing Center"],"raw_orcid":"https://orcid.org/0000-0002-3344-376X","affiliations":[{"raw_affiliation_string":"High-Performance Embedded Systems Laboratory, Barcelona Supercomputing Center","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I4210145666","https://openalex.org/I9617848"]},{"raw_affiliation_string":"Computer Sciences, Barcelona Supercomputing Center","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.2214128,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"31","issue":"1","first_page":"1","last_page":"37"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9993000030517578,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9993000030517578,"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/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.998199999332428,"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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7434999942779541},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6204000115394592},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6090999841690063},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5271999835968018},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.49559998512268066},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4474000036716461},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.3865000009536743},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.3682999908924103}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9053000211715698},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7434999942779541},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6204000115394592},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6090999841690063},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5271999835968018},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5055999755859375},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.49559998512268066},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4474000036716461},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.3865000009536743},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3682999908924103},{"id":"https://openalex.org/C112758219","wikidata":"https://www.wikidata.org/wiki/Q16038819","display_name":"Duration (music)","level":2,"score":0.35359999537467957},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.34929999709129333},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.33709999918937683},{"id":"https://openalex.org/C88482812","wikidata":"https://www.wikidata.org/wiki/Q6453666","display_name":"Modular programming","level":2,"score":0.33649998903274536},{"id":"https://openalex.org/C2776502983","wikidata":"https://www.wikidata.org/wiki/Q690182","display_name":"Contrast (vision)","level":2,"score":0.32829999923706055},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.32179999351501465},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.31679999828338623},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.2971999943256378},{"id":"https://openalex.org/C76518257","wikidata":"https://www.wikidata.org/wiki/Q271680","display_name":"Software framework","level":5,"score":0.29100000858306885},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.27140000462532043},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.2709999978542328},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.26809999346733093}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3768344","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3768344","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3768344","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},{"id":"pmh:oai:upcommons.upc.edu:2117/446761","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/446761","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,"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":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1145/3768344","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3768344","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3768344","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"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/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/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/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/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/G3681454997","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"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/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"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","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":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414663995.pdf","grobid_xml":"https://content.openalex.org/works/W4414663995.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W2528730658","https://openalex.org/W2756725713","https://openalex.org/W2765620618","https://openalex.org/W2781833546","https://openalex.org/W2798786289","https://openalex.org/W2886801337","https://openalex.org/W2910008420","https://openalex.org/W2979569264","https://openalex.org/W2989910859","https://openalex.org/W2990127209","https://openalex.org/W3012098308","https://openalex.org/W3113924024","https://openalex.org/W3178106036","https://openalex.org/W3182259309","https://openalex.org/W3183627552","https://openalex.org/W4200297943","https://openalex.org/W4221161205","https://openalex.org/W4240344210","https://openalex.org/W4242096891","https://openalex.org/W4293023309","https://openalex.org/W4294150024","https://openalex.org/W4312199050","https://openalex.org/W4312199061","https://openalex.org/W4312199171","https://openalex.org/W4362564360","https://openalex.org/W4386256506","https://openalex.org/W4401539733","https://openalex.org/W6910434333"],"related_works":[],"abstract_inverted_index":{"The":[0,35],"provision":[1],"of":[2,37,50,54,145,178,274,314,336,362,366,403],"increasingly":[3],"advanced":[4],"autonomous":[5,11,134,199,405,433],"software":[6,20,393],"functionalities":[7],"builds":[8,214],"on":[9,91,165,215,291,306,317,333,390,400],"cutting-edge":[10],"driving":[12,135,200,406,434],"frameworks":[13],"to":[14,25,33,46,111,182,187,228,236,244,250,269,340,369,387,408,419],"enable":[15],"modular":[16],"interactions":[17,41],"among":[18],"multiple":[19,31],"components.":[21],"This":[22,57],"approach":[23],"helps":[24],"support":[26,251],"functional":[27],"cause-effect":[28,77,121],"chains":[29,78],"from":[30,232,298],"sensors":[32],"actuators.":[34],"complexity":[36],"the":[38,48,51,55,74,80,85,143,166,173,188,252,264,281,307,334,370,391,397,414],"(software)":[39],"component":[40],"makes":[42],"it":[43,233,347,352],"more":[44],"difficult":[45],"ascertain":[47],"correctness":[49],"timing":[52,113,338,344,416,424],"behavior":[53],"system.":[56],"is":[58,94,149,194,203,222,247,256,348],"so":[59],"because":[60],"traditional":[61],"timing-related":[62,97,275,315,367],"metrics":[63,124,180,316,368,417],"like":[64],"worst-case":[65,68],"execution":[66,167,237,270,293,372,428],"and":[67,84,104,128,133,155,158,169,185,210,226,239,272,289,295,301,326,351,377,380,418],"response":[69],"time":[70,83,86,103],"do":[71],"not":[72],"capture":[73,112],"inter-dependency":[75],"in":[76,120,130,224,263,267,412,430],"between":[79],"input":[81],"sampling":[82],"at":[87,161,190,375],"which":[88,148],"computation":[89],"based":[90],"those":[92,146,179],"inputs":[93],"performed.":[95],"Complementary":[96],"metrics,":[98,147],"such":[99],"as":[100],"maximum":[101,105],"reaction":[102],"data":[106],"age":[107],"have":[108,125],"been":[109,126],"considered":[110,415],"requirements,":[114],"typically":[115],"with":[116,234],"an":[117,218,286],"end-to-end":[118,325,355,376,427],"scope,":[119],"chains.":[122],"These":[123],"formalized":[127],"demonstrated":[129],"ROS2-based":[131],"automotive":[132],"setups":[136],"[":[137],"44":[138],",":[139,217,319],"46":[140],"].":[141],"However,":[142],"formalization":[144,313],"necessary":[150],"for":[151,208,280],"deriving":[152],"analytical":[153],"lower":[154],"upper":[156],"bounds":[157],"monitoring":[159,383,413],"them":[160,389],"run-time,":[162],"largely":[163],"depends":[164],"model":[168,238,271,294],"semantics":[170],"offered":[171],"by":[172],"run-time.":[174],"Any":[175],"concrete":[176,360],"application":[177],"need":[181],"be":[183],"tailored":[184],"adapted":[186],"system":[189],"hand.":[191],"Apollo":[192,213,253,404],"auto":[193],"a":[195,312,359,363,382,401,422,431],"popular,":[196],"industrial-quality,":[197],"open-source":[198],"framework":[201],"that":[202,221,385],"seeing":[204],"increasing":[205],"adoption":[206],"both":[207,374],"industrial":[209],"academic":[211],"projects.":[212],"CyberRT":[216,246,292,318,371],"ad-hoc":[219],"run-time":[220],"similar":[223],"mechanism":[225],"intent":[227],"ROS2":[229],"but":[230],"differentiates":[231],"respect":[235],"supported":[240],"semantics.":[241],"In":[242,277,329],"contrast":[243],"ROS2,":[245],"highly":[248],"specialized":[249],"AD":[254],"framework,":[255],"neither":[257],"extensively":[258],"documented":[259,303],"or":[260],"thoroughly":[261],"analysed":[262],"literature,":[265],"especially":[266],"relation":[268],"instantiation":[273],"metrics.":[276],"this":[278],"work,":[279],"first":[282],"time,":[283],"we":[284,310,331],"provide":[285,358],"insightful":[287],"analysis":[288],"discussion":[290],"semantics,":[296,309],"starting":[297],"its":[299,410],"raw":[300],"non-extensively":[302],"codebase.":[304],"Based":[305],"identified":[308],"elaborate":[311],"across":[320],"different":[321],"granularity":[322],"scopes,":[323],"namely":[324],"node":[327,378],"levels.":[328],"particular,":[330],"develop":[332,381],"importance":[335],"node-level":[337],"properties":[339],"intercept":[341,388,421],"any":[342],"latent":[343],"misbehavior":[345,425],"before":[346],"too":[349],"late,":[350],"severely":[353],"impacts":[354],"execution.":[356],"We":[357,395],"mapping":[361],"comprehensive":[364],"set":[365,402],"model,":[373],"level,":[379],"library":[384,399],"allows":[386],"specific":[392],"stack.":[394,435],"exploit":[396],"proposed":[398],"scenarios":[407],"demonstrate":[409],"effectiveness":[411],"promptly":[420],"subtle":[423],"beyond":[426],"scope":[429],"representative":[432]},"counts_by_year":[],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}