{"id":"https://openalex.org/W2135716575","doi":"https://doi.org/10.1145/2593069.2593112","title":"Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware","display_name":"Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware","publication_year":2014,"publication_date":"2014-05-27","ids":{"openalex":"https://openalex.org/W2135716575","doi":"https://doi.org/10.1145/2593069.2593112","mag":"2135716575"},"language":"en","primary_location":{"id":"doi:10.1145/2593069.2593112","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2593069.2593112","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 51st Annual Design Automation Conference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/2117/23632","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012406621","display_name":"Leonidas Kosmidis","orcid":"https://orcid.org/0000-0001-9751-1058"},"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/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":"Leonidas Kosmidis","raw_affiliation_strings":["Universitat Polit\u00e8cnica de Catalunya, Spain and Barcelona Supercomputing Center, Spain"],"affiliations":[{"raw_affiliation_string":"Universitat Polit\u00e8cnica de Catalunya, Spain and Barcelona Supercomputing Center, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037858669","display_name":"Eduardo Qui\u00f1ones","orcid":"https://orcid.org/0000-0002-5465-964X"},"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/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":"Eduardo Qui\u00f1ones","raw_affiliation_strings":["Barcelona Supercomputing Center, Spain","Barcelona Supercomputing Center (Spain)"],"affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center, Spain","institution_ids":["https://openalex.org/I9617848","https://openalex.org/I2799803557"]},{"raw_affiliation_string":"Barcelona Supercomputing Center (Spain)","institution_ids":["https://openalex.org/I9617848","https://openalex.org/I2799803557"]}]},{"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/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]},{"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"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jaume Abella","raw_affiliation_strings":["Barcelona Supercomputing Center, Spain","Barcelona Supercomputing Center (Spain)"],"affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center, Spain","institution_ids":["https://openalex.org/I9617848","https://openalex.org/I2799803557"]},{"raw_affiliation_string":"Barcelona Supercomputing Center (Spain)","institution_ids":["https://openalex.org/I9617848","https://openalex.org/I2799803557"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051788619","display_name":"Glenn Farrall","orcid":null},"institutions":[{"id":"https://openalex.org/I137594350","display_name":"Infineon Technologies (Germany)","ror":"https://ror.org/005kw6t15","country_code":"DE","type":"company","lineage":["https://openalex.org/I137594350"]},{"id":"https://openalex.org/I4210105601","display_name":"Infineon Technologies (United Kingdom)","ror":"https://ror.org/017ptvx95","country_code":"GB","type":"company","lineage":["https://openalex.org/I137594350","https://openalex.org/I4210105601"]}],"countries":["DE","GB"],"is_corresponding":false,"raw_author_name":"Glenn Farrall","raw_affiliation_strings":["Infineon Technologies, UK","Infineon Technologies, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"Infineon Technologies, UK","institution_ids":["https://openalex.org/I4210105601"]},{"raw_affiliation_string":"Infineon Technologies, UK#TAB#","institution_ids":["https://openalex.org/I137594350"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111570890","display_name":"Franck Wartel","orcid":null},"institutions":[{"id":"https://openalex.org/I33375025","display_name":"Airbus (India)","ror":"https://ror.org/05tw0wf88","country_code":"IN","type":"company","lineage":["https://openalex.org/I33375025","https://openalex.org/I4210121748"]},{"id":"https://openalex.org/I112991645","display_name":"Airbus (France)","ror":"https://ror.org/023qdcg29","country_code":"FR","type":"company","lineage":["https://openalex.org/I112991645","https://openalex.org/I4210121748"]}],"countries":["FR","IN"],"is_corresponding":false,"raw_author_name":"Franck Wartel","raw_affiliation_strings":["AIRBUS, France","AIRBUS (France)"],"affiliations":[{"raw_affiliation_string":"AIRBUS, France","institution_ids":["https://openalex.org/I112991645"]},{"raw_affiliation_string":"AIRBUS (France)","institution_ids":["https://openalex.org/I33375025"]}]},{"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/I134820265","display_name":"Consejo Superior de Investigaciones Cient\u00edficas","ror":"https://ror.org/02gfc7t72","country_code":"ES","type":"funder","lineage":["https://openalex.org/I134820265"]},{"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/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":"Francisco J. Cazorla","raw_affiliation_strings":["Barcelona Supercomputing Center, Spain and Spanish National Research Council (IIIA-CSIC), Spain","Barcelona Supercomputing Center (Spain) and Spanish National Research Council (IIIA-CSIC) (Spain)"],"affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center, Spain and Spanish National Research Council (IIIA-CSIC), Spain","institution_ids":["https://openalex.org/I9617848","https://openalex.org/I134820265","https://openalex.org/I2799803557"]},{"raw_affiliation_string":"Barcelona Supercomputing Center (Spain) and Spanish National Research Council (IIIA-CSIC) (Spain)","institution_ids":["https://openalex.org/I9617848","https://openalex.org/I134820265","https://openalex.org/I2799803557"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5012406621"],"corresponding_institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"],"apc_list":null,"apc_paid":null,"fwci":4.7375,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.95296347,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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.9998000264167786,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.7990864515304565},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5800658464431763},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.5627132654190063},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4697110056877136},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4370807111263275},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3296334147453308},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.19164085388183594}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7990864515304565},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5800658464431763},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.5627132654190063},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4697110056877136},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4370807111263275},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3296334147453308},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.19164085388183594},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2593069.2593112","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2593069.2593112","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 51st Annual Design Automation Conference","raw_type":"proceedings-article"},{"id":"pmh:oai:upcommons.upc.edu:2117/23632","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/23632","pdf_url":null,"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":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:upcommons.upc.edu:2117/23632","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/23632","pdf_url":null,"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":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5600000023841858}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W220935706","https://openalex.org/W850189672","https://openalex.org/W1542459729","https://openalex.org/W1971076731","https://openalex.org/W1992905533","https://openalex.org/W2003192087","https://openalex.org/W2042271537","https://openalex.org/W2051825851","https://openalex.org/W2067452186","https://openalex.org/W2108748002","https://openalex.org/W2125942774","https://openalex.org/W2136938453","https://openalex.org/W2154411999","https://openalex.org/W2165134790","https://openalex.org/W2338095568","https://openalex.org/W2751862591","https://openalex.org/W4205598956","https://openalex.org/W4230233835","https://openalex.org/W4250981365","https://openalex.org/W7038906009","https://openalex.org/W7066864309"],"related_works":["https://openalex.org/W2066052364","https://openalex.org/W2224296908","https://openalex.org/W3109981693","https://openalex.org/W2381980429","https://openalex.org/W2023743128","https://openalex.org/W2384206113","https://openalex.org/W645983410","https://openalex.org/W2401692867","https://openalex.org/W2057053421","https://openalex.org/W2272054949"],"abstract_inverted_index":{"Measurement-Based":[0],"Probabilistic":[1],"Timing":[2],"Analysis":[3],"(MBPTA)":[4],"techniques":[5],"simplify":[6],"deriving":[7],"tight":[8],"and":[9,41,46,128],"trustworthy":[10],"WCET":[11],"estimates":[12],"for":[13,78],"industrial-size":[14],"programs":[15],"running":[16,63],"on":[17,24,64],"complex":[18],"processors.":[19],"MBPTA":[20,54],"poses":[21],"some":[22,65],"requirements":[23,123],"the":[25,29,60,87,122,125],"timing":[26],"behaviour":[27],"of":[28,34,124],"hardware/software":[30],"platform:":[31],"execution":[32],"times":[33],"end-to-end":[35],"runs":[36],"have":[37,49],"to":[38,52,97,101,115],"be":[39],"independent":[40],"identically":[42],"distributed":[43],"(i.i.d.).":[44],"Hardware":[45],"software":[47,72,98,110],"solutions":[48],"been":[50],"deployed":[51],"accomplish":[53],"requirements.":[55],"The":[56],"latter":[57],"has":[58],"achieved":[59],"i.i.d.":[61],"properties":[62],"commercial":[66],"off-the-shelf":[67],"(COTS)":[68],"processor":[69],"designs.":[70],"Unfortunately,":[71],"randomisation":[73,99,111],"challenges":[74],"functional":[75,104],"verification":[76,105],"needed":[77],"certification":[79],"since":[80],"it":[81],"introduces":[82],"indirections":[83],"through":[84],"pointers":[85],"in":[86],"code.":[88],"In":[89],"this":[90],"paper":[91],"we":[92],"propose":[93],"a":[94],"new":[95,126],"approach":[96,108,127],"able":[100],"contain":[102],"its":[103,130],"costs.":[106],"Our":[107],"performs":[109],"statically,":[112],"as":[113],"opposed":[114],"current":[116],"dynamic":[117],"approaches.":[118],"We":[119],"carefully":[120],"review":[121],"prove":[129],"feasibility.":[131]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":7},{"year":2015,"cited_by_count":3}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}