{"id":"https://openalex.org/W2535446776","doi":"https://doi.org/10.1145/2966986.2967078","title":"TASA","display_name":"TASA","publication_year":2016,"publication_date":"2016-10-18","ids":{"openalex":"https://openalex.org/W2535446776","doi":"https://doi.org/10.1145/2966986.2967078","mag":"2535446776"},"language":"en","primary_location":{"id":"doi:10.1145/2966986.2967078","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2966986.2967078","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th International Conference on Computer-Aided Design","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2117/96522","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":false,"raw_author_name":"Leonidas Kosmidis","raw_affiliation_strings":["Universitat Polit\u00e8cnica de Catalunya, Spain and Barcelona Supercomputing Center, Spain"],"raw_orcid":null,"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/A5035235181","display_name":"Roberto Vargas","orcid":null},"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":"Roberto Vargas","raw_affiliation_strings":["Universitat Polit\u00e8cnica de Catalunya, Spain and Barcelona Supercomputing Center, Spain"],"raw_orcid":null,"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/A5113825915","display_name":"Dav\u00edd Morales","orcid":null},"institutions":[{"id":"https://openalex.org/I134820265","display_name":"Consejo Superior de Investigaciones Cient\u00edficas","ror":"https://ror.org/02gfc7t72","country_code":"ES","type":"government","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/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]},{"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 Morales","raw_affiliation_strings":["Barcelona Supercomputing Center, Spain","Spanish National Research Council (IIIA-CSIC), Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"raw_affiliation_string":"Spanish National Research Council (IIIA-CSIC), Spain","institution_ids":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}]},{"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/I134820265","display_name":"Consejo Superior de Investigaciones Cient\u00edficas","ror":"https://ror.org/02gfc7t72","country_code":"ES","type":"government","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/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]},{"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","Spanish National Research Council (IIIA-CSIC), Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"raw_affiliation_string":"Spanish National Research Council (IIIA-CSIC), Spain","institution_ids":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}]},{"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/I134820265","display_name":"Consejo Superior de Investigaciones Cient\u00edficas","ror":"https://ror.org/02gfc7t72","country_code":"ES","type":"government","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/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]},{"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":"Jaume Abella","raw_affiliation_strings":["Barcelona Supercomputing Center, Spain","Spanish National Research Council (IIIA-CSIC), Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"raw_affiliation_string":"Spanish National Research Council (IIIA-CSIC), Spain","institution_ids":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}]},{"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":"government","lineage":["https://openalex.org/I134820265"]},{"id":"https://openalex.org/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Francisco J. Cazorla","raw_affiliation_strings":["Spanish National Research Council (IIIA-CSIC), Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Spanish National Research Council (IIIA-CSIC), Spain","institution_ids":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.4644,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.89758682,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998999834060669,"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.9998999834060669,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","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.9994000196456909,"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/toolchain","display_name":"Toolchain","score":0.9894846677780151},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8585948944091797},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7151180505752563},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5891834497451782},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.5277631282806396},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5201278328895569},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5105348825454712},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4183720052242279},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37539827823638916},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.3226785659790039},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07320895791053772}],"concepts":[{"id":"https://openalex.org/C2777062904","wikidata":"https://www.wikidata.org/wiki/Q545406","display_name":"Toolchain","level":3,"score":0.9894846677780151},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8585948944091797},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7151180505752563},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5891834497451782},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.5277631282806396},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5201278328895569},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5105348825454712},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4183720052242279},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37539827823638916},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.3226785659790039},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07320895791053772},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2966986.2967078","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2966986.2967078","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th International Conference on Computer-Aided Design","raw_type":"proceedings-article"},{"id":"pmh:oai:upcommons.upc.edu:2117/96522","is_oa":true,"landing_page_url":"http://hdl.handle.net/2117/96522","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":"public-domain","license_id":"https://openalex.org/licenses/public-domain","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/96522","is_oa":true,"landing_page_url":"http://hdl.handle.net/2117/96522","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":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference report"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5099999904632568,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G3324247440","display_name":null,"funder_award_id":"TIN2015-65316-P","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"},{"id":"https://openalex.org/G4019578423","display_name":null,"funder_award_id":"611085","funder_id":"https://openalex.org/F4320334960","funder_display_name":"Seventh Framework Programme"},{"id":"https://openalex.org/G5539170033","display_name":null,"funder_award_id":"AP2010-4208","funder_id":"https://openalex.org/F4320321764","funder_display_name":"Ministerio de Educaci\u00f3n, Cultura y Deporte"},{"id":"https://openalex.org/G5592594182","display_name":null,"funder_award_id":"TIN2015-65316","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"},{"id":"https://openalex.org/G5947849998","display_name":null,"funder_award_id":"TIN2015\u201065316\u2010P","funder_id":"https://openalex.org/F4320323737","funder_display_name":"Ministerio de Ciencia y Tecnolog\u00eda"},{"id":"https://openalex.org/G8257141572","display_name":null,"funder_award_id":"RYC-2013-14717","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"}],"funders":[{"id":"https://openalex.org/F4320321764","display_name":"Ministerio de Educaci\u00f3n, Cultura y Deporte","ror":"https://ror.org/03nc27g21"},{"id":"https://openalex.org/F4320321837","display_name":"Ministerio de Econom\u00eda y Competitividad","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320323737","display_name":"Ministerio de Ciencia y Tecnolog\u00eda","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320334960","display_name":"Seventh Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W220935706","https://openalex.org/W1540112335","https://openalex.org/W1542459729","https://openalex.org/W1971076731","https://openalex.org/W1992905533","https://openalex.org/W2003192087","https://openalex.org/W2008650785","https://openalex.org/W2028665553","https://openalex.org/W2051825851","https://openalex.org/W2055619332","https://openalex.org/W2067452186","https://openalex.org/W2076285066","https://openalex.org/W2114491263","https://openalex.org/W2126258136","https://openalex.org/W2135716575","https://openalex.org/W2145536515","https://openalex.org/W2153530968","https://openalex.org/W2165134790","https://openalex.org/W2775563667","https://openalex.org/W2998320177","https://openalex.org/W3015825087","https://openalex.org/W3200788958","https://openalex.org/W4205598956","https://openalex.org/W4234704082","https://openalex.org/W4238566657","https://openalex.org/W4241487645","https://openalex.org/W4390807886"],"related_works":["https://openalex.org/W1515433387","https://openalex.org/W1484796814","https://openalex.org/W2507397068","https://openalex.org/W1663166257","https://openalex.org/W2339849594","https://openalex.org/W2537786014","https://openalex.org/W52215546","https://openalex.org/W2159593428","https://openalex.org/W3198992024","https://openalex.org/W2108748002"],"abstract_inverted_index":{"Measurement-Based":[0],"Probabilistic":[1],"Timing":[2],"Analysis":[3],"(MBPTA)":[4],"derives":[5],"WCET":[6,107],"estimates":[7,108],"for":[8],"tasks":[9],"running":[10],"on":[11,82,112,120],"processors":[12],"comprising":[13],"high-performance":[14],"features":[15],"such":[16],"as":[17],"caches.":[18],"MBPTA's":[19],"correct":[20],"application":[21,87],"requires":[22],"the":[23,38,42,54,86],"system":[24],"to":[25],"exhibit":[26],"certain":[27],"timing":[28,39],"properties,":[29],"which":[30,95],"can":[31],"be":[32],"achieved":[33],"by":[34],"injecting":[35],"randomisation":[36,78],"in":[37,53,63,92],"behaviour":[40],"of":[41,65,85],"task":[43],"under":[44],"analysis.":[45],"However,":[46],"existing":[47,93],"software-randomisation":[48],"techniques":[49],"require":[50],"costly":[51],"modifications":[52],"industrial":[55],"production":[56],"toolchain":[57,119],"(compiler,":[58],"linker,":[59],"runtime":[60],"or":[61],"hardware)":[62],"terms":[64],"development":[66],"and":[67,100,103,115],"certification.":[68],"In":[69],"this":[70],"paper":[71],"we":[72,110],"present":[73],"TASA,":[74],"a":[75,113,116,121],"new":[76],"software":[77],"tool":[79,98],"that":[80,109],"relies":[81],"source-code":[83],"transformations":[84],"(i)":[88],"requiring":[89],"no":[90],"changes":[91],"toolchains,":[94],"heavily":[96],"reduces":[97],"qualification":[99],"implementation":[101],"costs;":[102],"(ii)":[104],"achieving":[105],"competitive":[106],"assess":[111],"gcc-":[114],"llvm-based":[117],"compilation":[118],"real":[122],"board.":[123]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":3}],"updated_date":"2026-08-02T14:50:37.381335","created_date":"2016-10-28T00:00:00"}