A simulator for hierarchical state machines that lets you empirically test your system behaviour and then take the model and use it to generate the end use code.

I built it specifically for use in designing complex burner management systems sequencing for the LiOH plant we design, but I made it general enough you can use it for any sequenced system, or even business process.

Bonus, built in OPC server so it can bolt on to a HMI for testing/training, or bolt it onto an existing running system inputs in parallel to shadow an existing system with your proposed cut-over system.

For the v-model, when implementing IEC61508 or 61511, it means that now effectively the specification is the product and the v is very shallow.