Scenarios in Dataflow Modeling and Analysis

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

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

Cited by 2 publications

(13 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…SDFGs can be used to reason about the temporal behavior of the system, such as minimum guaranteed throughput and maximum latency. Generally, three classes of analysis techniques can be distinguished: (1) cycle-ratio analysis on a homogeneous SDFG or a variant of it, for instance Kperiodic schedule graphs [8], (2) state-space-based approaches, for instance [9], and (3) techniques based on the max-plus semantics of an SDFG [10]. Each of the techniques has advantages and disadvantages; see [8,9] for some comparisons.…”

Section: Introductionmentioning

confidence: 99%

“…Each of the techniques has advantages and disadvantages; see [8,9] for some comparisons. One important advantage of having the max-plus semantics of an SDFG is that this semantics serves as the basis for a variety of performance analysis techniques (see [10]).…”

Section: Introductionmentioning

confidence: 99%

“…We therefore focus on computing the max-plus semantics of SDFGs for timing analysis. Symbolic simulation of one iteration of the graph [10,11] is the standard method for this. Streaming systems are, however, becoming increasingly complex.…”

Section: Introductionmentioning

confidence: 99%

“…Contribution: This work combines the compositionality concept for multi-rate max-plus-linear systems of [12] with the concept of symbolic simulation of [10,11] to compute the max-plus semantics of an SDFG according to a composition sequence of sub-SDFGs. A composition sequence uniquely determines both a decomposition and an order of compositions.…”

Section: Introductionmentioning

confidence: 99%

“…Related work: The most directly related work that addresses the problem of this paper, computation of the maxplus semantics of SDFGs for timing analysis of streaming systems, is the work of [10,11]. Ref [11] obtains the maxplus semantics of SDFGs without inputs and outputs capturing external dependencies through symbolic simulation of one iteration of the SDFG.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Efficient Computation of the Max-Plus Semantics of Synchronous Dataflow Graphs

Elahi

Geilen

Basten

2023

IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.

Self Cite

View full text Add to dashboard Cite

published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.• Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal.If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the "Taverne" license above, please follow below link for the End User

show abstract

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Efficient Computation of the Max-Plus Semantics of Synchronous Dataflow Graphs

Elahi

Geilen

Basten

2023

IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.

Self Cite

View full text Add to dashboard Cite

show abstract

Modeling and analysis of switching max-plus linear systems with discrete-event feedback

Mohamadkhani,

Geilen,

Voeten

et al. 2023

Discrete Event Dyn Syst

View full text Add to dashboard Cite

Switching max-plus linear system (SMPLS) models are an apt formalism for performance analysis of discrete-event systems. SMPLS analysis is more scalable than analysis through other formalisms such as timed automata, because SMPLS abstract pieces of determinate concurrent system behavior into atomic modes with fixed timing. We consider discrete-event systems that are decomposed into a plant and a Supervisory Controller (SC) that controls the plant. The SC needs to react to events, concerning e.g. the successful completion or failure of an action, to determine the future behavior of the system, for example, to initiate a retrial of the action. To specify and analyze such system behavior and the impact of feedback on timing properties, we introduce an extension to SMPLS with discrete-event feedback. In this extension, we model the plant behavior with system modes and capture the timing of discrete-event feedback emission from plant to SC in the mode matrices. Furthermore, we use I/O automata to capture how the SC responds to discrete-event feedback with corresponding mode sequences of the SMPLS. We define the semantics of SMPLS with events using new state-space equations that are akin to classical SMPLS with dynamic state-vector sizes. To analyze the extended models, we formulate a transformation from SMPLS with events to classical SMPLS with equivalent semantics and properties such that performance properties can be analyzed using existing techniques. Our approach enables the specification of discrete-event feedback from the plant to the SC and its performance analysis. We demonstrate our approach by specifying and analyzing the makespan of a flexible manufacturing system.

show abstract

Scenarios in Dataflow Modeling and Analysis

Cited by 2 publications

References 30 publications

Efficient Computation of the Max-Plus Semantics of Synchronous Dataflow Graphs

Efficient Computation of the Max-Plus Semantics of Synchronous Dataflow Graphs

Modeling and analysis of switching max-plus linear systems with discrete-event feedback

Contact Info

Product

Resources

About