Hierarchical programming language for modal multi-rate 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

50 Downloads (Pure)

Abstract

Modal multi-rate stream processing applications with real-time constraints which are executed on multi-core embedded systems often cannot be conveniently specified using current programming languages. An important issue is that sequential programming languages do not allow for convenient programming of multi-rate behavior, whereas parallel programming languages are insufficiently analyzable such that deadlock-freedom and a sufficient throughput cannot be guaranteed. In this paper a programming language is proposed by which a sequential specification of the behavior of an application can be nested in a concurrent specification. Multi-rate behavior can be conveniently expressed using concurrent modules which have well-defined, but restricted interfaces. Complex control behavior can be expressed in the sequential specification of the body of a module. The language is not Turing complete such that a Compositional Temporal Analysis (CTA) model can be derived. It is shown that the CTA model can be used despite the presence of control statements and that the composition of black-box components is possible. Algorithms with a polynomial time complexity can be used to verify whether throughput and latency constraints are met and to determine sufficient buffer capacities. A Phase Alternating Line (PAL) video decoder application is used to demonstrate the applicability of the presented language and analysis approach.
Original languageEnglish
Title of host publicationProceedings of the 43rd International Conference on Parallel Processing Workshops (ICPPW 2014)
Place of PublicationUSA
PublisherIEEE Computer Society
Pages453-460
Number of pages8
ISBN (Print)978-1-4799-5615-9
DOIs
Publication statusPublished - 12 Sep 2014
Event43rd International Conference on Parallel Processing Workshops, ICPPW 2014 - Minneapolis, United States
Duration: 9 Sep 201412 Sep 2014
Conference number: 43

Publication series

NameInternational Conference on Parallel Processing Workshops
PublisherIEEE Computer Society
ISSN (Print)1530-2016

Workshop

Workshop43rd International Conference on Parallel Processing Workshops, ICPPW 2014
Abbreviated titleICPPW
CountryUnited States
CityMinneapolis
Period9/09/1412/09/14

Fingerprint

Computer programming languages
Processing
Specifications
Throughput
Parallel programming
Computer programming
Embedded systems
Polynomials
Chemical analysis

Keywords

  • EWI-25116
  • METIS-309589
  • IR-94326

Cite this

Geuns, S. J., Hausmans, J. P. H. M., & Bekooij, M. J. G. (2014). Hierarchical programming language for modal multi-rate real-time stream processing applications. In Proceedings of the 43rd International Conference on Parallel Processing Workshops (ICPPW 2014) (pp. 453-460). (International Conference on Parallel Processing Workshops). USA: IEEE Computer Society. https://doi.org/10.1109/ICPPW.2014.66
Geuns, S.J. ; Hausmans, J.P.H.M. ; Bekooij, Marco Jan Gerrit. / Hierarchical programming language for modal multi-rate real-time stream processing applications. Proceedings of the 43rd International Conference on Parallel Processing Workshops (ICPPW 2014). USA : IEEE Computer Society, 2014. pp. 453-460 (International Conference on Parallel Processing Workshops).
@inproceedings{e50c59def5c94ab58d494cb21f157b4e,
title = "Hierarchical programming language for modal multi-rate real-time stream processing applications",
abstract = "Modal multi-rate stream processing applications with real-time constraints which are executed on multi-core embedded systems often cannot be conveniently specified using current programming languages. An important issue is that sequential programming languages do not allow for convenient programming of multi-rate behavior, whereas parallel programming languages are insufficiently analyzable such that deadlock-freedom and a sufficient throughput cannot be guaranteed. In this paper a programming language is proposed by which a sequential specification of the behavior of an application can be nested in a concurrent specification. Multi-rate behavior can be conveniently expressed using concurrent modules which have well-defined, but restricted interfaces. Complex control behavior can be expressed in the sequential specification of the body of a module. The language is not Turing complete such that a Compositional Temporal Analysis (CTA) model can be derived. It is shown that the CTA model can be used despite the presence of control statements and that the composition of black-box components is possible. Algorithms with a polynomial time complexity can be used to verify whether throughput and latency constraints are met and to determine sufficient buffer capacities. A Phase Alternating Line (PAL) video decoder application is used to demonstrate the applicability of the presented language and analysis approach.",
keywords = "EWI-25116, METIS-309589, IR-94326",
author = "S.J. Geuns and J.P.H.M. Hausmans and Bekooij, {Marco Jan Gerrit}",
year = "2014",
month = "9",
day = "12",
doi = "10.1109/ICPPW.2014.66",
language = "English",
isbn = "978-1-4799-5615-9",
series = "International Conference on Parallel Processing Workshops",
publisher = "IEEE Computer Society",
pages = "453--460",
booktitle = "Proceedings of the 43rd International Conference on Parallel Processing Workshops (ICPPW 2014)",
address = "United States",

}

Geuns, SJ, Hausmans, JPHM & Bekooij, MJG 2014, Hierarchical programming language for modal multi-rate real-time stream processing applications. in Proceedings of the 43rd International Conference on Parallel Processing Workshops (ICPPW 2014). International Conference on Parallel Processing Workshops, IEEE Computer Society, USA, pp. 453-460, 43rd International Conference on Parallel Processing Workshops, ICPPW 2014, Minneapolis, United States, 9/09/14. https://doi.org/10.1109/ICPPW.2014.66

Hierarchical programming language for modal multi-rate real-time stream processing applications. / Geuns, S.J.; Hausmans, J.P.H.M.; Bekooij, Marco Jan Gerrit.

Proceedings of the 43rd International Conference on Parallel Processing Workshops (ICPPW 2014). USA : IEEE Computer Society, 2014. p. 453-460 (International Conference on Parallel Processing Workshops).

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

TY - GEN

T1 - Hierarchical programming language for modal multi-rate real-time stream processing applications

AU - Geuns, S.J.

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

AU - Bekooij, Marco Jan Gerrit

PY - 2014/9/12

Y1 - 2014/9/12

N2 - Modal multi-rate stream processing applications with real-time constraints which are executed on multi-core embedded systems often cannot be conveniently specified using current programming languages. An important issue is that sequential programming languages do not allow for convenient programming of multi-rate behavior, whereas parallel programming languages are insufficiently analyzable such that deadlock-freedom and a sufficient throughput cannot be guaranteed. In this paper a programming language is proposed by which a sequential specification of the behavior of an application can be nested in a concurrent specification. Multi-rate behavior can be conveniently expressed using concurrent modules which have well-defined, but restricted interfaces. Complex control behavior can be expressed in the sequential specification of the body of a module. The language is not Turing complete such that a Compositional Temporal Analysis (CTA) model can be derived. It is shown that the CTA model can be used despite the presence of control statements and that the composition of black-box components is possible. Algorithms with a polynomial time complexity can be used to verify whether throughput and latency constraints are met and to determine sufficient buffer capacities. A Phase Alternating Line (PAL) video decoder application is used to demonstrate the applicability of the presented language and analysis approach.

AB - Modal multi-rate stream processing applications with real-time constraints which are executed on multi-core embedded systems often cannot be conveniently specified using current programming languages. An important issue is that sequential programming languages do not allow for convenient programming of multi-rate behavior, whereas parallel programming languages are insufficiently analyzable such that deadlock-freedom and a sufficient throughput cannot be guaranteed. In this paper a programming language is proposed by which a sequential specification of the behavior of an application can be nested in a concurrent specification. Multi-rate behavior can be conveniently expressed using concurrent modules which have well-defined, but restricted interfaces. Complex control behavior can be expressed in the sequential specification of the body of a module. The language is not Turing complete such that a Compositional Temporal Analysis (CTA) model can be derived. It is shown that the CTA model can be used despite the presence of control statements and that the composition of black-box components is possible. Algorithms with a polynomial time complexity can be used to verify whether throughput and latency constraints are met and to determine sufficient buffer capacities. A Phase Alternating Line (PAL) video decoder application is used to demonstrate the applicability of the presented language and analysis approach.

KW - EWI-25116

KW - METIS-309589

KW - IR-94326

U2 - 10.1109/ICPPW.2014.66

DO - 10.1109/ICPPW.2014.66

M3 - Conference contribution

SN - 978-1-4799-5615-9

T3 - International Conference on Parallel Processing Workshops

SP - 453

EP - 460

BT - Proceedings of the 43rd International Conference on Parallel Processing Workshops (ICPPW 2014)

PB - IEEE Computer Society

CY - USA

ER -

Geuns SJ, Hausmans JPHM, Bekooij MJG. Hierarchical programming language for modal multi-rate real-time stream processing applications. In Proceedings of the 43rd International Conference on Parallel Processing Workshops (ICPPW 2014). USA: IEEE Computer Society. 2014. p. 453-460. (International Conference on Parallel Processing Workshops). https://doi.org/10.1109/ICPPW.2014.66