A refinement theory for timed-dataflow analysis with support for reordering
Joost P.H.M. Hausmans, Marco J.G. Bekooij · 2016
Real-time stream processing applications executed on embedded multiprocessor systems often have strict throughput and latency constraints. Violating these constraints is undesired and temporal analysis methods are therefore used to prevent such violations. These analysis methods use abstractions of the analyzed applications to simplify their temporal analysis.