EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


27540 Flexible support for time and costs in scenario-aware dataflow
Home Policy Brochure Browse Search User Area Contact Help

Hartmanns, A. and Hermanns, H. and 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), 01-07 Oct 2016, Pittsburgh, Pennsylvania, USA. 3. ACM. ISBN 978-1-4503-4485-2

Full text available as:

PDF (Final accepted version)

301 Kb

Official URL: http://dx.doi.org/10.1145/2968478.2968496

Exported to Metis

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.

Item Type:Conference or Workshop Paper (Full Paper, Talk, Poster)
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-General
Research Project:3TU.BSR: Big Software on the Run
ID Code:27540
Status:Published
Deposited On:19 January 2017
Refereed:Yes
International:Yes
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item