Many real-time stream processing applications are initially described as a sequential application containing while-loops, which execute for an unknown number of iterations. These modal applications have to be executed in parallel on an MPSoC system in order to meet their real-time throughput constraints. However, no suitable approach exists that can automatically derive a temporal analysis model from a sequential specification containing while-loops with an unknown number of iterations.
This paper introduces an approach to the automatic generation of a Structured Variable-rate Phased Dataflow (SVPDF) model from a sequential specification of a modal application. The real-time requirements of an application can be analyzed despite the presence of while-loops with an unknown number of iterations. It is shown that an algorithm that has a polynomial time computational complexity can be applied on the generated SVPDF model to determine whether a throughput constraint can be met. The enabler for the automatic generation of an SVPDF model is the decoupling of synchronization between tasks that contain different while-loops.
A DVB-T radio transceiver illustrates the derivation of the SVPDF model.
|Conference||14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems|
|Period||20/06/13 → 21/06/13|
|Other||20-21 June 2013|
- Real Time
- Data flow
- Automatic Parallelization