Moddy Discrete Event Simulator
2.0
Contents:
Introduction
Quick Start
Detailed User Guide
Core Simulator
Modelling with Finite State Machines
Sequential Program Simulation
Model Checking
Visualisation
Tutorials
API Reference
Installation
Developer Guide
Porting from Moddy 1 to 2
Moddy Discrete Event Simulator
Docs
»
Detailed User Guide
View page source
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