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