Welcome to Moddy Discrete Event Simulator’s documentation!

Note

Please find installation instructions under Installation!

• Index

Contents:

• Introduction
  • What is Moddy?
  • Why another Simulator?
• Quick Start
  • Model Structure
  • Model Behavior
  • Ports and Messages
  • Timers
  • Running Simulator
  • Generating the Sequence Diagram
• Detailed User Guide
  • Core Simulator
  • Modelling with Finite State Machines
  • Sequential Program Simulation
  • Model Checking
  • Visualisation
• Tutorials
  • Hello
  • Serial Gateway
  • Car Infotainment
  • Variable Watching
  • Lost Messages
  • Remote Controlled Threads
  • Multiple Output Ports bound to one Input Port
  • Hello Demo as a Sequential Program
• API Reference
  • Simulator Core API Reference
  • Virtual Thread Reference
  • Moddy Finite State Machines
  • Moddy Result Generator APIs
  • Library Reference
• Installation
  • Install Python
  • Installing GraphViz
  • Install Moddy
  • Test Moddy
  • Using Moddy with Eclipse
• Developer Guide
  • Running Test Suite
  • Updating the docs
• Porting from Moddy 1 to 2
  • No wildcard import
  • Rename all parameters to moddy APIs to snake_case
  • Rename all moddy methods to names to snake_case
  • Rename changed/moved moddy methods
  • Rename constants
  • Rename your message and timer callbacks
  • Rename to new class names
  • Rename your ports (optional)
  • Rename your state callbacks in FSMs
  • Rename message and timer callbacks in SimFsmParts
  • Rename your states in FSMs (optional)