Next:
Contents
Contents
SVM & SCC TUTORIAL
Thomas Huining Feng
Other formats:
.tar.gz
,
.pdf
Contents
1. INTRODUCTION
1.1 Overview of DCharts
1.1.1 Transition Priorities
1.1.2 Importation
1.1.3 Macros and Importation Parameters
1.2 Overview of SVM
1.3 Overview of SCC
1.4 License
2. SIMULATION IN SVM WITH EXAMPLES
2.1 System Requirements
2.2 Installation
2.3
HelloWorld
Example
2.4 SVM Command-line Parameters
2.5 More Examples
2.5.1 An example of macros
2.5.2 An example of history states
2.5.3 An example of orthogonal components
2.5.4 An example of enter/exit actions
2.5.5 An example of guards
2.5.6 An example of an initializer and a finalizer
2.5.7 An example of timed transition
2.5.8 An example of importation
2.5.9 An example of recursive importation
2.5.10 An example of macro redefinition
2.5.11 An example of ITF and OTF transition priorities
2.5.12 An example of priority numbers
2.5.13 An example of event parameters
2.5.14 An example of model-specific interface
3. CODE SYNTHESIS WITH SCC
3.1 SCC Command-line Parameters
3.2
HelloWorld
Example
3.2.1 Python code synthesis
3.2.2 C++ code synthesis
3.2.3 Java code synthesis
3.2.4 C# code synthesis
3.3 An example of model-specific interface
3.4 Reusing the Synthesized Code
4. SVM INTEGRATED WITH ATOM
5. DISTRIBUTED SIMULATION WITH SVM
5.1 PVM Requirement
5.2 SVMDNS Daemon
5.3 Distributed Simulation on Top of SVMDNS and PVM
5.4 Example
6. USING SVM AND SCC IN CYGWIN
6.1 Installing Cygwin
6.2 Installing PVM3
6.3 Installing Java SDK
6.4 Installing PyGame
Thomas Huining Feng
2004-04-05
