Eu implementei uma máquina de estado complexa com várias transições de estado para um sistema SIL 4 de segurança. A espinha dorsal dessa implementação foi feita usando ponteiros de função. Quando tudo estava navegando sem problemas, o V&V se opôs ao uso de indicadores de função em um sistema SIL 4. Referência-Regra 9 NASA.Misra C 2004, no entanto, não diz que indicadores de função não possam ser usados.

Existe alguma outra maneira de implementar máquinas de estado complexas sem ponteiros de função?