La arquitectura del sistema podría describirse de manera clara y sin ambigüedades mediante un modelo de sistema descriptivo durante el diseño a nivel de sistema de productos mecatrónicos. Sin embargo, para la verificación del sistema, es necesario integrar las herramientas de modelado del sistema y las herramientas de simulación para el análisis. La mayoría de los métodos de integración existentes se centran en la integración en la fase de arquitectura física del modelo del sistema. En este artículo se propone un marco de integración de modelos que puede integrar la simulación en la fase de arquitectura lógica de todo el modelo para la verificación sincrónica del modelo. En el proceso de integración, se emplea un método de Modelo-a-Texto para la extracción de información y la transformación del modelo del modelo SysML al modelo de simulación. El modelo del sistema puede transformarse reutilizando y actualizando el modelo de simulación generado a través del marco para la verificación del modelo. Se construye un marco con el modelo Simulink como objetivo de transformación como ejemplo en este artículo, y la capacidad de este marco se verifica mediante un proceso de diseño de un robot cuadrúpedo. El resultado muestra que este marco puede realizar el paradigma de diseño del sistema de integrar la verificación del sistema para toda la arquitectura lógica, lo que puede mejorar la eficiencia del diseño y proporcionar una referencia para otros trabajos de diseño e integración de sistemas.