Scenarios in dataflow modeling and analysis

Marc C.W. Geilen, Mladen Skelin, J. Reinier van Kampenhout, Hadi Alizadeh Ara, Twan Basten, Sander Stuijk, Kees G.W. Goossens

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Abstract

Dataflow models can be used to model and program concurrent systems and applications. Static timed dataflow models commonly abstract the temporal behavior of systems in terms of their worst-case behaviors. This may lead to models that are very pessimistic. The scenario methodology can be applied to the dataflow modeling approach to group similar dynamic behaviors into static dataflow behaviors that abstract the system scenarios in a tight fashion. Constraints on the possible scenario transitions in the system can be modeled, among other options, by a finite state automaton. This approach leads to a model called scenario-aware dataflow (SADF) that is presented in this chapter. We introduce the model and its semantics and discuss its fundamental analysis techniques. We discuss a parameterized extension and its analysis. We discuss a dataflow programming model and its implementation challenges. We give an overview of refined analysis techniques and run-time exploitation possibilities of SADF.
Original languageEnglish
Title of host publicationSystem-Scenario-based Design Principles and Applications
EditorsFrancky Catthoor, Twan Basten, Nikolaos Zompakis, Marc Geilen, Per Gunnar Kjeldsberg
Place of PublicationCham
PublisherSpringer
Pages145-180
Number of pages36
ISBN (Electronic)9783030203436
ISBN (Print)9783030203429
DOIs
Publication statusPublished - 16 Oct 2019

Fingerprint Dive into the research topics of 'Scenarios in dataflow modeling and analysis'. Together they form a unique fingerprint.

Cite this