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

    6 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

    Publication series

    Name
    PublisherACM

    Fingerprint

    Model checking
    Scalability
    Costs
    Dynamic models
    Energy utilization
    Semantics

    Keywords

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

    Cite this

    Hartmanns, A., Hermanns, H., & Bungert, M. (2016). Flexible support for time and costs in scenario-aware dataflow. In Proceedings of the 13th International Conference on Embedded Software (EMSOFT 2016) New York: Association for Computing Machinery (ACM). https://doi.org/10.1145/2968478.2968496
    Hartmanns, Arnd ; Hermanns, Holger ; Bungert, Michael. / Flexible support for time and costs in scenario-aware dataflow. Proceedings of the 13th International Conference on Embedded Software (EMSOFT 2016). New York : Association for Computing Machinery (ACM), 2016.
    @inproceedings{bf09efd879274c499dbcd762cc510517,
    title = "Flexible support for time and costs in scenario-aware dataflow",
    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.",
    keywords = "EWI-27540, METIS-320923, IR-103038",
    author = "Arnd Hartmanns and Holger Hermanns and Michael Bungert",
    note = "eemcs-eprint-27540",
    year = "2016",
    month = "10",
    doi = "10.1145/2968478.2968496",
    language = "English",
    isbn = "978-1-4503-4485-2",
    publisher = "Association for Computing Machinery (ACM)",
    booktitle = "Proceedings of the 13th International Conference on Embedded Software (EMSOFT 2016)",
    address = "United States",

    }

    Hartmanns, A, Hermanns, H & Bungert, M 2016, Flexible support for time and costs in scenario-aware dataflow. in Proceedings of the 13th International Conference on Embedded Software (EMSOFT 2016). Association for Computing Machinery (ACM), New York. https://doi.org/10.1145/2968478.2968496

    Flexible support for time and costs in scenario-aware dataflow. / Hartmanns, Arnd; Hermanns, Holger; Bungert, Michael.

    Proceedings of the 13th International Conference on Embedded Software (EMSOFT 2016). New York : Association for Computing Machinery (ACM), 2016.

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

    TY - GEN

    T1 - Flexible support for time and costs in scenario-aware dataflow

    AU - Hartmanns, Arnd

    AU - Hermanns, Holger

    AU - Bungert, Michael

    N1 - eemcs-eprint-27540

    PY - 2016/10

    Y1 - 2016/10

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

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

    KW - EWI-27540

    KW - METIS-320923

    KW - IR-103038

    U2 - 10.1145/2968478.2968496

    DO - 10.1145/2968478.2968496

    M3 - Conference contribution

    SN - 978-1-4503-4485-2

    BT - Proceedings of the 13th International Conference on Embedded Software (EMSOFT 2016)

    PB - Association for Computing Machinery (ACM)

    CY - New York

    ER -

    Hartmanns A, Hermanns H, Bungert M. Flexible support for time and costs in scenario-aware dataflow. In Proceedings of the 13th International Conference on Embedded Software (EMSOFT 2016). New York: Association for Computing Machinery (ACM). 2016 https://doi.org/10.1145/2968478.2968496