{"id":"https://openalex.org/W2967855397","doi":"https://doi.org/10.1109/tc.2019.2909209","title":"Translation, Abstraction and Integration for Effective Smart System Design","display_name":"Translation, Abstraction and Integration for Effective Smart System Design","publication_year":2019,"publication_date":"2019-09-06","ids":{"openalex":"https://openalex.org/W2967855397","doi":"https://doi.org/10.1109/tc.2019.2909209","mag":"2967855397"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2019.2909209","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2019.2909209","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069672683","display_name":"Michele Lora","orcid":"https://orcid.org/0000-0002-6224-4313"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Michele Lora","raw_affiliation_strings":["Department of Computer Science, University of Verona, Verona, VR, Italy"],"raw_orcid":"https://orcid.org/0000-0002-6224-4313","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Verona, VR, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070652829","display_name":"Sara Vinco","orcid":"https://orcid.org/0000-0001-9666-5194"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Sara Vinco","raw_affiliation_strings":["Department of Control and Computer Engineering, Politecnico di Torino, Torino, Italy"],"raw_orcid":"https://orcid.org/0000-0001-9666-5194","affiliations":[{"raw_affiliation_string":"Department of Control and Computer Engineering, Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040302302","display_name":"Franco Fummi","orcid":"https://orcid.org/0000-0002-4404-5791"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Franco Fummi","raw_affiliation_strings":["Department of Computer Science, University of Verona, Verona, VR, Italy"],"raw_orcid":"https://orcid.org/0000-0002-4404-5791","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Verona, VR, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.7882,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.95821173,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"68","issue":"10","first_page":"1525","last_page":"1538"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design 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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design 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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9987999796867371,"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/executable","display_name":"Executable","score":0.8603662252426147},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8277390003204346},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6512708067893982},{"id":"https://openalex.org/keywords/design-flow","display_name":"Design flow","score":0.5168867111206055},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.45541122555732727},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.4414007067680359},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.43819278478622437},{"id":"https://openalex.org/keywords/abstraction-layer","display_name":"Abstraction layer","score":0.43290722370147705},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.42647671699523926},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.4183608591556549},{"id":"https://openalex.org/keywords/electronic-system-level-design-and-verification","display_name":"Electronic system-level design and verification","score":0.41713908314704895},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4138023853302002},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3844471275806427},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.20511358976364136},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1945851743221283}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8603662252426147},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8277390003204346},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6512708067893982},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.5168867111206055},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.45541122555732727},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.4414007067680359},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.43819278478622437},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.43290722370147705},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.42647671699523926},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.4183608591556549},{"id":"https://openalex.org/C77495112","wikidata":"https://www.wikidata.org/wiki/Q5358436","display_name":"Electronic system-level design and verification","level":2,"score":0.41713908314704895},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4138023853302002},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3844471275806427},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.20511358976364136},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1945851743221283},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tc.2019.2909209","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2019.2909209","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":60,"referenced_works":["https://openalex.org/W3986271","https://openalex.org/W205804909","https://openalex.org/W1498455513","https://openalex.org/W1514004212","https://openalex.org/W1517125074","https://openalex.org/W1592749131","https://openalex.org/W1597811799","https://openalex.org/W1964720616","https://openalex.org/W1969457232","https://openalex.org/W1983253573","https://openalex.org/W1991024862","https://openalex.org/W1995691455","https://openalex.org/W1996491013","https://openalex.org/W2016401589","https://openalex.org/W2022312522","https://openalex.org/W2051058516","https://openalex.org/W2073697740","https://openalex.org/W2089903362","https://openalex.org/W2104520397","https://openalex.org/W2105974337","https://openalex.org/W2107857712","https://openalex.org/W2108065216","https://openalex.org/W2114431978","https://openalex.org/W2120937613","https://openalex.org/W2124074002","https://openalex.org/W2131139339","https://openalex.org/W2136959504","https://openalex.org/W2140240784","https://openalex.org/W2141225786","https://openalex.org/W2143196989","https://openalex.org/W2150427624","https://openalex.org/W2151415616","https://openalex.org/W2161687983","https://openalex.org/W2166971488","https://openalex.org/W2168830726","https://openalex.org/W2169621739","https://openalex.org/W2254450385","https://openalex.org/W2267833771","https://openalex.org/W2317748259","https://openalex.org/W2342887478","https://openalex.org/W2537393099","https://openalex.org/W2554257131","https://openalex.org/W2588628414","https://openalex.org/W2602454555","https://openalex.org/W2616765985","https://openalex.org/W2622072046","https://openalex.org/W3043074253","https://openalex.org/W3139748210","https://openalex.org/W3145243878","https://openalex.org/W3146195631","https://openalex.org/W3149643515","https://openalex.org/W3152327067","https://openalex.org/W4205178436","https://openalex.org/W4232048937","https://openalex.org/W4240976302","https://openalex.org/W4242692807","https://openalex.org/W4243617343","https://openalex.org/W6635696095","https://openalex.org/W6681515596","https://openalex.org/W6684996014"],"related_works":["https://openalex.org/W2396093860","https://openalex.org/W2016926482","https://openalex.org/W2129671278","https://openalex.org/W98267493","https://openalex.org/W2975035977","https://openalex.org/W2599398355","https://openalex.org/W189250567","https://openalex.org/W4236014545","https://openalex.org/W2133408453","https://openalex.org/W1565125589"],"abstract_inverted_index":{"Virtual":[0],"platforms":[1,102],"are":[2,19,53,173],"a":[3,57,96,110,143,198],"powerful":[4],"support":[5],"for":[6],"the":[7,31,42,81,90,118,127,157,164,186,193,239],"development":[8,32],"and":[9,73,122,133,185,247],"early":[10],"validation":[11],"of":[12,33,41,60,66,70,103,112,129,140,156,166,205,215,236],"embedded":[13],"SW.":[14],"However,":[15],"complex":[16],"smart":[17,221],"devices":[18],"built":[20],"by":[21,26,80,116,153],"aggregating":[22],"heterogeneous":[23,104,113,217],"components":[24,40,141],"provided":[25],"different":[27,49,61,234],"vendors,":[28],"thus":[29],"requiring":[30],"custom":[34],"ad-hoc":[35],"virtual":[36,101],"platforms.":[37],"Even":[38],"worse,":[39],"underneath":[43],"HW":[44],"platform":[45],"may":[46],"belong":[47],"to":[48,85,99,136,163,176,189,192,196,229,248],"design":[50,72,82,159,167],"domains,":[51],"that":[52,161],"usually":[54],"expressed":[55],"using":[56],"huge":[58],"variety":[59],"languages.":[62],"This":[63,93],"high":[64],"degree":[65],"heterogeneity":[67],"in":[68,88],"terms":[69],"both":[71],"specification":[74],"languages":[75],"must":[76],"be":[77,190],"effectively":[78],"managed":[79],"flow":[83],"so":[84],"help":[86],"engineers":[87],"assembling":[89],"final":[91],"system.":[92],"paper":[94],"proposes":[95],"meet-in-the-middle":[97],"approach":[98,150,208],"create":[100],"systems.":[105],"The":[106,124,149,203,223],"starting":[107,194],"point":[108],"is":[109,151,209],"set":[111],"models,":[114],"developed":[115],"adopting":[117],"designer's":[119],"favorite":[120],"language":[121],"formalism.":[123],"methodology":[125,225],"envisions":[126],"adoption":[128,243],"existing":[130],"automatic":[131],"translation":[132],"abstraction":[134],"tools":[135],"automatically":[137],"integrate":[138],"models":[139,195],"into":[142],"single":[144],"homogeneous":[145],"system-level":[146,183],"executable":[147,201],"description.":[148],"supported":[152],"an":[154,207],"analysis":[155],"typical":[158],"flow,":[160],"leads":[162],"definition":[165],"domain/abstraction":[168],"level":[169],"taxonomies.":[170],"Such":[171],"taxonomies":[172],"then":[174],"used":[175],"identify":[177],"what":[178],"characteristics":[179],"would":[180],"allow":[181],"efficient":[182],"simulation,":[184],"corresponding":[187],"transformations":[188],"applied":[191,228],"achieve":[197],"\u201cholistic\u201d":[199],"system":[200],"representation.":[202],"benefit":[204],"such":[206,219],"particularly":[210],"evident":[211],"on":[212,244],"any":[213],"kind":[214],"highly":[216],"systems,":[218],"as":[220],"devices.":[222],"proposed":[224],"has":[226],"been":[227],"two":[230],"case":[231],"studies":[232],"with":[233,238],"degrees":[235],"heterogeneity,":[237],"goal":[240],"exemplifying":[241],"its":[242,250],"concrete":[245],"scenarios":[246],"prove":[249],"effectiveness.":[251]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}