¡Descubre GoogleTest, con certificación TÜV y la tecnología Agentic AI para pruebas de C/C++!
Obtenga los detalles »
ISO/PAS 8800:2024
La norma ISO/PAS 8800 introduce la primera especificación internacional para la seguridad de la IA en el sector automotriz. Parasoft ayuda a los fabricantes de equipos originales (OEM) y a los proveedores a integrar la norma ISO/PAS 8800 en un flujo de trabajo de ingeniería, automatizando la verificación, la validación y la trazabilidad necesarias para fundamentar la justificación de seguridad de los sistemas avanzados de asistencia al conductor (ADAS), los vehículos de desarrollo seguro (SDV) y el software autónomo.
La norma ISO/PAS 8800:2024, «Vehículos de carretera: seguridad e inteligencia artificial», es la primera especificación internacional para la seguridad funcional de la IA en vehículos de carretera de producción en serie. Define un marco para gestionar el riesgo de la IA a lo largo de todo el ciclo de desarrollo. La norma ISO/PAS 8800 no sustituye las normas que su equipo ya utiliza, sino que las complementa.
Parasoft automatiza la verificación, validación y trazabilidad que exige la norma ISO/PAS 8800 para el software crítico para la seguridad que se encuentra detrás de las funciones de los vehículos habilitadas para IA.
Seguridad en ingeniería para IA con ISO/PAS 8800
La IA introduce un nuevo tipo de riesgo que la seguridad funcional tradicional no está diseñada para detectar. La norma ISO 8800 proporciona a la industria automotriz un marco común para gestionarlo sin descartar las normas ISO 26262 ni SOTIF.
Un elemento de IA puede funcionar según lo previsto y aun así ser inseguro debido a una insuficiencia, es decir, si carece de los datos o la capacidad de generalización necesarios para manejar una situación, como por ejemplo un peatón parcialmente oculto.
La norma ISO/PAS 8800 amplía explícitamente las normas ISO 26262, ISO 21448 (SOTIF) e ISO/IEC 22989, añadiendo la capa de IA en lugar de sustituir las prácticas de seguridad.
La cobertura, el equilibrio y la exhaustividad de los casos extremos de los datos de entrenamiento se someten a un ciclo de vida de definición, verificación y validación.
No se puede demostrar que la IA sea completamente segura, por lo que se construye un argumento de seguridad defendible a partir de pruebas como la robustez, la cobertura, las medidas de seguridad arquitectónicas y la monitorización.
El trabajo no termina con el despliegue: la monitorización operativa, los datos de campo, la reevaluación periódica y las actualizaciones OTA controladas garantizan la seguridad de la IA durante toda la vida útil del vehículo.
La norma ISO/PAS 8800 no es una solución aislada. Se basa en los fundamentos de seguridad funcional y SOTIF, y añade una capa de garantía específica para la IA.
Extiende las normas ISO 26262 y SOTIF a la IA/ML, abordando la calidad de los datos, la robustez, el argumento de la garantía, la verificación y validación con conciencia de la IA y la monitorización operativa.
Aporta seguridad funcional a los sistemas eléctricos y electrónicos mediante la disciplina sistemática y de detección de fallos aleatorios que su equipo practica en cada nivel ASIL.
Garantiza la seguridad de la funcionalidad prevista al abordar las limitaciones de rendimiento y el uso indebido previsible de los sistemas de detección y toma de decisiones.
Gestiona la ciberseguridad del ciclo de vida del vehículo mediante el modelado de amenazas, la evaluación de riesgos y los controles de seguridad en los que se basa la garantía de IA de la norma ISO/PAS 8800.
La norma ISO/PAS 8800 hace hincapié en la identificación temprana de riesgos de IA mediante un enfoque de prevención anticipada. La suite para el sector automotriz de Parasoft verifica el software crítico para la seguridad que rodea a cada elemento de IA y genera evidencia conectada para respaldar el cumplimiento de la norma ISO/PAS 8800.
Detecta fallos de software tradicionales antes de que se conviertan en condiciones que activen la IA. Cobertura total de MISRA, AUTOSAR C++14 y CERT, además de los estándares de seguridad CWE y OWASP.
Cuando los resultados de la IA alimentan software crítico para la seguridad, compruebe que la lógica de control, las medidas de seguridad y los mecanismos de protección se comportan correctamente con GoogleTest, certificado por TÜV SÜD y respaldado por la cobertura de sentencias, bifurcaciones y MC/DC.
Validar los servicios conectados y las interfaces zonales/SDV de las que depende la IA, y simular las dependencias de la ECU y del backend para que las pruebas nunca dependan del hardware.
La trazabilidad bidireccional vincula los requisitos con los casos de prueba, los resultados y el código mediante paneles centralizados que generan la evidencia que respalda su argumento de garantía de calidad.
Los agentes de IA se conectan a datos de análisis estático, cobertura y estándares, corrigiendo de forma autónoma las infracciones, cerrando la cobertura y generando justificaciones que cumplen con los requisitos para mantenerse al día con el trabajo iterativo de seguridad de la IA.
“Parasoft se integra a la perfección en nuestro pipeline de CI/CD. Hemos incorporado la automatización de pruebas y el análisis estático de código desde las primeras etapas del ciclo de desarrollo, lo que supone un gran avance para el aseguramiento de la calidad en proyectos automotrices críticos para la seguridad.”
-Tecnologías Solero
Descubra cómo Parasoft automatiza la verificación, la validación y la trazabilidad que sustentan su caso de seguridad de IA para el sector automotriz, tanto en software de IA como en software tradicional.