The formal semantics of SADF makes streaming applications expressed as an SADF graph amenable to rigorous analysis. Such analysis can be performed with the SADF functionality of SDF3 tool, which is freely available from the Download page.

The SADF functionality of the SDF3 tool includes the following features:

• Transformation of the structure or behavioural properties of an SADF graph
• Formal verification of qualitative properties related to the structure or behaviour like connectedness and ergodicity
• Analysis of performance metrics of various types, including extrema, reachability and long-run properties
• Visualisation and documentation using graphical representations and traditional file formats
• Simulation-based analysis as an alternative to the state-space based techniques for formal verification and performance analysis
• Conversion of the XML specification of an SADF graph to other XML formats