{"id":"https://openalex.org/W2005515993","doi":"https://doi.org/10.1109/memcod.2014.6961841","title":"From clock-driven to data-driven models","display_name":"From clock-driven to data-driven models","publication_year":2014,"publication_date":"2014-10-01","ids":{"openalex":"https://openalex.org/W2005515993","doi":"https://doi.org/10.1109/memcod.2014.6961841","mag":"2005515993"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2014.6961841","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2014.6961841","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE)","raw_type":"proceedings-article"},"type":"article","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/A5100706076","display_name":"Yu Bai","orcid":"https://orcid.org/0000-0003-3077-5731"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Yu Bai","raw_affiliation_strings":["Technische Universitat Kaiserslautern, Kaiserslautern, Rheinland-Pfalz, DE","University of Kaiserslautern, 67653, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universitat Kaiserslautern, Kaiserslautern, Rheinland-Pfalz, DE","institution_ids":[]},{"raw_affiliation_string":"University of Kaiserslautern, 67653, Germany","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081184867","display_name":"Klaus Schneider","orcid":"https://orcid.org/0000-0002-1305-7132"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Klaus Schneider","raw_affiliation_strings":["Technische Universitat Kaiserslautern, Kaiserslautern, Rheinland-Pfalz, DE","University of Kaiserslautern, 67653, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universitat Kaiserslautern, Kaiserslautern, Rheinland-Pfalz, DE","institution_ids":[]},{"raw_affiliation_string":"University of Kaiserslautern, 67653, Germany","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074869280","display_name":"Nikita Bhardwaj","orcid":null},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Nikita Bhardwaj","raw_affiliation_strings":["University of Kaiserslautern, Kaiserslautern, Germany","University of Kaiserslautern, 67653, Germany"],"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"University of Kaiserslautern, 67653, Germany","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030750592","display_name":"Badarinath Katti","orcid":"https://orcid.org/0000-0002-6471-3208"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Badarinath Katti","raw_affiliation_strings":["University of Kaiserslautern, Kaiserslautern, Germany","University of Kaiserslautern, 67653, Germany"],"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"University of Kaiserslautern, 67653, Germany","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017886237","display_name":"Tania Shazadi","orcid":null},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tania Shazadi","raw_affiliation_strings":["Technische Universitat Kaiserslautern, Kaiserslautern, Rheinland-Pfalz, DE","University of Kaiserslautern, 67653, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universitat Kaiserslautern, Kaiserslautern, Rheinland-Pfalz, DE","institution_ids":[]},{"raw_affiliation_string":"University of Kaiserslautern, 67653, Germany","institution_ids":["https://openalex.org/I153267046"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5100706076"],"corresponding_institution_ids":["https://openalex.org/I153267046"],"apc_list":null,"apc_paid":null,"fwci":0.3065,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.57113713,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"78","issue":null,"first_page":"32","last_page":"41"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","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/T10829","display_name":"Interconnection Networks and Systems","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.5478541254997253}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5478541254997253}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/memcod.2014.6961841","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2014.6961841","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7599999904632568,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W1520761694","https://openalex.org/W1535347731","https://openalex.org/W1597755753","https://openalex.org/W1608626996","https://openalex.org/W1785583892","https://openalex.org/W1875492031","https://openalex.org/W1965516968","https://openalex.org/W1967224003","https://openalex.org/W1999823427","https://openalex.org/W2009655251","https://openalex.org/W2031381504","https://openalex.org/W2032758175","https://openalex.org/W2040789302","https://openalex.org/W2053681871","https://openalex.org/W2065609898","https://openalex.org/W2066453638","https://openalex.org/W2092309910","https://openalex.org/W2104869032","https://openalex.org/W2107783370","https://openalex.org/W2125415493","https://openalex.org/W2126626036","https://openalex.org/W2127044011","https://openalex.org/W2127335869","https://openalex.org/W2137541450","https://openalex.org/W2137689062","https://openalex.org/W2142325984","https://openalex.org/W2160566592","https://openalex.org/W2161091685","https://openalex.org/W2168964723","https://openalex.org/W2169200909","https://openalex.org/W2179594597","https://openalex.org/W2294187968","https://openalex.org/W2296755579","https://openalex.org/W2678984351","https://openalex.org/W3151776607","https://openalex.org/W3184710042","https://openalex.org/W4206455946","https://openalex.org/W4244400208","https://openalex.org/W4245523207","https://openalex.org/W6632165618","https://openalex.org/W6635964534","https://openalex.org/W6636303891","https://openalex.org/W6637988478"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032","https://openalex.org/W2382290278"],"abstract_inverted_index":{"Clock/time-driven":[0],"models":[1,14,65,83,107],"are":[2,31,34,40,49,84,180,271],"powerful":[3],"abstractions":[4],"of":[5,15,77,92,105,117,123,146,159,172,178,213,279],"real-time":[6],"systems,":[7],"as":[8,182],"e.g.,":[9],"provided":[10],"by":[11,140],"the":[12,67,103,115,150,157,185,195,203,208,211,214,219,240,277],"synchronous":[13,106,232],"computation":[16,53],"which":[17,111,187],"lend":[18],"themselves":[19],"well":[20],"for":[21,87,108,114,127,194],"simulation":[22],"and":[23,38,54,80,237],"verification.":[24],"At":[25],"every":[26],"clock":[27,241],"cycle,":[28],"new":[29],"inputs":[30,166],"read,":[32],"computations":[33],"performed":[35],"in":[36,59,132,227,247],"zero-time,":[37],"results":[39,275],"immediately/synchronously":[41],"communicated":[42],"between":[43],"components.":[44],"However,":[45],"such":[46,199],"zero-time":[47],"idealizations":[48],"not":[50],"realistic":[51],"since":[52],"communication":[55],"finally":[56],"takes":[57],"time":[58],"implementations.":[60,94],"For":[61,95],"implementations,":[62],"data-driven":[63],"execution":[64],"have":[66,190],"advantage":[68],"to":[69,136,156,191,267],"impose":[70],"no":[71],"timing":[72],"constraints":[73],"other":[74,90],"than":[75],"arrival":[76],"input":[78,188],"data,":[79],"thus,":[81],"these":[82],"perfectly":[85],"suited":[86],"distributed":[88],"or":[89],"kinds":[91],"asynchronous":[93],"this":[96,133,175,228,248,255],"reason,":[97],"modern":[98],"model-based":[99],"design":[100],"flows":[101],"consider":[102],"desynchronization":[104],"system":[109,265],"synthesis":[110],"is":[112,130,234],"possible":[113],"subclass":[116],"endochronous":[118],"systems":[119],"only.":[120],"While":[121],"definitions":[122],"endochrony":[124,139],"were":[125],"considered":[126],"years,":[128],"it":[129],"shown":[131],"paper":[134,229],"how":[135],"efficiently":[137],"verify":[138],"SAT":[141],"solving.":[142],"Our":[143],"procedure":[144,261],"consists":[145],"two":[147],"steps:":[148],"In":[149,202],"first":[151],"step,":[152,176,205],"we":[153,206,257],"introduce":[154],"buffers":[155],"interface":[158,212],"a":[160,231,259],"clock-driven":[161],"component,":[162],"so":[163,217],"that":[164,218,230],"its":[165],"can":[167,243],"arrive":[168],"at":[169],"different":[170],"points":[171],"time.":[173],"After":[174],"clocks":[177,209],"signals":[179,242],"viewed":[181],"\u2018instructions\u2019":[183],"telling":[184],"component":[186,220,233],"values":[189],"be":[192,244],"consumed":[193],"current":[196],"reaction.We":[197],"call":[198],"components":[200,270],"clock-scheduled.":[201],"second":[204],"remove":[207],"from":[210],"clock-scheduled":[215],"components,":[216],"may":[221],"now":[222],"become":[223],"nondeterministic.":[224],"We":[225],"prove":[226],"endochronous,":[235],"if":[236,239],"only":[238],"safely":[245],"removed":[246],"step":[249],"without":[250],"destroying":[251],"determinism.":[252],"Based":[253],"on":[254,263],"result,":[256],"present":[258],"decision":[260],"based":[262],"symbolic":[264],"representations":[266],"check":[268],"whether":[269],"endochronous.":[272],"Preliminary":[273],"experimental":[274],"show":[276],"effectiveness":[278],"our":[280],"method.":[281]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}