Tight Temporal Bounds for Dataflow Applications Mapped onto Shared Resources
conference paper
We present an analysis method that provides tight temporal bounds for applications modeled by Synchronous Dataflow Graphs and mapped to shared resources. We consider the resource sharing effects on the temporal behaviour of the application by embedding worst case resource availability curves in the symbolic simulation of the application graph. Symbolic simulation of the application results in a (max, +) characterization matrix. This matrix specifies a set of recursive linear equations in (max, +) algebra that bound the worst case execution of the application. We obtain tighter temporal bounds on the completion times of tasks than state of the art analysis. This is achieved by improving the response times of the tasks by identifying possible consecutive task executions on the resources. This enables us to use accumulated response times which are less pessimistic. Applying the new approach to real-life applications gives significant improvements over the bounds compared to state of the art.
TNO Identifier
551111
ISBN
978-1-5090-2282-3
Publisher
IEEE
Source title
11th System of Systems Engineering Conference (SoSE), 2016.
Collation
8 p.
Files
To receive the publication files, please send an e-mail request to TNO Repository.