Kuiper, G. and Geuns, S.J. and Hausmans, J.P.H.M. and Bekooij, M.J.G.
Compositional temporal analysis method for fixed priority pre-emptive scheduled modal stream processing applications.
In: 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016), 23-25 May 2016, Sankt Goar, Germany.
Full text available as:
Official URL: http://dx.doi.org/10.1145/2906363.2906375
Modal real-time stream processing applications often contain cyclic dependencies and are typically executed on multiprocessor systems with processor sharing. Most real-time operating system kernels for these systems support Static Priority Pre-emptive (SPP) scheduling, however there is currently no suitable temporal analysis technique available for this type of systems.
In this paper, we present a compositional temporal analysis approach for modal and cyclic stream processing applications executed on SPP scheduled multiprocessor systems. In this approach, locks and barriers are added such that the temporal behavior of modes can be characterized independently. As a result, the composition of modes does not change their characterization. This enables the use of an existing Structured Variable-Rate Phased Dataflow (SVPDF) model based dataflow analysis technique to determine the worst-case temporal behavior. The SVPDF model and the parallel implementation including locks and barriers are generated by a multiprocessor compiler.
The applicability of the analysis approach is demonstrated using a WLAN 802.11p application. Conditions under which pipelined execution can be achieved are identified. The analysis results are verified with a dataflow simulator that supports sharing of resources.
|Item Type:||Conference or Workshop Paper (Full Paper, Talk)|
|Research Group:||EWI-CAES: Computer Architecture for Embedded Systems|
|Research Project:||CPS-CD: Robust design of cyber-physical systems|
|Deposited On:||02 June 2016|
Export this item as:
To correct this item please ask your editor
Repository Staff Only: edit this item