Detailed User Guide

Contents:

• Core Simulator
  • Initializing the Simulator
  • Simulation Time
  • Parts
  • Message Communication
  • Timers
  • Annotations
  • State Indications
  • Watching Variables
  • Running the Simulation
• Modelling with Finite State Machines
  • Specifying the FSM
  • Generating FSM Events
  • Action Callbacks
  • Nested FSMs
  • Modelling a Moddy Part with a Finite State Machine
• Sequential Program Simulation
  • Program Model
  • Communication between Moddy Programs and other Moddy Parts
  • Buffering Input Ports
  • System Calls for Sequential Programs
  • Concurrent Program Execution/RTOS Simulation
  • VSimpleProg and VThread
  • Remote Controlled vThreads
• Model Checking
  • Model Assertions
  • Model Monitors
• Visualisation
  • Sequence Diagram Generation
  • Structure Graph Generation
  • State Machine Graph Generation