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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Samenvatting

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.
Originele taal-2Engels
TitelSystem-Scenario-based Design Principles and Applications
RedacteurenFrancky Catthoor, Twan Basten, Nikolaos Zompakis, Marc Geilen, Per Gunnar Kjeldsberg
Plaats van productieCham
UitgeverijSpringer
Pagina's145-180
Aantal pagina's36
ISBN van elektronische versie9783030203436
ISBN van geprinte versie9783030203429
DOI's
StatusGepubliceerd - 16 okt 2019

Vingerafdruk Duik in de onderzoeksthema's van 'Scenarios in dataflow modeling and analysis'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Geilen, M. C. W., Skelin, M., van Kampenhout, J. R., Ara, H. A., Basten, T., Stuijk, S., & Goossens, K. G. W. (2019). Scenarios in dataflow modeling and analysis. In F. Catthoor, T. Basten, N. Zompakis, M. Geilen, & P. G. Kjeldsberg (editors), System-Scenario-based Design Principles and Applications (blz. 145-180). Springer. https://doi.org/10.1007/978-3-030-20343-6_8