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

doi:10.1007/978-3-030-20343-6_8

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 proceeding › Chapter › Academic › peer-review

3 Citations (Scopus)

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 language	English
Title of host publication	System-Scenario-based Design Principles and Applications
Editors	Francky Catthoor, Twan Basten, Nikolaos Zompakis, Marc Geilen, Per Gunnar Kjeldsberg
Place of Publication	Cham
Publisher	Springer
Pages	145-180
Number of pages	36
ISBN (Electronic)	9783030203436
ISBN (Print)	9783030203429
DOIs	https://doi.org/10.1007/978-3-030-20343-6_8
Publication status	Published - 16 Oct 2019

Access to Document

10.1007/978-3-030-20343-6_8

Cite this

@inbook{032546925f3d4d7d88cd4b6815bcff2f,

title = "Scenarios in dataflow modeling and analysis",

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.",

author = "Geilen, {Marc C.W.} and Mladen Skelin and {van Kampenhout}, {J. Reinier} and Ara, {Hadi Alizadeh} and Twan Basten and Sander Stuijk and Goossens, {Kees G.W.}",

year = "2019",

month = oct,

day = "16",

doi = "10.1007/978-3-030-20343-6_8",

language = "English",

isbn = "9783030203429",

pages = "145--180",

editor = "Francky Catthoor and Twan Basten and Nikolaos Zompakis and Marc Geilen and Kjeldsberg, {Per Gunnar}",

booktitle = "System-Scenario-based Design Principles and Applications",

publisher = "Springer",

address = "Germany",

}

Scenarios in dataflow modeling and analysis. / Geilen, Marc C.W.; Skelin, Mladen; van Kampenhout, J. Reinier et al.
System-Scenario-based Design Principles and Applications. ed. / Francky Catthoor; Twan Basten; Nikolaos Zompakis; Marc Geilen; Per Gunnar Kjeldsberg. Cham: Springer, 2019. p. 145-180.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - Scenarios in dataflow modeling and analysis

AU - Geilen, Marc C.W.

AU - Skelin, Mladen

AU - van Kampenhout, J. Reinier

AU - Ara, Hadi Alizadeh

AU - Basten, Twan

AU - Stuijk, Sander

AU - Goossens, Kees G.W.

PY - 2019/10/16

Y1 - 2019/10/16

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

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

UR - http://www.scopus.com/inward/record.url?scp=85085409518&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-20343-6_8

DO - 10.1007/978-3-030-20343-6_8

M3 - Chapter

AN - SCOPUS:85085409518

SN - 9783030203429

SP - 145

EP - 180

BT - System-Scenario-based Design Principles and Applications

A2 - Catthoor, Francky

A2 - Basten, Twan

A2 - Zompakis, Nikolaos

A2 - Geilen, Marc

A2 - Kjeldsberg, Per Gunnar

PB - Springer

CY - Cham

ER -

Scenarios in dataflow modeling and analysis

Abstract

Access to Document

Other files and links

Fingerprint

Cite this