{"id":"https://openalex.org/W3216800092","doi":"https://doi.org/10.1145/3477499","title":"Tool Integration for Automated Synthesis of Distributed Embedded Controllers","display_name":"Tool Integration for Automated Synthesis of Distributed Embedded Controllers","publication_year":2021,"publication_date":"2021-11-23","ids":{"openalex":"https://openalex.org/W3216800092","doi":"https://doi.org/10.1145/3477499","mag":"3216800092"},"language":"en","primary_location":{"id":"doi:10.1145/3477499","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3477499","pdf_url":null,"source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Cyber-Physical Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://pure.tue.nl/ws/files/369671722/3477499.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102800785","display_name":"Debayan Roy","orcid":"https://orcid.org/0000-0002-2069-210X"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Debayan Roy","raw_affiliation_strings":["Technical University of Munich, Garching bei Muenchen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich, Garching bei Muenchen, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055207379","display_name":"Licong Zhang","orcid":"https://orcid.org/0000-0002-8807-5378"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Licong Zhang","raw_affiliation_strings":["Technical University of Munich, Garching bei Muenchen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich, Garching bei Muenchen, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072023674","display_name":"Wanli Chang","orcid":"https://orcid.org/0000-0002-4053-8898"},"institutions":[{"id":"https://openalex.org/I16609230","display_name":"Hunan University","ror":"https://ror.org/05htk5m33","country_code":"CN","type":"education","lineage":["https://openalex.org/I16609230"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wanli Chang","raw_affiliation_strings":["Hunan University, Changsha, Hunan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hunan University, Changsha, Hunan, China","institution_ids":["https://openalex.org/I16609230"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049989469","display_name":"Dip Goswami","orcid":"https://orcid.org/0000-0002-2268-0014"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Dip Goswami","raw_affiliation_strings":["Eindhoven University of Technology, MB Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071323487","display_name":"Birgit Vogel\u2010Heuser","orcid":"https://orcid.org/0000-0003-2785-8819"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Birgit Vogel-Heuser","raw_affiliation_strings":["Technical University of Munich, Garching bei Muenchen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich, Garching bei Muenchen, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100737286","display_name":"Samarjit Chakraborty","orcid":"https://orcid.org/0000-0002-0503-6235"},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samarjit Chakraborty","raw_affiliation_strings":["University of North Carolina at Chapel Hill, Chapel Hill, NC, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of North Carolina at Chapel Hill, Chapel Hill, NC, USA","institution_ids":["https://openalex.org/I114027177"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4719,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.62557427,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"6","issue":"1","first_page":"1","last_page":"31"},"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.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/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/flexray","display_name":"FlexRay","score":0.8331482410430908},{"id":"https://openalex.org/keywords/toolchain","display_name":"Toolchain","score":0.6912244558334351},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6883354187011719},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6556459069252014},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5927181839942932},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4623414874076843},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.44946956634521484},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.426858127117157},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3840653598308563},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.25776728987693787},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.2290457785129547},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.14783209562301636}],"concepts":[{"id":"https://openalex.org/C2777648190","wikidata":"https://www.wikidata.org/wiki/Q571846","display_name":"FlexRay","level":3,"score":0.8331482410430908},{"id":"https://openalex.org/C2777062904","wikidata":"https://www.wikidata.org/wiki/Q545406","display_name":"Toolchain","level":3,"score":0.6912244558334351},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6883354187011719},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6556459069252014},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5927181839942932},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4623414874076843},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.44946956634521484},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.426858127117157},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3840653598308563},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.25776728987693787},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2290457785129547},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14783209562301636},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","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/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3477499","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3477499","pdf_url":null,"source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Cyber-Physical Systems","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:publications/28a7224e-65bf-40af-960f-a9fa4eb73f72","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/28a7224e-65bf-40af-960f-a9fa4eb73f72","pdf_url":"https://pure.tue.nl/ws/files/369671722/3477499.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Roy, D, Zhang, L, Chang, W, Goswami, D, Vogel-Heuser, B & Chakraborty, S 2022, 'Tool Integration for Automated Synthesis of Distributed Embedded Controllers', ACM Transactions on Cyber-Physical Systems, vol. 6, no. 1, 3, pp. 1-31. https://doi.org/10.1145/3477499","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.tue.nl:publications/28a7224e-65bf-40af-960f-a9fa4eb73f72","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/28a7224e-65bf-40af-960f-a9fa4eb73f72","pdf_url":"https://pure.tue.nl/ws/files/369671722/3477499.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Roy, D, Zhang, L, Chang, W, Goswami, D, Vogel-Heuser, B & Chakraborty, S 2022, 'Tool Integration for Automated Synthesis of Distributed Embedded Controllers', ACM Transactions on Cyber-Physical Systems, vol. 6, no. 1, 3, pp. 1-31. https://doi.org/10.1145/3477499","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.47999998927116394}],"awards":[{"id":"https://openalex.org/G4505471351","display_name":null,"funder_award_id":"2038960","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7744286926","display_name":null,"funder_award_id":"SFB 768","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320308269","display_name":"Alexander von Humboldt-Stiftung","ror":"https://ror.org/012kf4317"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3216800092.pdf","grobid_xml":"https://content.openalex.org/works/W3216800092.grobid-xml"},"referenced_works_count":48,"referenced_works":["https://openalex.org/W1606489903","https://openalex.org/W1992160941","https://openalex.org/W1995537914","https://openalex.org/W2011588388","https://openalex.org/W2022312522","https://openalex.org/W2037847878","https://openalex.org/W2059338741","https://openalex.org/W2087412435","https://openalex.org/W2089766125","https://openalex.org/W2090189305","https://openalex.org/W2097364507","https://openalex.org/W2107119196","https://openalex.org/W2119888954","https://openalex.org/W2132935493","https://openalex.org/W2140850191","https://openalex.org/W2141807041","https://openalex.org/W2142982380","https://openalex.org/W2150408604","https://openalex.org/W2159447204","https://openalex.org/W2161175504","https://openalex.org/W2162565688","https://openalex.org/W2163770626","https://openalex.org/W2164877825","https://openalex.org/W2166932983","https://openalex.org/W2169180789","https://openalex.org/W2170529516","https://openalex.org/W2342670290","https://openalex.org/W2405841950","https://openalex.org/W2528281105","https://openalex.org/W2750288304","https://openalex.org/W2778334231","https://openalex.org/W2791273795","https://openalex.org/W2890856788","https://openalex.org/W2899658721","https://openalex.org/W2945933345","https://openalex.org/W2952721922","https://openalex.org/W2973227089","https://openalex.org/W3011697008","https://openalex.org/W3033113708","https://openalex.org/W3113943597","https://openalex.org/W3152080727","https://openalex.org/W3153886909","https://openalex.org/W4231613826","https://openalex.org/W4232191208","https://openalex.org/W4238538572","https://openalex.org/W4239840276","https://openalex.org/W4242068627","https://openalex.org/W4246586762"],"related_works":["https://openalex.org/W2013037783","https://openalex.org/W2909413202","https://openalex.org/W1999008563","https://openalex.org/W4385243142","https://openalex.org/W2561644314","https://openalex.org/W2794118724","https://openalex.org/W2912135124","https://openalex.org/W4206450104","https://openalex.org/W3107591246","https://openalex.org/W3155032774"],"abstract_inverted_index":{"Controller":[0],"design":[1,11,16,42,84,109,122,199,235,279],"and":[2,28,138,154,179,187,206,216,244],"their":[3,73],"software":[4,261],"implementations":[5,160],"are":[6],"usually":[7],"done":[8],"in":[9,49,69,75,111,125,141,194,211,218],"isolated":[10],"spaces":[12],"using":[13,86,106],"respective":[14],"COTS":[15],"tools.":[17,88],"However,":[18,72],"this":[19,95,255,278],"separation":[20],"of":[21,83,92,118,130,161,208,232,242],"concerns":[22],"can":[23,251,281],"lead":[24],"to":[25,45,53,59,134,143,196,239,285],"long":[26],"debugging":[27],"integration":[29],"phases.":[30],"This":[31],"is":[32,96,133,221,275],"because":[33],"assumptions":[34],"made":[35],"about":[36],"the":[37,41,70,81,90,97,116,126,180,204,230,240,245],"implementation":[38,151],"platform":[39,139,214],"during":[40],"phase\u2014e.g.,":[43],"related":[44],"timing\u2014might":[46],"not":[47],"hold":[48],"practice,":[50],"thereby":[51,149],"leading":[52],"unacceptable":[54],"control":[55,162,167,209,243,270],"performance.":[56],"In":[57,254],"order":[58,142,195],"address":[60],"this,":[61],"several":[62],"control/architecture":[63],"co-design":[64,104,132,178],"techniques":[65],"have":[66],"been":[67,78],"proposed":[68],"literature.":[71],"adoption":[74],"practice":[76],"has":[77],"hampered":[79],"by":[80],"lack":[82],"flows":[85,123],"commercial":[87],"To":[89],"best":[91],"our":[93,273],"knowledge,":[94],"first":[98],"article":[99],"that":[100,220,248],"implements":[101],"such":[102,131],"a":[103,174,259],"method":[105],"commercially":[107],"available":[108],"tools":[110,267],"an":[112,249],"automotive":[113,165,276],"setting,":[114],"with":[115,213,237],"aim":[117],"minimally":[119],"disrupting":[120],"existing":[121],"practiced":[124],"industry.":[127],"The":[128,177],"goal":[129],"jointly":[135,184],"determine":[136],"controller":[137,186],"parameters":[140,189],"avoid":[144],"any":[145],"design-implementation":[146],"gap":[147],",":[148],"minimizing":[150],"time":[152],"testing":[153],"debugging.":[155],"Our":[156],"setting":[157],"involves":[158],"distributed":[159,269],"algorithms":[163],"on":[164,265],"electronic":[166],"units":[168],"(":[169],"ECUs":[170],")":[171],"communicating":[172],"via":[173],"FlexRay":[175,188,225],"bus.":[176],"associated":[181],"toolchain":[182],"Co-Flex":[183,201,266],"determines":[185],"(that":[190],"impact":[191],"signal":[192],"delays)":[193],"optimize":[197],"specified":[198],"metrics.":[200],"seamlessly":[202],"integrates":[203],"modeling":[205,215],"analysis":[207],"systems":[210],"MATLAB/Simulink":[212],"configuration":[217],"SIMTOOLS/SIMTARGET":[219],"used":[222],"for":[223,268],"configuring":[224],"bus":[226],"parameters.":[227],"It":[228],"automates":[229],"generation":[231],"multiple":[233],"Pareto-optimal":[234],"options":[236],"respect":[238],"quality":[241],"resource":[246],"usage,":[247],"engineer":[250],"choose":[252],"from.":[253],"article,":[256],"we":[257],"outline":[258],"step-by-step":[260],"development":[262],"process":[263],"based":[264],"applications.":[271],"While":[272],"exposition":[274],"specific,":[277],"flow":[280],"easily":[282],"be":[283],"extended":[284],"other":[286],"domains.":[287]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}