{"id":"https://openalex.org/W3007581712","doi":"https://doi.org/10.3390/info11020120","title":"Analysis and Identification of Possible Automation Approaches for Embedded Systems Design Flows","display_name":"Analysis and Identification of Possible Automation Approaches for Embedded Systems Design Flows","publication_year":2020,"publication_date":"2020-02-22","ids":{"openalex":"https://openalex.org/W3007581712","doi":"https://doi.org/10.3390/info11020120","mag":"3007581712"},"language":"en","primary_location":{"id":"doi:10.3390/info11020120","is_oa":true,"landing_page_url":"https://doi.org/10.3390/info11020120","pdf_url":"https://www.mdpi.com/2078-2489/11/2/120/pdf?version=1582974774","source":{"id":"https://openalex.org/S4210219776","display_name":"Information","issn_l":"2078-2489","issn":["2078-2489"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2078-2489/11/2/120/pdf?version=1582974774","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003295944","display_name":"Augusto Y. Horita","orcid":"https://orcid.org/0000-0003-2805-8530"},"institutions":[{"id":"https://openalex.org/I181391015","display_name":"Universidade Estadual de Campinas (UNICAMP)","ror":"https://ror.org/04wffgt70","country_code":"BR","type":"education","lineage":["https://openalex.org/I181391015"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Augusto Y. Horita","raw_affiliation_strings":["Advanced Computing, Control & Embedded Systems Laboratory/FEM, University of Campinas\u2013UNICAMP, Campinas SP 13083-860, Brazil"],"raw_orcid":"https://orcid.org/0000-0003-2805-8530","affiliations":[{"raw_affiliation_string":"Advanced Computing, Control & Embedded Systems Laboratory/FEM, University of Campinas\u2013UNICAMP, Campinas SP 13083-860, Brazil","institution_ids":["https://openalex.org/I181391015"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088367939","display_name":"Denis S. Loubach","orcid":"https://orcid.org/0000-0003-1595-3448"},"institutions":[{"id":"https://openalex.org/I107428990","display_name":"Instituto Tecnol\u00f3gico de Aeron\u00e1utica","ror":"https://ror.org/05vh67662","country_code":"BR","type":"education","lineage":["https://openalex.org/I107428990"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Denis S. Loubach","raw_affiliation_strings":["Department of Computer Systems, Computer Science Division, Aeronautics Institute of Technology\u2013ITA, S\u00e3o Jos\u00e9 dos Campos SP 12228-900, Brazil"],"raw_orcid":"https://orcid.org/0000-0003-1595-3448","affiliations":[{"raw_affiliation_string":"Department of Computer Systems, Computer Science Division, Aeronautics Institute of Technology\u2013ITA, S\u00e3o Jos\u00e9 dos Campos SP 12228-900, Brazil","institution_ids":["https://openalex.org/I107428990"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075601605","display_name":"Ricardo Bonna","orcid":"https://orcid.org/0000-0002-9212-4304"},"institutions":[{"id":"https://openalex.org/I181391015","display_name":"Universidade Estadual de Campinas (UNICAMP)","ror":"https://ror.org/04wffgt70","country_code":"BR","type":"education","lineage":["https://openalex.org/I181391015"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Ricardo Bonna","raw_affiliation_strings":["Advanced Computing, Control & Embedded Systems Laboratory/FEM, University of Campinas\u2013UNICAMP, Campinas SP 13083-860, Brazil"],"raw_orcid":"https://orcid.org/0000-0002-9212-4304","affiliations":[{"raw_affiliation_string":"Advanced Computing, Control & Embedded Systems Laboratory/FEM, University of Campinas\u2013UNICAMP, Campinas SP 13083-860, Brazil","institution_ids":["https://openalex.org/I181391015"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5003295944","https://openalex.org/A5088367939"],"corresponding_institution_ids":["https://openalex.org/I107428990","https://openalex.org/I181391015"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515},"fwci":0.6823,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.64550421,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"11","issue":"2","first_page":"120","last_page":"120"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"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":1.0,"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.9991999864578247,"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.9987000226974487,"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/computer-science","display_name":"Computer science","score":0.7972158193588257},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.6487473845481873},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6062139272689819},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5924013257026672},{"id":"https://openalex.org/keywords/design-flow","display_name":"Design flow","score":0.5911906957626343},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.5665342807769775},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5416004061698914},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5362331867218018},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4957464635372162},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4856659173965454},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4564493000507355},{"id":"https://openalex.org/keywords/model-of-computation","display_name":"Model of computation","score":0.42811688780784607},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3836016356945038},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36988306045532227},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.36384111642837524},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.280327707529068},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1684572696685791},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1659117341041565},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11609488725662231},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.08066117763519287}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7972158193588257},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.6487473845481873},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6062139272689819},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5924013257026672},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.5911906957626343},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.5665342807769775},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5416004061698914},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5362331867218018},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4957464635372162},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4856659173965454},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4564493000507355},{"id":"https://openalex.org/C184596265","wikidata":"https://www.wikidata.org/wiki/Q2651576","display_name":"Model of computation","level":3,"score":0.42811688780784607},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3836016356945038},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36988306045532227},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.36384111642837524},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.280327707529068},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1684572696685791},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1659117341041565},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11609488725662231},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.08066117763519287},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3390/info11020120","is_oa":true,"landing_page_url":"https://doi.org/10.3390/info11020120","pdf_url":"https://www.mdpi.com/2078-2489/11/2/120/pdf?version=1582974774","source":{"id":"https://openalex.org/S4210219776","display_name":"Information","issn_l":"2078-2489","issn":["2078-2489"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:aa04e678bb76487c9acc4c774cf1fcc5","is_oa":true,"landing_page_url":"https://doaj.org/article/aa04e678bb76487c9acc4c774cf1fcc5","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Information, Vol 11, Iss 2, p 120 (2020)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/2078-2489/11/2/120/","is_oa":true,"landing_page_url":"http://dx.doi.org/10.3390/info11020120","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Information","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/info11020120","is_oa":true,"landing_page_url":"https://doi.org/10.3390/info11020120","pdf_url":"https://www.mdpi.com/2078-2489/11/2/120/pdf?version=1582974774","source":{"id":"https://openalex.org/S4210219776","display_name":"Information","issn_l":"2078-2489","issn":["2078-2489"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320323854","display_name":"Universidade Estadual de Campinas","ror":"https://ror.org/04wffgt70"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3007581712.pdf","grobid_xml":"https://content.openalex.org/works/W3007581712.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W120325504","https://openalex.org/W961826975","https://openalex.org/W1446494181","https://openalex.org/W1505181282","https://openalex.org/W1981912713","https://openalex.org/W1985142635","https://openalex.org/W2010547624","https://openalex.org/W2049238610","https://openalex.org/W2066177777","https://openalex.org/W2091158003","https://openalex.org/W2107745473","https://openalex.org/W2108727711","https://openalex.org/W2119355229","https://openalex.org/W2126013065","https://openalex.org/W2159542925","https://openalex.org/W2161219194","https://openalex.org/W2168315987","https://openalex.org/W2168609733","https://openalex.org/W2169687938","https://openalex.org/W2293702630","https://openalex.org/W2560401546","https://openalex.org/W2566468258","https://openalex.org/W2614519138","https://openalex.org/W2621134924","https://openalex.org/W2775378954","https://openalex.org/W2944903178","https://openalex.org/W2969746574","https://openalex.org/W2981415318","https://openalex.org/W3043074253","https://openalex.org/W6630621488","https://openalex.org/W6676494795"],"related_works":["https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W2152752131","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2145025660","https://openalex.org/W1994222400","https://openalex.org/W2391979747","https://openalex.org/W2981877881"],"abstract_inverted_index":{"Sophisticated":[0],"and":[1,30,65,79,84,102,127],"high":[2,44],"performance":[3],"embedded":[4,110],"systems":[5,111],"are":[6],"present":[7,96],"in":[8],"an":[9,40],"increasing":[10],"number":[11],"of":[12,33,39,73,93,104,118,129],"application":[13,41,57],"domains.":[14],"In":[15,91],"this":[16],"context,":[17],"formal-based":[18],"design":[19,89,112],"methods":[20],"have":[21,69],"been":[22,70],"studied":[23],"to":[24,59,109],"make":[25],"the":[26,37,56,60,77,87,125],"development":[27],"process":[28],"robust":[29],"scalable.":[31],"Models":[32],"computation":[34],"(MoC)":[35],"allows":[36],"modeling":[38],"at":[42],"a":[43,49,97],"abstraction":[45],"level":[46],"by":[47,115],"using":[48],"formal":[50,116],"base.":[51],"This":[52],"enables":[53],"analysis":[54,101],"before":[55,86],"moves":[58],"implementation":[61],"phase.":[62],"Different":[63],"tools":[64],"frameworks":[66],"supporting":[67],"MoCs":[68],"developed.":[71],"Some":[72],"them":[74],"can":[75],"simulate":[76],"models":[78,117],"also":[80],"verify":[81],"their":[82],"functionality":[83],"feasibility":[85],"next":[88],"steps.":[90],"view":[92],"this,":[94],"we":[95],"novel":[98],"method":[99],"for":[100],"identification":[103],"possible":[105],"automation":[106],"approaches":[107],"applicable":[108],"flow":[113],"supported":[114],"computation.":[119],"A":[120],"comprehensive":[121],"case":[122],"study":[123],"shows":[124],"potential":[126],"applicability":[128],"our":[130],"method.":[131]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}