Efficient Computation of Buffer Capacities for Cyclo-Static Real-Time Systems with Back-Pressure

Wiggers, Maarten H.; Bekooij, Marco; Jansen, P.G.; Smit, Gerard J. M.

doi:10.1109/rtas.2007.12

Cited by 33 publications

(61 citation statements)

References 19 publications

(33 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The application is taken from [7] in which a SDF model of the application is presented. We take a part of the model to illustrate the effect of a latency constraint on the temporal analysis results that can be obtained using a (σ, ρ) workload characterization.…”

Section: B Audio Echo Cancellation Applicationmentioning

confidence: 99%

“…The AEC task is modeled with a (σ, ρ) workload characterization where AEC 0 and AEC 1 have firing durations equal to σ−ρ and ρ respectively. In [7] the worst-case response time of the AEC task is determined to be 9.091ms. The AEC task also has an algorithmic delay of 6ms caused by its 48 taps filter.…”

Section: B Audio Echo Cancellation Applicationmentioning

confidence: 99%

“…Such a simple workload characterization can result in a large difference between the computed minimum throughput and the actual throughput if there is large difference between the WCETs and the average execution time of the tasks. The same holds for tasks modeled as a Cyclo-Static Dataflow (CSDF) [6], [7] actor which uses only one parameter per phase.…”

Section: Introductionmentioning

confidence: 98%

See 2 more Smart Citations

Two parameter workload characterization for improved dataflow analysis accuracy

Hausmans

Geuns

Wiggers

et al. 2013

2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)

View full text Add to dashboard Cite

Abstract-Real-time stream processing applications, such as radios, can often be modeled intuitively with dataflow models. Given the Worst-Case Execution Times (WCETs) of the tasks, which characterizes workload with one parameter, dataflow analysis techniques have been used to compute the minimum throughput and maximum latency of these applications. However, a large difference between the WCETs of the tasks and their average execution times can result in a large difference between the computed worst-case throughput and the actual obtained throughput.To reduce the difference between the worst-case throughput, determined by analysis, and the actual obtained throughput, we introduce in this paper a two parameter (σ, ρ) workload characterization of the tasks to improve the accuracy of dataflow analysis. The (σ, ρ) workload characterization captures information on the maximum cumulative execution time of consecutive executions of a task and can therefore be seen as a generalization of the WCET characterization.We show how the (σ, ρ) workload characterization can be used in combination with several types of dataflow graphs and how it can be used to improve the temporal analysis results of real-time stream processing applications. We illustrate this for a DVB-T radio application, a car-radio application and a data-dependent MP3 playback application.

show abstract

Section: B Audio Echo Cancellation Applicationmentioning

confidence: 99%

Section: B Audio Echo Cancellation Applicationmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 98%

See 1 more Smart Citation

Two parameter workload characterization for improved dataflow analysis accuracy

Hausmans

Geuns

Wiggers

et al. 2013

2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)

View full text Add to dashboard Cite

show abstract

“…Let us consider a car-radio application described in [25]. The inputs of such systems are basically a MP3-reader and a cell phone.…”

Section: A Descriptionmentioning

confidence: 99%

“…In [25], the whole circuit is not considered. However, the computed capacities for buffer (p 3 , p ′ 3 ) c is 158, which is not minimum.…”

Section: Application To the Car-radiomentioning

confidence: 99%

A new approach for minimizing buffer capacities with throughput constraint for embedded system design

Benazouz

Marchetti

Munier-Kordon

et al. 2010

ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010

View full text Add to dashboard Cite

Abstract-The design of streaming (e.g. multimedia or network packet processing) applications must consider several optimizations such as the mimimization of the whole surface of the memory needed on a Chip. The minimum throughput of the output is usually fixed. In this paper, we present an original methodology to solve this problem.The application is modelled using a Marked Timed Weighted Event Graphs (in short MTWEG), which is a subclass of Petri nets. Transitions correspond to specific treatments and the places model buffers for data transfers. It is assumed that transitions are periodically fired with a fixed throughput.The problem is first mathematically modelled using an Integer Linear Program. We then study for a unique buffer the optimum throughput according to the capacity. A first polynomial simple algorithm computing the minimum surface for a fixed throughput is derived when there is no circuit in the initial MTWEG, which corresponds to a wide class of applications. We prove in this case that the capacities of every buffer may be optimized independently.For general MTWEG, the problem is NP-Hard and an original polynomial 2-approximation algorithm is presented. For practical applications, the solution computed is very close to the optimum.

show abstract

On-Chip Interconnect with aelite

Hansson¹,

Goossens²

2011

Embedded Systems

View full text Add to dashboard Cite

Efficient Computation of Buffer Capacities for Cyclo-Static Real-Time Systems with Back-Pressure

Cited by 33 publications

References 19 publications

Two parameter workload characterization for improved dataflow analysis accuracy

Two parameter workload characterization for improved dataflow analysis accuracy

A new approach for minimizing buffer capacities with throughput constraint for embedded system design

On-Chip Interconnect with aelite

Contact Info

Product

Resources

About