Performance Model Checking Scenario-Aware Dataflow

  title={Performance Model Checking Scenario-Aware Dataflow},
  author={Bart D. Theelen and Marc Geilen and Jeroen Voeten},
Dataflow formalisms are useful for specifying signal processing and streaming applications. To adequately capture the dynamic aspects of modern applications, the formalism of Scenario-Aware Dataflow (SADF) was recently introduced, which allows analysis of worst/best-case and average-case performance across different modes of operation (scenarios). The semantic model of SADF integrates non-deterministic and discrete probabilistic behaviour with generic discrete time distributions. This… CONTINUE READING
9 Citations
33 References
Similar Papers


Publications citing this paper.
Showing 1-9 of 9 extracted citations


Publications referenced by this paper.
Showing 1-10 of 33 references

Embedded Multiprocessors; Scheduling and Synchronization

  • S. Siram, S. S. Bhattacharyya
  • Second Edition, CRC Press,
  • 2009
2 Excerpts

Similar Papers

Loading similar papers…