Con la madurez gradual del sistema de operación de tren automático (ATO) en metros, su alcance de aplicación también se ha expandido al campo de los ferrocarriles de alta velocidad. Dado que el sistema ATO aún se encuentra en las primeras etapas de operación, tomará tiempo madurar completamente y aún no se han formado especificaciones definitivas de los requisitos para la operación del sistema. Este documento presenta el dominio de diseño operativo (ODD) del sistema ATO de ferrocarriles de alta velocidad y propone un método de análisis de escenarios basado en el dominio de diseño operativo para obtener las condiciones de entrada de los requisitos del sistema. El artículo modela y verifica el escenario del control de enlace de la puerta y la plataforma basado en las herramientas UPPAAL y extrae las condiciones de entrada y la salida esperada de los requisitos del sistema del sistema ATO del vehículo. Combinando las condiciones de entrada de los requisitos del sistema, se obtienen finalmente los requisitos del sistema del vehículo ATO en este escenario, lo que proporciona una referencia para la generación futura de especificaciones funcionales y la generación de casos de prueba.