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