Command-Line Reference Guide
The SADF features of SDF3 are implemented in several different tools:
- sdf3transform-sadf
- sdf3verify-sadf
- sdf3analyze-sadf
- sdf3print-sadf
- sdf3convert-sdf-sadf
- sdf3convert-csdf-sadf
- sdf3convert-sadf-sdf
- sdf3convert-sadf-csdf
- sdf3convert-sadf-fsmsadf
Select a tool to view its command-line syntax
sdf3convert-sadf-fsmsadf
This tool converts the XML specification of SADF graph as defined in sdf3-sadf.xsd into the XML specification of an FSM-based SADF graph according to the following command-line syntax:
sdf3convert-sadf-fsmsadf --graph <graphfile> [--output <resultfile>]
The --graph argument is mandatory and indicates the XML file <graphfile> that specifies an SADF graph according to sdf3-sadf.xsd. The --output argument is optional and denotes the file <resultfile> following the XML format for FSM-based SADF graphs. Notice that this conversion will only be successful in case the original SADF graph is strongly consistent and includes at most one detector such that the execution times for all (sub)scenarios are fixed.