El sistema ACC (control de crucero adaptativo) ha desarrollado rápidamente en los últimos años, y su fiabilidad y seguridad también han atraído mucha atención. El sistema ACC puede realizar la conducción automática siguiendo al vehículo en el rango longitudinal, y su fiabilidad está estrechamente relacionada con la sincronización entre dos vehículos. Combinado con métodos de modelado formal, este documento analiza y detecta la falla lógica que es una mala sincronización en el proceso de seguimiento del sistema ACC desde la perspectiva de la sincronización. Con el objetivo de evitar este tipo de falla lógica, este documento presenta una nueva solución de modelado optimizada basada en la teoría de sincronización de redes de Petri y mejora aún más el método de cálculo de la distancia sincrónica. Los resultados de la simulación reducen la acumulación de tokens en un promedio del 91.357%, lo que demuestra que el modelo mejorado puede mejorar efectivamente la fiabilidad y reducir el riesgo de colisión trasera.