{"id":"https://openalex.org/W4406678354","doi":"https://doi.org/10.1145/3714412","title":"Bridging the Abstraction Gap: A Systematic Approach to Rule-Based Transformational Design for Embedded Systems","display_name":"Bridging the Abstraction Gap: A Systematic Approach to Rule-Based Transformational Design for Embedded Systems","publication_year":2025,"publication_date":"2025-01-21","ids":{"openalex":"https://openalex.org/W4406678354","doi":"https://doi.org/10.1145/3714412"},"language":"en","primary_location":{"id":"doi:10.1145/3714412","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3714412","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3714412","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057085610","display_name":"Fahimeh Bahrami","orcid":"https://orcid.org/0000-0002-5897-4962"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Fahimeh Bahrami","raw_affiliation_strings":["EECS, Kungliga Tekniska Hogskolan","EECS, Kungliga Tekniska Hogskolan, Stockholm, Sweden"],"raw_orcid":"https://orcid.org/0000-0002-5897-4962","affiliations":[{"raw_affiliation_string":"EECS, Kungliga Tekniska Hogskolan","institution_ids":["https://openalex.org/I86987016"]},{"raw_affiliation_string":"EECS, Kungliga Tekniska Hogskolan, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062268028","display_name":"Rodolfo Jord\u00e3o","orcid":"https://orcid.org/0000-0002-1277-3903"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Rodolfo Jord\u00e3o","raw_affiliation_strings":["Kungliga Tekniska Hogskolan","Kungliga Tekniska Hogskolan, Stockholm Sweden"],"raw_orcid":"https://orcid.org/0000-0002-1277-3903","affiliations":[{"raw_affiliation_string":"Kungliga Tekniska Hogskolan","institution_ids":["https://openalex.org/I86987016"]},{"raw_affiliation_string":"Kungliga Tekniska Hogskolan, Stockholm Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024461213","display_name":"Ingo Sander","orcid":"https://orcid.org/0000-0003-4859-3100"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Ingo Sander","raw_affiliation_strings":["Kungliga Tekniska Hogskolan","Kungliga Tekniska Hogskolan, Stockholm, Sweden"],"raw_orcid":"https://orcid.org/0000-0003-4859-3100","affiliations":[{"raw_affiliation_string":"Kungliga Tekniska Hogskolan","institution_ids":["https://openalex.org/I86987016"]},{"raw_affiliation_string":"Kungliga Tekniska Hogskolan, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088595351","display_name":"Ingemar S\u00f6derquist","orcid":"https://orcid.org/0000-0001-9863-9985"},"institutions":[{"id":"https://openalex.org/I1339161553","display_name":"Saab (Switzerland)","ror":"https://ror.org/045rgx026","country_code":"CH","type":"company","lineage":["https://openalex.org/I1339161553","https://openalex.org/I4210153572"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Ingemar S\u00f6derquist","raw_affiliation_strings":["Business Area Avionics, Saab AB","Business Area Avionics, Saab AB, Link\u00f6ping Sweden"],"raw_orcid":"https://orcid.org/0000-0001-9863-9985","affiliations":[{"raw_affiliation_string":"Business Area Avionics, Saab AB","institution_ids":["https://openalex.org/I1339161553"]},{"raw_affiliation_string":"Business Area Avionics, Saab AB, Link\u00f6ping Sweden","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4369,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.74146449,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"25","issue":"2","first_page":"1","last_page":"33"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","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/T10904","display_name":"Embedded Systems Design Techniques","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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9973999857902527,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9965000152587891,"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/bridging","display_name":"Bridging (networking)","score":0.8474296927452087},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6497127413749695},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5709087252616882},{"id":"https://openalex.org/keywords/transformational-leadership","display_name":"Transformational leadership","score":0.5458207726478577},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37221747636795044},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33439135551452637},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.2797435522079468},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.11228850483894348},{"id":"https://openalex.org/keywords/social-psychology","display_name":"Social psychology","score":0.09893977642059326},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.09140032529830933}],"concepts":[{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.8474296927452087},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6497127413749695},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5709087252616882},{"id":"https://openalex.org/C38775462","wikidata":"https://www.wikidata.org/wiki/Q1569376","display_name":"Transformational leadership","level":2,"score":0.5458207726478577},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37221747636795044},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33439135551452637},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.2797435522079468},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.11228850483894348},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.09893977642059326},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.09140032529830933},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3714412","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3714412","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},{"id":"pmh:oai:DiVA.org:kth-380102","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-380102","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3714412","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3714412","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W189544743","https://openalex.org/W1483567557","https://openalex.org/W1489689515","https://openalex.org/W1511826042","https://openalex.org/W1567551938","https://openalex.org/W1582823543","https://openalex.org/W1597755753","https://openalex.org/W1933146504","https://openalex.org/W1935675921","https://openalex.org/W1974386461","https://openalex.org/W1988290118","https://openalex.org/W2004176798","https://openalex.org/W2008609084","https://openalex.org/W2028369847","https://openalex.org/W2031699358","https://openalex.org/W2050487400","https://openalex.org/W2077271799","https://openalex.org/W2078250023","https://openalex.org/W2105204485","https://openalex.org/W2111413831","https://openalex.org/W2114758860","https://openalex.org/W2119355229","https://openalex.org/W2120431055","https://openalex.org/W2128335669","https://openalex.org/W2150408604","https://openalex.org/W2151415616","https://openalex.org/W2168148808","https://openalex.org/W2172307690","https://openalex.org/W2516131552","https://openalex.org/W3147727939","https://openalex.org/W4254669755","https://openalex.org/W4300693720"],"related_works":["https://openalex.org/W2164219312","https://openalex.org/W2981038504","https://openalex.org/W2952333978","https://openalex.org/W2201615437","https://openalex.org/W2955928055","https://openalex.org/W2390457653","https://openalex.org/W2954424392","https://openalex.org/W2994084512","https://openalex.org/W2132586523","https://openalex.org/W2137812172"],"abstract_inverted_index":{"Raising":[0],"the":[1,10,24,29,33,39,78,111,119,124,148,152,167,196,200,204,209,223,243,251,260,266],"level":[2],"of":[3,13,42,80,113,118,131,142,151,208,222,247,259,268],"abstraction":[4,26],"is":[5,105,126,180,186],"considered":[6],"key":[7],"to":[8,23,98,146,203],"addressing":[9],"ever-increasing":[11],"complexity":[12],"embedded":[14,67],"system":[15,68,120,125,210,273],"design,":[16,224],"but":[17],"it":[18],"causes":[19],"additional":[20],"challenges":[21],"due":[22],"larger":[25],"gap":[27],"between":[28],"initial":[30,96],"specification":[31],"and":[32,51,83,139,157,171,182,257,274],"final":[34,101],"implementation.":[35,108],"This":[36],"article":[37],"addresses":[38],"current":[40],"lack":[41],"systematic":[43],"design":[44,58,69,174,229,233,267],"methods":[45],"by":[46,194,199,238],"extending":[47],"existing":[48],"design-transformation-based":[49],"approaches":[50],"wrapping":[52],"them":[53],"into":[54,76],"a":[55,100,129,136,140,183,275],"rule-based":[56],"transformational":[57],"methodology":[59,65,262],"for":[60,107,169],"heterogeneous":[61],"multi-processor":[62],"platforms.":[63],"The":[64,154,212,232,255],"cross-fertilizes":[66],"with":[70,128],"program":[71],"transformation":[72,201],"techniques":[73],"while":[74],"taking":[75],"account":[77],"interplay":[79],"tight":[81],"constraints":[82],"platform":[84,137],"heterogeneity":[85],"inherent":[86],"in":[87,226],"such":[88],"systems.":[89],"It":[90],"advocates":[91],"step-wise":[92],"transformations":[93,114,193,218,249],"starting":[94],"from":[95],"requirements":[97],"yield":[99],"refined":[102],"model":[103],"that":[104,188],"efficient":[106],"To":[109],"consider":[110],"effect":[112],"on":[115,219],"different":[116,220],"properties":[117],"at":[121],"each":[122],"step,":[123],"specified":[127],"set":[130,141],"requirements,":[132],"an":[133,227,270],"application":[134,248],"model,":[135,138],"mapping":[143],"decisions;":[144],"referred":[145],"as":[147],"RAMP":[149,155],"view":[150,156],"system.":[153,278],"its":[158],"carefully":[159],"selected":[160],"underlying":[161,213],"unified":[162],"abstract":[163,205],"graph":[164,206,214],"representation":[165,207,215],"lay":[166],"foundations":[168],"mechanizing":[170],"potentially":[172],"automating":[173],"transformations.":[175],"A":[176],"pattern":[177],"matching":[178,195,253],"technique":[179],"introduced":[181],"proof-of-concept":[184],"tool":[185],"implemented":[187],"automatically":[189],"detects":[190],"all":[191],"possible":[192],"patterns":[197],"defined":[198],"rules":[202],"model.":[211],"enables":[216],"complex":[217],"aspects":[221],"resulting":[225],"improved":[228],"space":[230,234],"definition.":[231],"can":[235],"be":[236],"explored":[237],"application-platform":[239],"co-exploration":[240],"techniques,":[241],"yielding":[242],"most":[244],"promising":[245],"sequence":[246],"alongside":[250],"best":[252],"platform.":[254],"applicability":[256],"potential":[258],"proposed":[261],"are":[263],"showcased":[264],"through":[265],"both":[269],"image":[271],"processing":[272],"cloud":[276],"detection":[277]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}