La creciente complejidad y conectividad de los sistemas automotrices ha generado preocupaciones sobre su vulnerabilidad a brechas de seguridad. Como resultado, la integración de métodos formales y técnicas de validación se ha vuelto crucial para garantizar la seguridad de los sistemas automotrices. Este artículo de investigación tiene como objetivo proporcionar una visión general completa del estado actual de los métodos formales y técnicas de validación empleados en la industria automotriz para la seguridad de los sistemas. El artículo comienza discutiendo los desafíos asociados con la seguridad de los sistemas automotrices y las posibles consecuencias de las brechas de seguridad. Luego, explora varios métodos formales, como la verificación de modelos, la demostración de teoremas y la interpretación abstracta, que se han utilizado ampliamente para analizar y verificar las propiedades de seguridad de los sistemas automotrices. Además, la encuesta destaca las técnicas de validación empleadas para garantizar la efectividad de las medidas de seguridad, incluyendo pruebas de penetración, inyección de fallos y pruebas de fuzzing. Además, el artículo examina la integración de métodos formales y técnicas de validación dentro del ciclo de vida del desarrollo automotriz, incluyendo la ingeniería de requisitos, el diseño, la implementación y las fases de prueba. Se discuten los beneficios y limitaciones de estos enfoques, considerando factores como la escalabilidad, la eficiencia y la aplicabilidad a sistemas automotrices del mundo real. A través de una extensa revisión de la literatura relevante y estudios de caso, esta encuesta proporciona información sobre las tendencias actuales de investigación, los desafíos y las preguntas de investigación abiertas en el campo de los métodos formales y las técnicas de validación para la seguridad de los sistemas automotrices. Los hallazgos de esta encuesta pueden servir como un recurso valioso para investigadores, profesionales y responsables de políticas involucrados en el diseño, desarrollo y evaluación de sistemas automotrices seguros.