{"id":"https://openalex.org/W2554257131","doi":"https://doi.org/10.1109/hldvt.2016.7748264","title":"A unifying flow to ease smart systems integration","display_name":"A unifying flow to ease smart systems integration","publication_year":2016,"publication_date":"2016-10-01","ids":{"openalex":"https://openalex.org/W2554257131","doi":"https://doi.org/10.1109/hldvt.2016.7748264","mag":"2554257131"},"language":"en","primary_location":{"id":"doi:10.1109/hldvt.2016.7748264","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2016.7748264","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://iris.polito.it/bitstream/11583/2651280/1/main.pdf","any_repository_has_fulltext":true},"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":true,"raw_author_name":"Michele Lora","raw_affiliation_strings":["Dept. of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Verona, 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":"Polytechnic University of Turin","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":["Dept. of Computer Engineering, Politecnico di Torino, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Engineering, Politecnico di 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":["Dept. of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5069672683"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":1.4929,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.85994732,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"62","issue":null,"first_page":"113","last_page":"120"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9990000128746033,"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.9983999729156494,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8276921510696411},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7007348537445068},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5766578912734985},{"id":"https://openalex.org/keywords/design-flow","display_name":"Design flow","score":0.532959520816803},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5042997598648071},{"id":"https://openalex.org/keywords/abstraction-layer","display_name":"Abstraction layer","score":0.45885732769966125},{"id":"https://openalex.org/keywords/electronic-system-level-design-and-verification","display_name":"Electronic system-level design and verification","score":0.44803452491760254},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.42932820320129395},{"id":"https://openalex.org/keywords/systems-modeling","display_name":"Systems modeling","score":0.4254933297634125},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3408581018447876},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30252331495285034},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3005448877811432},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.15637052059173584}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8276921510696411},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7007348537445068},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5766578912734985},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.532959520816803},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5042997598648071},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.45885732769966125},{"id":"https://openalex.org/C77495112","wikidata":"https://www.wikidata.org/wiki/Q5358436","display_name":"Electronic system-level design and verification","level":2,"score":0.44803452491760254},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.42932820320129395},{"id":"https://openalex.org/C110963975","wikidata":"https://www.wikidata.org/wiki/Q12070446","display_name":"Systems modeling","level":2,"score":0.4254933297634125},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3408581018447876},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30252331495285034},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3005448877811432},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.15637052059173584},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"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/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/hldvt.2016.7748264","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2016.7748264","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)","raw_type":"proceedings-article"},{"id":"pmh:oai:porto.polito.it:2651280","is_oa":true,"landing_page_url":"http://porto.polito.it/2651280/","pdf_url":"https://iris.polito.it/bitstream/11583/2651280/1/main.pdf","source":{"id":"https://openalex.org/S4306402038","display_name":"PORTO Publications Open Repository TOrino (Politecnico di Torino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177477856","host_organization_name":"Politecnico di Torino","host_organization_lineage":["https://openalex.org/I177477856"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:porto.polito.it:2651280","is_oa":true,"landing_page_url":"http://porto.polito.it/2651280/","pdf_url":"https://iris.polito.it/bitstream/11583/2651280/1/main.pdf","source":{"id":"https://openalex.org/S4306402038","display_name":"PORTO Publications Open Repository TOrino (Politecnico di Torino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177477856","host_organization_name":"Politecnico di Torino","host_organization_lineage":["https://openalex.org/I177477856"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2554257131.pdf","grobid_xml":"https://content.openalex.org/works/W2554257131.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W1964720616","https://openalex.org/W1969457232","https://openalex.org/W1983253573","https://openalex.org/W1991024862","https://openalex.org/W2013523126","https://openalex.org/W2051058516","https://openalex.org/W2066199885","https://openalex.org/W2107857712","https://openalex.org/W2136959504","https://openalex.org/W2140240784","https://openalex.org/W2154135709","https://openalex.org/W2169621739","https://openalex.org/W2254450385","https://openalex.org/W2342887478","https://openalex.org/W2374787370","https://openalex.org/W2602454555","https://openalex.org/W2622072046","https://openalex.org/W3043074253","https://openalex.org/W4243617343","https://openalex.org/W6684996014","https://openalex.org/W6704332144","https://openalex.org/W6736287374"],"related_works":["https://openalex.org/W1984744919","https://openalex.org/W2132930690","https://openalex.org/W2770599040","https://openalex.org/W1901380330","https://openalex.org/W2075164989","https://openalex.org/W2901324294","https://openalex.org/W3009812692","https://openalex.org/W2105980483","https://openalex.org/W2133408453","https://openalex.org/W1565125589"],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"a":[3,18,44,67],"meet-in-the-middle":[4],"approach":[5,55,100],"for":[6],"the":[7,26,69,83,90,99,136,144,147],"modeling":[8],"and":[9,31,39,104,127,143],"simulation":[10],"of":[11,20,98,112,138,146],"heterogeneous":[12,21,114],"systems.":[13,119],"The":[14,33,54,96,120],"starting":[15,91],"point":[16],"is":[17,56,106],"set":[19],"models,":[22],"developed":[23],"by":[24,58],"adopting":[25],"designer's":[27],"favorite":[28],"design":[29,61,103],"language":[30],"formalism.":[32],"methodology":[34],"exploits":[35],"automatic":[36,122],"translation,":[37],"abstraction":[38,141],"integration":[40],"flows":[41],"to":[42,72,89,93,129,134],"generate":[43],"single":[45],"homogeneous":[46],"system-level":[47,79],"description,":[48],"that":[49,65,85],"allows":[50],"fast":[51],"system":[52,102],"simulation.":[53],"supported":[57],"two":[59],"novel":[60],"domain/abstraction":[62],"level":[63],"taxonomies,":[64],"generalize":[66],"state-of":[68],"art":[70],"taxonomy":[71],"identify":[73],"what":[74],"characteristics":[75],"would":[76],"allow":[77],"efficient":[78],"simulation,":[80],"together":[81],"with":[82],"transformations":[84],"must":[86],"be":[87],"applied":[88,128],"model":[92],"achieve":[94],"them.":[95],"advantage":[97],"on":[101,109],"prototyping":[105],"particularly":[107],"evident":[108],"any":[110],"kind":[111],"highly":[113],"systems,":[115],"such":[116],"as":[117],"smart":[118],"overall":[121],"flow":[123],"has":[124],"been":[125],"implemented":[126],"an":[130],"open-source":[131],"case":[132],"study":[133],"measure":[135],"performance":[137],"each":[139],"identified":[140],"level,":[142],"impact":[145],"proposed":[148],"methodology.":[149]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}