CIF simulator

The CIF 3 simulator can be used to explore the state space of CIF specifications, either interactively, or using a more automated approach. Powerful visualization features allow for interactive visualization-based validation of the CIF specification.

Options

• Essential
• Complete
• Detailed explanation

Basics

• Supported specifications
• Starting the simulator
• Terminating the simulator
  • Initialization failure
  • Deadlock
  • Simulation end time
  • Runtime error
  • User-requested termination
    • Interactive console input
    • Interactive GUI input
    • Applications view
    • Console termination button
    • Closing last real-time visualizer
• Simulation of traces
  • State
  • State space
  • Traces
  • Simulation
  • Validation

Input

• Overview
• Interactive console input mode
  • Choosing a transition to take
  • Choosing a time transition duration
  • Choosing between termination or going back
  • Semi-automatic mode
• Interactive GUI input mode
  • Layout
  • Availability
  • Buttons
  • Styling
  • Labels
  • Choosing an event transition
  • Choosing a time transition and duration
  • Choosing to reset the simulation
  • Choosing to undo some transitions
  • Semi-automatic mode
  • Termination
• Automatic input mode
  • Automatic mode choice algorithm option
  • Automatic mode time transition duration option
  • Limitations
  • Undo/reset
• Semi-automatic mode
• State history
  • Enabling history
  • State stack
  • Stack size
  • Availability
  • Requests
  • Semi-automatic mode

• SVG input

Output

• Console output
• Print output
  • Quick example
  • Documentation
• Trajectory data output
  • Filtering
  • Output
  • Prettifying
  • Undo/reset
• Plot visualizer
  • Variables
  • Filtering
  • Multiple plot visualizers
  • Plot visualization modes
  • Plot visualization range
  • Data points
  • Relation to trajectory data output
  • Saving a plot image
  • Undo/reset
• State visualizer
  • Contents
  • Icons and legend
  • Filtering
  • Multiple state visualizers
  • Undo/reset

• SVG output

ODE solving

• Overview
• Basics of numeric integration
  • Linear ODE
  • Nonlinear ODE
  • Discontinuities
• Basics of numeric root finding
• Problems with root finding
  • The problem
  • Solution 1: maximum check interval
  • Solution 2: splitting the guard

Miscellaneous

• Environment events
• Real-time simulation
• Stochastic distributions

Advanced

• Simulation performance
  • Closing the simulator
  • Slow starting of the simulator
  • Slow termination of the simulator
  • Value simplification
  • Simulation options
• Java compiler