Automated extraction of scenario sequences from disciplined dataflow networks
Analysing deadlock-freedom, boundedness and realtime constraints are crucial steps in the design of embedded streaming applications. Dataflow models of computation are often used to analyse such properties at design-time. To that end, scenario-based dataflow techniques isolate the individual operating scenarios of a dynamic application and analyse the executions of the possible scenario sequences.
