Compositional Temporal Analysis Model for Incremental Hard Real-Time System Design

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

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

10 Citations (Scopus)

Abstract

The incremental design and analysis of parallel hard real-time stream processing applications is hampered by the lack of an intuitive compositional temporal analysis model that supports arbitrary cyclic dependencies between tasks. This paper introduces a temporal analysis model for hard real-time systems, called the Compositional Temporal Analysis (CTA) model, in which arbitrary cyclic dependencies can be specified. The CTA model also supports hierarchical composition and incremental design of timed components. The internals of a component in the CTA model can be hidden without changing the temporal properties of the component. Furthermore, the composition operation in the CTA model is associative, which enables composing components in an arbitrary order. Besides all these properties, also latency constraints and periodic sources and sinks can be specified and analyzed. We also show in this paper that for the CTA model efficient algorithms exist for buffer sizing, verifying consistency of compositions and to compute the temporal properties of compositions. The CTA model can be used as an abstraction of timed dataflow models. The CTA model uses components with transfer rates per port, in contrast to dataflow models that use actors with firing rules. Unlike dataflow models, the CTA model is not executable. An audio echo cancellation application is used to illustrate the applicability of the CTA model for a stream processing application with throughput and latency constraints, and to illustrate incremental design.
Original languageUndefined
Title of host publicationProceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT 2012
Place of PublicationNew York
PublisherAssociation for Computing Machinery (ACM)
Pages185-194
Number of pages10
ISBN (Print)978-1-4503-1425-1
DOIs
Publication statusPublished - 9 Oct 2012
Event10th ACM International Conference on Embedded Software, EMSOFT 2012 - Tampere, Finland
Duration: 7 Oct 201212 Oct 2012
Conference number: 10

Publication series

NameEMSOFT '12
PublisherACM

Conference

Conference10th ACM International Conference on Embedded Software, EMSOFT 2012
Abbreviated titleEMSOFT
CountryFinland
CityTampere
Period7/10/1212/10/12

Keywords

  • Performance analysis
  • hiding
  • hard real-time
  • IR-82162
  • Data flow
  • Compositionality
  • METIS-289781
  • EWI-22507

Cite this

Hausmans, J. P. H. M., Geuns, S. J., Wiggers, M. H., & Bekooij, M. J. G. (2012). Compositional Temporal Analysis Model for Incremental Hard Real-Time System Design. In Proceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT 2012 (pp. 185-194). (EMSOFT '12). New York: Association for Computing Machinery (ACM). https://doi.org/10.1145/2380356.2380390
Hausmans, J.P.H.M. ; Geuns, S.J. ; Wiggers, M.H. ; Bekooij, Marco Jan Gerrit. / Compositional Temporal Analysis Model for Incremental Hard Real-Time System Design. Proceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT 2012. New York : Association for Computing Machinery (ACM), 2012. pp. 185-194 (EMSOFT '12).
@inproceedings{8ea803df561a43c081b438abecbc940f,
title = "Compositional Temporal Analysis Model for Incremental Hard Real-Time System Design",
abstract = "The incremental design and analysis of parallel hard real-time stream processing applications is hampered by the lack of an intuitive compositional temporal analysis model that supports arbitrary cyclic dependencies between tasks. This paper introduces a temporal analysis model for hard real-time systems, called the Compositional Temporal Analysis (CTA) model, in which arbitrary cyclic dependencies can be specified. The CTA model also supports hierarchical composition and incremental design of timed components. The internals of a component in the CTA model can be hidden without changing the temporal properties of the component. Furthermore, the composition operation in the CTA model is associative, which enables composing components in an arbitrary order. Besides all these properties, also latency constraints and periodic sources and sinks can be specified and analyzed. We also show in this paper that for the CTA model efficient algorithms exist for buffer sizing, verifying consistency of compositions and to compute the temporal properties of compositions. The CTA model can be used as an abstraction of timed dataflow models. The CTA model uses components with transfer rates per port, in contrast to dataflow models that use actors with firing rules. Unlike dataflow models, the CTA model is not executable. An audio echo cancellation application is used to illustrate the applicability of the CTA model for a stream processing application with throughput and latency constraints, and to illustrate incremental design.",
keywords = "Performance analysis, hiding, hard real-time, IR-82162, Data flow, Compositionality, METIS-289781, EWI-22507",
author = "J.P.H.M. Hausmans and S.J. Geuns and M.H. Wiggers and Bekooij, {Marco Jan Gerrit}",
note = "10.1145/2380356.2380390",
year = "2012",
month = "10",
day = "9",
doi = "10.1145/2380356.2380390",
language = "Undefined",
isbn = "978-1-4503-1425-1",
series = "EMSOFT '12",
publisher = "Association for Computing Machinery (ACM)",
pages = "185--194",
booktitle = "Proceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT 2012",
address = "United States",

}

Hausmans, JPHM, Geuns, SJ, Wiggers, MH & Bekooij, MJG 2012, Compositional Temporal Analysis Model for Incremental Hard Real-Time System Design. in Proceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT 2012. EMSOFT '12, Association for Computing Machinery (ACM), New York, pp. 185-194, 10th ACM International Conference on Embedded Software, EMSOFT 2012, Tampere, Finland, 7/10/12. https://doi.org/10.1145/2380356.2380390

Compositional Temporal Analysis Model for Incremental Hard Real-Time System Design. / Hausmans, J.P.H.M.; Geuns, S.J.; Wiggers, M.H.; Bekooij, Marco Jan Gerrit.

Proceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT 2012. New York : Association for Computing Machinery (ACM), 2012. p. 185-194 (EMSOFT '12).

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

TY - GEN

T1 - Compositional Temporal Analysis Model for Incremental Hard Real-Time System Design

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

AU - Geuns, S.J.

AU - Wiggers, M.H.

AU - Bekooij, Marco Jan Gerrit

N1 - 10.1145/2380356.2380390

PY - 2012/10/9

Y1 - 2012/10/9

N2 - The incremental design and analysis of parallel hard real-time stream processing applications is hampered by the lack of an intuitive compositional temporal analysis model that supports arbitrary cyclic dependencies between tasks. This paper introduces a temporal analysis model for hard real-time systems, called the Compositional Temporal Analysis (CTA) model, in which arbitrary cyclic dependencies can be specified. The CTA model also supports hierarchical composition and incremental design of timed components. The internals of a component in the CTA model can be hidden without changing the temporal properties of the component. Furthermore, the composition operation in the CTA model is associative, which enables composing components in an arbitrary order. Besides all these properties, also latency constraints and periodic sources and sinks can be specified and analyzed. We also show in this paper that for the CTA model efficient algorithms exist for buffer sizing, verifying consistency of compositions and to compute the temporal properties of compositions. The CTA model can be used as an abstraction of timed dataflow models. The CTA model uses components with transfer rates per port, in contrast to dataflow models that use actors with firing rules. Unlike dataflow models, the CTA model is not executable. An audio echo cancellation application is used to illustrate the applicability of the CTA model for a stream processing application with throughput and latency constraints, and to illustrate incremental design.

AB - The incremental design and analysis of parallel hard real-time stream processing applications is hampered by the lack of an intuitive compositional temporal analysis model that supports arbitrary cyclic dependencies between tasks. This paper introduces a temporal analysis model for hard real-time systems, called the Compositional Temporal Analysis (CTA) model, in which arbitrary cyclic dependencies can be specified. The CTA model also supports hierarchical composition and incremental design of timed components. The internals of a component in the CTA model can be hidden without changing the temporal properties of the component. Furthermore, the composition operation in the CTA model is associative, which enables composing components in an arbitrary order. Besides all these properties, also latency constraints and periodic sources and sinks can be specified and analyzed. We also show in this paper that for the CTA model efficient algorithms exist for buffer sizing, verifying consistency of compositions and to compute the temporal properties of compositions. The CTA model can be used as an abstraction of timed dataflow models. The CTA model uses components with transfer rates per port, in contrast to dataflow models that use actors with firing rules. Unlike dataflow models, the CTA model is not executable. An audio echo cancellation application is used to illustrate the applicability of the CTA model for a stream processing application with throughput and latency constraints, and to illustrate incremental design.

KW - Performance analysis

KW - hiding

KW - hard real-time

KW - IR-82162

KW - Data flow

KW - Compositionality

KW - METIS-289781

KW - EWI-22507

U2 - 10.1145/2380356.2380390

DO - 10.1145/2380356.2380390

M3 - Conference contribution

SN - 978-1-4503-1425-1

T3 - EMSOFT '12

SP - 185

EP - 194

BT - Proceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT 2012

PB - Association for Computing Machinery (ACM)

CY - New York

ER -

Hausmans JPHM, Geuns SJ, Wiggers MH, Bekooij MJG. Compositional Temporal Analysis Model for Incremental Hard Real-Time System Design. In Proceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT 2012. New York: Association for Computing Machinery (ACM). 2012. p. 185-194. (EMSOFT '12). https://doi.org/10.1145/2380356.2380390