EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


27027 Compositional temporal analysis method for fixed priority pre-emptive scheduled modal stream processing applications
Home Policy Brochure Browse Search User Area Contact Help

Kuiper, G. and Geuns, S.J. and Hausmans, J.P.H.M. and Bekooij, M.J.G. (2016) 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. pp. 98-107. ACM. ISBN 978-1-4503-4320-6

Full text available as:

PDF

396 Kb
Open Access



Official URL: http://dx.doi.org/10.1145/2906363.2906375

Exported to Metis

Abstract

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 Program:CTIT-General
Research Project:CPS-CD: Robust design of cyber-physical systems
ID Code:27027
Status:Published
Deposited On:02 June 2016
Refereed:Yes
International:Yes
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item