{"id":"https://openalex.org/W1495636068","doi":"https://doi.org/10.1109/sies.2015.7185067","title":"A formal, model-driven design flow for system simulation and multi-core implementation","display_name":"A formal, model-driven design flow for system simulation and multi-core implementation","publication_year":2015,"publication_date":"2015-06-01","ids":{"openalex":"https://openalex.org/W1495636068","doi":"https://doi.org/10.1109/sies.2015.7185067","mag":"1495636068"},"language":"en","primary_location":{"id":"doi:10.1109/sies.2015.7185067","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2015.7185067","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"10th IEEE International Symposium on Industrial Embedded Systems (SIES)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5075544473","display_name":"Papa Issa Diallo","orcid":null},"institutions":[{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]},{"id":"https://openalex.org/I201181511","display_name":"\u00c9cole Nationale Sup\u00e9rieure de Techniques Avanc\u00e9es","ror":"https://ror.org/0309cs235","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Papa Issa Diallo","raw_affiliation_strings":["Lab-STICC-National School of Advanced Techniques of Britany (ENSTA), Brest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lab-STICC-National School of Advanced Techniques of Britany (ENSTA), Brest, France","institution_ids":["https://openalex.org/I161929037","https://openalex.org/I201181511","https://openalex.org/I4210123702"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062669550","display_name":"Seyed-Hosein Attarzadeh-Niaki","orcid":"https://orcid.org/0000-0002-2171-1528"},"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":"Seyed-Hosein Attarzadeh-Niaki","raw_affiliation_strings":["Electronics and Embedded Systems, KTH Royal Institute of Technology, Stockholm, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electronics and Embedded Systems, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082362817","display_name":"Francesco Robino","orcid":null},"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":"Francesco Robino","raw_affiliation_strings":["Electronics and Embedded Systems, KTH Royal Institute of Technology, Stockholm, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electronics and Embedded Systems, KTH Royal Institute of Technology, 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":["Electronics and Embedded Systems, KTH Royal Institute of Technology, Stockholm, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electronics and Embedded Systems, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004741856","display_name":"Jo\u00ebl Champeau","orcid":"https://orcid.org/0000-0002-4014-3191"},"institutions":[{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]},{"id":"https://openalex.org/I201181511","display_name":"\u00c9cole Nationale Sup\u00e9rieure de Techniques Avanc\u00e9es","ror":"https://ror.org/0309cs235","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Joel Champeau","raw_affiliation_strings":["Lab-STICC-National School of Advanced Techniques of Britany (ENSTA), Brest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lab-STICC-National School of Advanced Techniques of Britany (ENSTA), Brest, France","institution_ids":["https://openalex.org/I161929037","https://openalex.org/I201181511","https://openalex.org/I4210123702"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008852459","display_name":"Johnny \u00d6berg","orcid":"https://orcid.org/0000-0002-8072-1742"},"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":"Johnny Oberg","raw_affiliation_strings":["Electronics and Embedded Systems, KTH Royal Institute of Technology, Stockholm, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electronics and Embedded Systems, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"12","issue":null,"first_page":"1","last_page":"10"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7179164290428162},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.6220710873603821},{"id":"https://openalex.org/keywords/design-flow","display_name":"Design flow","score":0.4293592572212219},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.41969001293182373},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.37291502952575684},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.33480775356292725},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23110952973365784},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.21535846590995789},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.0740068256855011}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7179164290428162},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.6220710873603821},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.4293592572212219},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.41969001293182373},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.37291502952575684},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.33480775356292725},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23110952973365784},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.21535846590995789},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0740068256855011}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sies.2015.7185067","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2015.7185067","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"10th IEEE International Symposium on Industrial Embedded Systems (SIES)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1496267491","https://openalex.org/W1567551938","https://openalex.org/W1872025194","https://openalex.org/W1992160941","https://openalex.org/W2007527439","https://openalex.org/W2010547624","https://openalex.org/W2046995435","https://openalex.org/W2091158003","https://openalex.org/W2107857712","https://openalex.org/W2119355229","https://openalex.org/W2119677480","https://openalex.org/W2122081942","https://openalex.org/W2150408604","https://openalex.org/W4205879131","https://openalex.org/W6646563207","https://openalex.org/W6666286918","https://openalex.org/W6676995014","https://openalex.org/W6713634548","https://openalex.org/W6825444808"],"related_works":["https://openalex.org/W1631753024","https://openalex.org/W2138022277","https://openalex.org/W2120424507","https://openalex.org/W2592133661","https://openalex.org/W2533212402","https://openalex.org/W61995002","https://openalex.org/W2078880479","https://openalex.org/W2121865749","https://openalex.org/W4245257593","https://openalex.org/W1605920217"],"abstract_inverted_index":{"With":[0],"the":[1,20,59,70,75,107,117,124,189,194],"growing":[2],"complexity":[3],"of":[4,61,126,141,193],"Real-Time":[5],"Embedded":[6],"Systems":[7],"(RTES),":[8],"there":[9],"is":[10,162],"a":[11,99,120,135,148,153,176,179,182],"huge":[12],"interest":[13],"in":[14],"using":[15],"modeling":[16,127],"languages":[17,128],"such":[18,51,129],"as":[19,130],"Unified":[21],"Modeling":[22],"Language":[23],"(UML),":[24],"and":[25,74,84,111,147],"other":[26],"Model-Driven":[27],"Engineering":[28],"(MDE)":[29],"techniques":[30],"targeting":[31,152],"RTES":[32,101],"system":[33,41,92,149,166],"design.":[34],"These":[35],"approaches":[36,52],"provide":[37],"language":[38],"abstractions":[39],"for":[40,94],"design,":[42],"allowing":[43],"to":[44,68,87,105,123,163,173],"focus":[45],"on":[46,81,138,175],"their":[47],"relevant":[48],"properties.":[49],"Unfortunately,":[50],"still":[53],"suffer":[54],"from":[55,169],"several":[56,165],"shortcomings":[57],"including":[58],"lack":[60],"well-defined":[62,85,157],"semantics.":[63],"Therefore,":[64],"it":[65],"remains":[66],"difficult":[67],"connect":[69],"MDE":[71,110],"specification":[72],"tools":[73,77],"design":[76,102,113,167,191],"that":[78],"are":[79],"based":[80,137],"formal":[82,112,133,139],"grounds":[83],"semantics":[86],"perform":[88],"analysis,":[89],"validation":[90,144],"or":[91],"synthesis":[93,150],"RTES.":[95],"This":[96],"paper":[97],"presents":[98],"top-down":[100],"flow":[103],"aiming":[104],"reduce":[106],"gap":[108],"between":[109,119],"approaches.":[114],"We":[115],"present":[116],"connection":[118],"framework":[121,136],"dedicated":[122],"enrichment":[125],"UML":[131],"with":[132,156],"semantics,":[134],"models":[140],"computation":[142],"supporting":[143],"by":[145],"simulation,":[146],"tool":[151],"flexible":[154],"platform":[155],"execution":[158],"services.":[159],"Our":[160],"purpose":[161],"cover":[164],"phases":[168],"specification,":[170],"simulation":[171],"down":[172],"implementation":[174],"platform.":[177],"As":[178],"case":[180],"study,":[181],"JPEG":[183],"Encoder":[184],"application":[185],"was":[186],"realized":[187],"following":[188],"different":[190],"steps":[192],"tool-chain.":[195]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}