Tools
SONCraft
SONCraft is an open source tool for Structured Occurrence Nets (SONs) simulation, verification and analysis. The tool is implemented as a plugin within Workcraft - a framework for development of Interpreted Graph Models. The present version of SONCraft deals with three of the various types of abstractions that have been defined for SONs, namely Communication abstractions, Behavioural abstractions and Temporal abstractions.
The features added in SONCraft with respect to the Workcraft framework comprise:
- Visual editing
- Simulation
- Model structural verification
- Reachability checking
- Error tracing
- Time information
- Time consistency and estimation
- Alternative behaviors
Download links are on the Workcraft homepage, or Github repository. An online user guide can be found here. A tool tutorial is available at here.
SONCraft is a freely-available open-source code, distributed under the terms of the MIT License.
xMAScraft
xMAScraft is a tool for analysis and verification of communication fabrics based on xMAS circuit models. xMAS models are created using communication primitives including GALS synchronisers that can be glued together to form circuits. After an xMAS circuit has been constructed, it can be converted into a Petri net that is passed to an external tool for verification. The verification proceeds by unfolding the Petri net to a SON followed by deadlock analysis and querying.
The features in xMAScraft inside the Workcraft framework comprise:
- Visual xMAS editing
- Simulation
- GALS configuration
- Verification
- Deadlock analysis
- Querying
Download links are on the Workcraft homepage. An online user guide can be found here. A tool tutorial is available here.