He implementado una máquina de estado compleja con numerosas transiciones de estado para un sistema SIL 4 de seguridad. La columna vertebral para esta implementación se realizó utilizando punteros de función. Cuando todo estaba funcionando sin problemas, el V&V se opuso al uso de punteros de función en un sistema SIL 4. Referencia-Regla 9 NASASin embargo, Misra C 2004 no dice que no se puedan utilizar punteros de función.

¿Hay alguna otra forma de implementar máquinas de estado complejas sin ningún puntero de función?