next up previous contents
Next: 1.1 Overview of DCharts Up: SVM & SCC TUTORIAL Previous: Contents   Contents


This document serves as a user manual for SVM (Statechart Virtual Machine) and SCC (StateChart Compiler) developed at the MSDL (Modeling, Simulation and Design Lab) of McGill University, Canada. SVM is a realtime simulator for DCharts (Design Charts), a formalism extended from David Harel's statecharts. SCC is a code synthesizer for DCharts.

For a detailed definition and description of the DCharts formalism and the general idea of SVM and SCC, the readers are referred to my master's thesis DCharts, a Formalism for Modeling and Simulation Based Design of Reactive Software Systems, finished under the supervision of Prof. Hans Vangheluwe at School of Computer Science, McGill University:

The online version of this document is available at:


Thomas Huining Feng