{"id":"https://openalex.org/W2612733816","doi":"https://doi.org/10.23919/date.2017.7927116","title":"Latency analysis of homogeneous synchronous dataflow graphs using timed automata","display_name":"Latency analysis of homogeneous synchronous dataflow graphs using timed automata","publication_year":2017,"publication_date":"2017-03-01","ids":{"openalex":"https://openalex.org/W2612733816","doi":"https://doi.org/10.23919/date.2017.7927116","mag":"2612733816"},"language":"en","primary_location":{"id":"doi:10.23919/date.2017.7927116","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2017.7927116","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Design, Automation &amp; Test in Europe Conference &amp; Exhibition (DATE), 2017","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.utwente.nl/en/publications/be08a640-5df8-4de9-a2f8-b572c6028f2e","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030385246","display_name":"Guus Kuiper","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Guus Kuiper","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111443523","display_name":"Marco J.G. Bekooij","orcid":null},"institutions":[{"id":"https://openalex.org/I109147379","display_name":"NXP (Netherlands)","ror":"https://ror.org/059be4e97","country_code":"NL","type":"company","lineage":["https://openalex.org/I109147379"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marco J.G. Bekooij","raw_affiliation_strings":["NXP Semiconductors, Eindhoven, The Netherlands","University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"NXP Semiconductors, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I109147379"]},{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5030385246"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":null,"apc_paid":null,"fwci":0.2311,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.47718035,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"902","last_page":"905"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","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/T10904","display_name":"Embedded Systems Design Techniques","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/T10933","display_name":"Real-Time Systems Scheduling","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/dataflow","display_name":"Dataflow","score":0.910656213760376},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7728981971740723},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.7034008502960205},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6388150453567505},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4814585745334625},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.4499441683292389},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4276520609855652},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4197213649749756},{"id":"https://openalex.org/keywords/static-timing-analysis","display_name":"Static timing analysis","score":0.4137706756591797},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.4102162718772888},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3187922239303589},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.1313948631286621}],"concepts":[{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.910656213760376},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7728981971740723},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.7034008502960205},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6388150453567505},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4814585745334625},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4499441683292389},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4276520609855652},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4197213649749756},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.4137706756591797},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.4102162718772888},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3187922239303589},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.1313948631286621},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.23919/date.2017.7927116","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2017.7927116","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Design, Automation &amp; Test in Europe Conference &amp; Exhibition (DATE), 2017","raw_type":"proceedings-article"},{"id":"pmh:oai:ris.utwente.nl:openaire/be08a640-5df8-4de9-a2f8-b572c6028f2e","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/be08a640-5df8-4de9-a2f8-b572c6028f2e","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kuiper, G & Bekooij, M J G 2017, Latency analysis of homogeneous synchronous dataflow graphs using timed automata. in Proceedings of the 2017 Design, Automation & Test in Europe (DATE) : 27\u201331 March 2017, Swisstech, Lausanne, Switzerland. IEEE, pp. 902-905, 2017 Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, 27/03/17. https://doi.org/10.23919/DATE.2017.7927116","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire/be08a640-5df8-4de9-a2f8-b572c6028f2e","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/be08a640-5df8-4de9-a2f8-b572c6028f2e","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kuiper, G & Bekooij, M J G 2017, Latency analysis of homogeneous synchronous dataflow graphs using timed automata. in Proceedings of the 2017 Design, Automation & Test in Europe (DATE) : 27\u201331 March 2017, Swisstech, Lausanne, Switzerland. IEEE, pp. 902-905, 2017 Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, 27/03/17. https://doi.org/10.23919/DATE.2017.7927116","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W37120650","https://openalex.org/W1224547023","https://openalex.org/W1579143078","https://openalex.org/W1860183717","https://openalex.org/W1970013069","https://openalex.org/W1991466857","https://openalex.org/W2070473039","https://openalex.org/W2139593938","https://openalex.org/W2146423178","https://openalex.org/W2150221148","https://openalex.org/W2157508806","https://openalex.org/W2342430766","https://openalex.org/W2390747713","https://openalex.org/W2530971000","https://openalex.org/W2736456176","https://openalex.org/W3142840155","https://openalex.org/W4252976664","https://openalex.org/W6638864237"],"related_works":["https://openalex.org/W2293118914","https://openalex.org/W2998381397","https://openalex.org/W4236419692","https://openalex.org/W2171015181","https://openalex.org/W3167919718","https://openalex.org/W4251718783","https://openalex.org/W4239447582","https://openalex.org/W1484403103","https://openalex.org/W2521947294","https://openalex.org/W1985964844"],"abstract_inverted_index":{"There":[0],"are":[1,136],"several":[2],"analysis":[3,8,32,84,117,134],"models":[4,45,73],"and":[5,111,125],"corresponding":[6],"temporal":[7],"techniques":[9],"for":[10,34],"checking":[11],"whether":[12],"applications":[13],"executed":[14],"on":[15,121],"multiprocessor":[16],"systems":[17],"meet":[18],"their":[19,127],"real-time":[20],"constraints.":[21],"However,":[22],"currently":[23],"there":[24],"does":[25],"not":[26,144],"exist":[27],"an":[28,80],"exact":[29,81],"end-to-end":[30,82,132],"latency":[31,83,106,133],"technique":[33,118],"Homogeneous":[35],"Synchronous":[36],"Dataflow":[37],"with":[38],"auto-concurrency":[39],"(HSDF":[40],"<sup":[41,70],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[42,71],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">a</sup>":[43,72],")":[44],"that":[46,119],"takes":[47],"the":[48,51,86,89,105],"correlation":[49,87],"between":[50,88],"firing":[52,90],"durations":[53,91],"of":[54,66,92],"different":[55,93],"firings":[56,94],"into":[57,74,97],"account.":[58,98],"In":[59,99],"this":[60,142],"paper":[61],"we":[62,103],"present":[63],"a":[64,100,112,122],"transformation":[65],"strongly":[67],"connected":[68],"HSDF":[69],"timed":[75,109,139],"automata":[76,110],"models.":[77,149],"This":[78],"enables":[79],"because":[85],"is":[95,143],"taken":[96],"case":[101],"study":[102],"compare":[104,126],"obtained":[107,137],"using":[108,138,146],"Linear":[113],"Program":[114],"(LP)":[115],"based":[116],"relies":[120],"deterministic":[123,147],"abstraction":[124],"run-times":[128],"as":[129],"well.":[130],"Exact":[131],"results":[135],"automata,":[140],"whereas":[141],"possible":[145],"timed-dataflow":[148]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-03-17T09:09:15.849793","created_date":"2025-10-10T00:00:00"}