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

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.