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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Citation (Scopus)
1 Downloads (Pure)

Abstract

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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Place of PublicationAmsterdam
PublisherSpringer
Pages267-286
Number of pages20
ISBN (Electronic)978-3-319-95246-8
ISBN (Print)978-3-319-95245-1
DOIs
Publication statusPublished - 1 Jan 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10760 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint Dive into the research topics of 'If we could go back in time.. on the use of ‘unnatural’ time and ordering in dataflow models'. Together they form a unique fingerprint.

Cite this