An open framework for rapid prototyping of signal processing applications
EURASIP Journal on Embedded Systems - Special issue on design and architectures for signal and image processing
Performance model checking scenario-aware dataflow
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Model checking of scenario-aware dataflow with CADP
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Hi-index | 0.00 |
Dataflow models are often used for analysing streaming applications. The recently introduced scenario-aware extension of the synchronous dataflow model can capture the dynamism in computation and communication resource requirements of streaming applications that originates from different modes of operation (scenarios). This scenario-aware dataflow model uses a probabilistic approach to express the order in which scenarios (and different execution times within a scenario) occur. This paper discusses a tool for exhaustive and simulation-based analysis of various important performance metrics for scenario-aware streaming applications.