SVM, a DCharts simulator implemented in Python, is presented. It
accepts textual model descriptions and simulates them. Multiple types
of simulations, as well as real-time execution, are discussed in
detail with examples. Model verification is supported by means of
repeated simulations in SVM and rule-checking of the simulation traces
with extended regular expressions.
SCC is a tool to synthesize executable code from DCharts models. It
statically optimizes the models to achieve high run-time
performance. Multiple target languages are supported.
Applications of the DCharts formalism are studied, by means of the the above-mentioned tools. They demonstrate how DCharts are ready for practical use.