Flexible support for time and costs in scenario-aware dataflow

Arnd Hartmanns, Holger Hermanns, Michael Bungert

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

    7 Citations (Scopus)
    16 Downloads (Pure)

    Abstract

    Scenario-aware dataflow is a formalism to model modern dynamic embedded applications whose behaviour is heavily dependent on input data or the operational environment. Key behavioural aspects are the execution times and energy consumption of a system's components. In this paper, we introduce flexible scenario-aware dataflow: a proper generalisation of previous definitions that allows any execution time to be specified as discretely or continuously random or nondeterministic. Additionally, it supports the modelling of abstract costs like the energy usage of components. We give a formal compositional semantics in terms of networks of stochastic timed automata. We have implemented support for analysing performance properties of flexible scenario-aware dataflow graphs via simulation and model checking. A number of reduction techniques are applied to make the underlying state spaces tractable for model checking. We evaluate the scalability and performance of our new model and implementation on standard benchmarks.
    Original languageEnglish
    Title of host publicationProceedings of the 13th International Conference on Embedded Software (EMSOFT 2016)
    Place of PublicationNew York
    PublisherAssociation for Computing Machinery (ACM)
    Number of pages10
    ISBN (Print)978-1-4503-4485-2
    DOIs
    Publication statusPublished - Oct 2016
    Event13th International Conference on Embedded Software (EMSOFT 2016), Pittsburgh, Pennsylvania, USA: Proceedings of the 13th International Conference on Embedded Software (EMSOFT 2016) - New York
    Duration: 1 Oct 2016 → …

    Publication series

    Name
    PublisherACM

    Conference

    Conference13th International Conference on Embedded Software (EMSOFT 2016), Pittsburgh, Pennsylvania, USA
    CityNew York
    Period1/10/16 → …

    Keywords

    • EWI-27540
    • METIS-320923
    • IR-103038

    Fingerprint

    Dive into the research topics of 'Flexible support for time and costs in scenario-aware dataflow'. Together they form a unique fingerprint.

    Cite this