Automatic dataflow model extraction from modal real-time stream processing applications

S.J. Geuns, J.P.H.M. Hausmans, Marco Jan Gerrit Bekooij

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
41 Downloads (Pure)

Abstract

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.
Original languageUndefined
Title of host publicationProceedings of the 14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems
Place of PublicationNew York
PublisherAssociation for Computing Machinery (ACM)
Pages143-152
Number of pages10
ISBN (Print)978-1-4503-2085-6
DOIs
Publication statusPublished - 21 Jun 2013

Publication series

Name
PublisherACM

Keywords

  • EWI-23475
  • Real Time
  • MP-SoC
  • IR-86600
  • Data flow
  • METIS-297715
  • Automatic Parallelization

Cite this

Geuns, S. J., Hausmans, J. P. H. M., & Bekooij, M. J. G. (2013). Automatic dataflow model extraction from modal real-time stream processing applications. In Proceedings of the 14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (pp. 143-152). New York: Association for Computing Machinery (ACM). https://doi.org/10.1145/2465554.2465561
Geuns, S.J. ; Hausmans, J.P.H.M. ; Bekooij, Marco Jan Gerrit. / Automatic dataflow model extraction from modal real-time stream processing applications. Proceedings of the 14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems. New York : Association for Computing Machinery (ACM), 2013. pp. 143-152
@inproceedings{3e91ebf392894a15abe321acdda95cdc,
title = "Automatic dataflow model extraction from modal real-time stream processing applications",
abstract = "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.",
keywords = "EWI-23475, Real Time, MP-SoC, IR-86600, Data flow, METIS-297715, Automatic Parallelization",
author = "S.J. Geuns and J.P.H.M. Hausmans and Bekooij, {Marco Jan Gerrit}",
note = "10.1145/2465554.2465561",
year = "2013",
month = "6",
day = "21",
doi = "10.1145/2465554.2465561",
language = "Undefined",
isbn = "978-1-4503-2085-6",
publisher = "Association for Computing Machinery (ACM)",
pages = "143--152",
booktitle = "Proceedings of the 14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems",
address = "United States",

}

Geuns, SJ, Hausmans, JPHM & Bekooij, MJG 2013, Automatic dataflow model extraction from modal real-time stream processing applications. in Proceedings of the 14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems. Association for Computing Machinery (ACM), New York, pp. 143-152. https://doi.org/10.1145/2465554.2465561

Automatic dataflow model extraction from modal real-time stream processing applications. / Geuns, S.J.; Hausmans, J.P.H.M.; Bekooij, Marco Jan Gerrit.

Proceedings of the 14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems. New York : Association for Computing Machinery (ACM), 2013. p. 143-152.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Automatic dataflow model extraction from modal real-time stream processing applications

AU - Geuns, S.J.

AU - Hausmans, J.P.H.M.

AU - Bekooij, Marco Jan Gerrit

N1 - 10.1145/2465554.2465561

PY - 2013/6/21

Y1 - 2013/6/21

N2 - 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.

AB - 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.

KW - EWI-23475

KW - Real Time

KW - MP-SoC

KW - IR-86600

KW - Data flow

KW - METIS-297715

KW - Automatic Parallelization

U2 - 10.1145/2465554.2465561

DO - 10.1145/2465554.2465561

M3 - Conference contribution

SN - 978-1-4503-2085-6

SP - 143

EP - 152

BT - Proceedings of the 14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems

PB - Association for Computing Machinery (ACM)

CY - New York

ER -

Geuns SJ, Hausmans JPHM, Bekooij MJG. Automatic dataflow model extraction from modal real-time stream processing applications. In Proceedings of the 14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems. New York: Association for Computing Machinery (ACM). 2013. p. 143-152 https://doi.org/10.1145/2465554.2465561