Las comunicaciones robustas, fiables y seguras son esenciales para la operación eficiente del ferrocarril y para mantener a los empleados y pasajeros a salvo. El Sistema de Comunicación Móvil del Futuro para Ferrocarriles (FRMCS) es un estándar global destinado a proporcionar aplicaciones de comunicación innovadoras, esenciales y de alto rendimiento en el transporte ferroviario. En comparación con el sistema de comunicación heredado (GSM-R), ofrece altas tasas de datos, ultra alta fiabilidad y baja latencia. La arquitectura del FRMCS también se beneficiará de la computación en la nube, siguiendo los principios del diseño de la red central nativa de la nube 5G basado en la Virtualización de Funciones de Red (NFV). En este documento, se presenta un enfoque para la gestión de aplicaciones FRMCS virtualizadas. Primero, se identifica la funcionalidad clave de gestión relacionada con la aplicación FRMCS virtualizada a partir de un análisis de los diferentes casos de uso. A continuación, esta funcionalidad se sintetiza como servicios RESTful. La comunicación entre la gestión de aplicaciones y los servicios se diseña como Interfaces de Programación de Aplicaciones (APIs). Las APIs se verifican formalmente modelando los estados de gestión de una instancia de aplicación FRMCS desde diferentes puntos de vista, y se demuestra matemáticamente que los modelos de estado de gestión están sincronizados en el tiempo. La latencia introducida por las APIs diseñadas, como un indicador clave de rendimiento, se evalúa a través de la emulación.