Al sintetizar sistemas para enclavamientos ferroviarios, se recomienda utilizar modelos automatizados para implementar la lógica de automatización ferroviaria y unidades de control remoto. Las máquinas de estados finitos (FSM) se pueden implementar en cualquier componente de hardware. Al utilizar tecnología de relés, la seguridad funcional del enclavamiento eléctrico se logra utilizando relés no controlados (de seguridad) con un alto coeficiente de asimetría de fallas en los tipos 1 0 y 0 1. Al utilizar componentes programables, es necesario el uso de métodos de protección de respaldo y diversos. Este documento presenta un enfoque flexible para la síntesis de FSM para la automatización ferroviaria y unidades de control remoto que ofrecen control individual y basado en rutas. A diferencia de las soluciones existentes, esta propuesta considera los estados previos a la falla de la automatización ferroviaria y las unidades de control remoto durante la etapa de síntesis de la máquina de estados finitos. Esto permite la implementación de módulos de autochequeo y autodiagnóstico para gestionar las unidades de automatización. Al aumentar el número de estados para dispositivos individuales y considerar los estados de objetos interconectados, los grafos de transición pueden expandirse. Esta expansión permite la síntesis del grafo de transición del subsistema de control y otros sistemas. Los autores utilizaron una matriz de compuertas programable en campo (FPGA) para implementar una máquina de estados finitos. En este caso, la propuesta es codificar los estados de una máquina de estados finitos utilizando códigos de suma modular basados en pesos en el anillo de clase de residuos basado en un módulo dado. La mejor cobertura de errores que ocurren en las salidas del convertidor lógico en la estructura del FSM se puede garantizar seleccionando los coeficientes de ponderación y el valor del módulo. Este documento presenta un ejemplo de síntesis de un FSM basado en FPGA utilizando la codificación de estados a través de códigos de suma modular basados en pesos. Se modeló el funcionamiento del dispositivo sintetizado. Se encontró que opera de acuerdo con el mismo algoritmo que los dispositivos reales. Al sintetizar dispositivos de control de tren autochequeo y autocontrolados, se recomienda considerar las soluciones propuestas en este documento.