Conservative Abstraction of Dataflow Graphs

The dataflow model of computation provides useful semantics to model the behavior of real-time embedded systems. Dataflow graphs can be used to compute the performance applications running on a given platform. This document presents a framework to define a conservative abstract model of a given dataflow graph.