Conversion of the XML Format
Sometimes it is useful to convert the XML specification of an SADF graph into another XML format before applying certain tools for dataflow models.
Converting SDF and CSDF Graphs into SADF Graphs
Tool | sdf3convert-sdf-sadf sdf3convert-csdf-sadf |
API | SDF2SADF() CSDF2SADF() |
---|---|
These tools convert the XML specification of SDF and CSDF graphs as defined in sdf3-sdf.xsd and sdf3-csdf.xsd respectively into the XML specification format for SADF graphs. This allows using the SADF functionality of SDF3 on (H)SDF and CSDF graphs. Notice however that SADF does not support auto-concurrency and hence, converting the XML specification of an (H)SDF or CSDF graph into the XML specification of an SADF graph implies loosing any auto-concurrency that might have been expressed in the (H)SDF or CSDF graph. Furthermore, a rather straightfoward conversion algroithm is applied for CSDF graphs, which does not minimise the required number of detectors.
Converting SADF Graphs into SDF Graphs
Tool | sdf3convert-sadf-sdf | API | SADF2SDF() |
---|---|
This feature converts the XML specification of an SADF graph, which actually represents an SDF graph, into the XML specification format for SDF graphs as defined in sdf3-sdf.xsd. It allows using the dedicated SDF functionality of SDF3 for such SADF graphs. To enable this conversion, a check on whether the original SADF graph indeed resembles an (H)SDF graph is also performed.
Converting SADF Graphs into CSDF Graphs
Tool | sdf3convert-sadf-csdf | API | SADF2CSDF() |
---|---|
This tool enables converting the XML specification of an SADF graph, which actually represents a CSDF graph, into the XML specification format for CSDF graphs as defined in sdf3-csdf.xsd. It allows using the dedicated CSDF functionality of SDF3 for such SADF graphs. To enable this conversion, it is first checked whether the original SADF graph resembles a CSDF graph under the condition of initial control tokens and hierarchical control being absent.
Abstracting SADF Graphs into FSM-based SADF Graphs
Tool | sdf3convert-sadf-fsmsadf | API | SADF2FSMSADF() |
---|---|
This tool enables to abstract a strongly consistent SADF graph with no more than one detector into an FSM-based SADF graph, in case the execution times are fixed integers in each scenario.