Contents

• 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

[][]