Mathematical foundation of simulation tools

• Simulink:
  • obvious mathematical description of many blocks
  • but not always (e. g. Rate Transition)
• Stateflow:
  • operational and denotational semantics (Hamon, Rushby)
  • formal verification of complex Stateflow+Simulink models (Zhan et al)
• SimEvents:
  • since version 5 based on a unifying theoretical description SEES
  • similar, but different to PDEVS
  • formal description of components not openly documented
• Arena:
  • based on SIMAN language
  • part of SIMAN formulated in PDEVS