{"id":"https://openalex.org/W2946792897","doi":"https://doi.org/10.23919/date.2019.8715153","title":"Cross-Layer Interactions in CPS for Performance and Certification","display_name":"Cross-Layer Interactions in CPS for Performance and Certification","publication_year":2019,"publication_date":"2019-03-01","ids":{"openalex":"https://openalex.org/W2946792897","doi":"https://doi.org/10.23919/date.2019.8715153","mag":"2946792897"},"language":"en","primary_location":{"id":"doi:10.23919/date.2019.8715153","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2019.8715153","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","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/A5100737286","display_name":"Samarjit Chakraborty","orcid":"https://orcid.org/0000-0002-0503-6235"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Samarjit Chakraborty","raw_affiliation_strings":["TU Munich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Munich","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114246496","display_name":"James H. Anderson","orcid":"https://orcid.org/0000-0001-7138-939X"},"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"]},{"id":"https://openalex.org/I1333535994","display_name":"University of North Carolina Health Care","ror":"https://ror.org/00qz24g20","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I1333535994"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James H. Anderson","raw_affiliation_strings":["UNC Chapel Hill"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNC Chapel Hill","institution_ids":["https://openalex.org/I114027177","https://openalex.org/I1333535994"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103088351","display_name":"Martin Becker","orcid":"https://orcid.org/0000-0003-3195-0503"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martin Becker","raw_affiliation_strings":["TU Munich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Munich","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033163680","display_name":"Helmut Graeb","orcid":"https://orcid.org/0000-0002-7626-1958"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Helmut Graeb","raw_affiliation_strings":["TU Munich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Munich","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112438693","display_name":"Samiran Halder","orcid":null},"institutions":[{"id":"https://openalex.org/I11912373","display_name":"Micron (United States)","ror":"https://ror.org/02fv52296","country_code":"US","type":"company","lineage":["https://openalex.org/I11912373"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samiran Halder","raw_affiliation_strings":["TDK-Micronas GmbH"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TDK-Micronas GmbH","institution_ids":["https://openalex.org/I11912373"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090621594","display_name":"Ravindra Metta","orcid":"https://orcid.org/0000-0001-7368-2389"},"institutions":[{"id":"https://openalex.org/I55215948","display_name":"Tata Consultancy Services (India)","ror":"https://ror.org/01b9n8m42","country_code":"IN","type":"company","lineage":["https://openalex.org/I4210086519","https://openalex.org/I55215948"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Ravindra Metta","raw_affiliation_strings":["TCS Research Pune"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TCS Research Pune","institution_ids":["https://openalex.org/I55215948"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060999697","display_name":"Lothar Thiele","orcid":"https://orcid.org/0000-0001-6139-868X"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Lothar Thiele","raw_affiliation_strings":["ETH Zurich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zurich","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080042319","display_name":"Stavros Tripakis","orcid":"https://orcid.org/0000-0002-1777-493X"},"institutions":[{"id":"https://openalex.org/I87182695","display_name":"Universidad del Noreste","ror":"https://ror.org/02ahky613","country_code":"MX","type":"education","lineage":["https://openalex.org/I87182695"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Stavros Tripakis","raw_affiliation_strings":["Northeastern University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeastern University","institution_ids":["https://openalex.org/I87182695"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017476836","display_name":"Anand Yeolekar","orcid":"https://orcid.org/0009-0002-3311-8809"},"institutions":[{"id":"https://openalex.org/I55215948","display_name":"Tata Consultancy Services (India)","ror":"https://ror.org/01b9n8m42","country_code":"IN","type":"company","lineage":["https://openalex.org/I4210086519","https://openalex.org/I55215948"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Anand Yeolekar","raw_affiliation_strings":["TCS Research Pune"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TCS Research Pune","institution_ids":["https://openalex.org/I55215948"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4314,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.48537268,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1439","last_page":"1444"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","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/T10933","display_name":"Real-Time Systems Scheduling","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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994000196456909,"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.9991999864578247,"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/certification","display_name":"Certification","score":0.7124350070953369},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5672299861907959},{"id":"https://openalex.org/keywords/layer","display_name":"Layer (electronics)","score":0.5433008670806885},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.12227058410644531},{"id":"https://openalex.org/keywords/nanotechnology","display_name":"Nanotechnology","score":0.07831406593322754}],"concepts":[{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.7124350070953369},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5672299861907959},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.5433008670806885},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.12227058410644531},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.07831406593322754},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/date.2019.8715153","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2019.8715153","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1552094772","https://openalex.org/W1705501928","https://openalex.org/W1978672105","https://openalex.org/W1990147325","https://openalex.org/W2007946113","https://openalex.org/W2018822418","https://openalex.org/W2037847878","https://openalex.org/W2052334067","https://openalex.org/W2096535721","https://openalex.org/W2117218135","https://openalex.org/W2137787952","https://openalex.org/W2147236388","https://openalex.org/W2200416798","https://openalex.org/W2342670290","https://openalex.org/W2405841950","https://openalex.org/W2487779201","https://openalex.org/W2526895648","https://openalex.org/W2569898071","https://openalex.org/W2594206920","https://openalex.org/W2778334231","https://openalex.org/W2783459243","https://openalex.org/W2876187223","https://openalex.org/W2899852153","https://openalex.org/W2910407542","https://openalex.org/W2963054787","https://openalex.org/W3152080727","https://openalex.org/W4248304976","https://openalex.org/W6637501975"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2066052364","https://openalex.org/W2224296908","https://openalex.org/W3109981693","https://openalex.org/W2381980429","https://openalex.org/W2384206113","https://openalex.org/W2023743128","https://openalex.org/W2057053421","https://openalex.org/W645983410"],"abstract_inverted_index":{"A":[0],"central":[1],"challenge":[2],"in":[3,44,70,88,95,141,149,219],"designing":[4,38,173],"embedded":[5],"control":[6,19,41,46],"systems":[7,10],"or":[8],"cyber-physical":[9],"(CPS)":[11],"is":[12,76,130],"that":[13,26,139,205],"of":[14,18,35,56,78,109,121,157,201],"translating":[15],"high-level":[16],"models":[17],"algorithms":[20],"into":[21],"efficient":[22,61],"implementations,":[23],"while":[24],"ensuring":[25],"model-level":[27],"semantics":[28],"are":[29,66,165],"preserved.":[30],"While":[31],"a":[32,188,220],"large":[33],"body":[34],"techniques":[36],"for":[37,87,148,211],"provably":[39],"correct":[40],"strategies":[42,58],"exist":[43,140],"the":[45,63,96,107,110,119,125,150,155,182,209,213],"theory":[47],"literature,":[48],"when":[49],"it":[50],"comes":[51],"to":[52,59,132,167,184,227],"transforming":[53],"mathematical":[54],"descriptions":[55],"these":[57,176,202],"an":[60,142],"implementation,":[62],"available":[64],"means":[65],"surprisingly":[67],"ad":[68],"hoc":[69],"nature.":[71],"Among":[72],"other":[73],"reasons,":[74],"this":[75,195],"because":[77],"(i)":[79],"implementation":[80,126,143,217],"platform":[81,127],"details":[82],"not":[83,114,146],"sufficiently":[84],"being":[85,112,115],"accounted":[86,147],"controller":[89],"models,":[90],"(ii)":[91],"side":[92],"effects":[93,156],"introduced":[94],"code":[97],"generation":[98],"process,":[99],"(iii)":[100],"various":[101,216],"compiler":[102],"optimizations":[103],"whose":[104,128,160],"impact":[105],"on":[106,124,181],"dynamics":[108],"plant":[111],"controlled":[113],"properly":[116],"understood,":[117],"(iv)":[118],"presence":[120],"analog":[122],"components":[123],"behavior":[129,164],"difficult":[131,166],"model,":[133,151],"(v)":[134],"computation":[135],"and":[136,152,162,186,192,223],"communication":[137],"delays":[138],"but":[144],"were":[145],"(vi)":[153],"also":[154],"image/video":[158],"processing":[159],"accuracy":[161],"timing":[163],"model.":[168],"As":[169],"we":[170,198,206],"move":[171],"towards":[172],"autonomous":[174],"systems,":[175],"issues":[177],"become":[178],"biting":[179],"problems":[180],"path":[183],"certification,":[185],"striking":[187],"balance":[189],"between":[190,215],"performance":[191],"certification.":[193],"In":[194],"position":[196],"paper,":[197],"discuss":[199],"some":[200],"challenges":[203],"-":[204,222],"formulate":[207],"as":[208],"need":[210],"modeling":[212],"interactions":[214],"layers":[218],"CPS":[221],"potential":[224],"research":[225],"directions":[226],"address":[228],"them.":[229]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}