If we could go back in time.. on the use of ‘unnatural’ time and ordering in dataflow models

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Citaat (Scopus)
1 Downloads (Pure)

Samenvatting

Model-based design methods have become common practice for the design, analysis, and synthesis of embedded and cyber-physical systems. Different models of computation are used (for example state-based models, dataflow models, differential equations, hybrid-models). In real-time and cyber-physical systems it is common to incorporate in such models some representation of time, physical, logical or otherwise. We are used to time progressing in forward direction. This assumption is built into the very definition of many of our favorite models of computation. Execution times or delays are usually non-negative. Time stamps usually increase monotonically. Tasks can depend on past activations of other tasks, but not on future activations. Tasks are temporally causal. In this paper we explore the possibilities and the potential benefits of liberating our models from these assumptions, allowing time go backward in our models. We will use the dataflow model of computation for our exploration and show that there are potential benefits to negative execution times, negative delays on channels, and non-monotone events in event traces.

Originele taal-2Engels
TitelLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Plaats van productieAmsterdam
UitgeverijSpringer
Pagina's267-286
Aantal pagina's20
ISBN van elektronische versie978-3-319-95246-8
ISBN van geprinte versie978-3-319-95245-1
DOI's
StatusGepubliceerd - 1 jan 2018

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10760 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Vingerafdruk Duik in de onderzoeksthema's van 'If we could go back in time.. on the use of ‘unnatural’ time and ordering in dataflow models'. Samen vormen ze een unieke vingerafdruk.

Citeer dit