Conformidad de software ISO 26262 en la industria automotriz

Cumplimiento de AUTOSAR C++14

AUTOSAR C++14 no proporciona una guía explícita sobre el proceso para lograr el cumplimiento. Sin embargo, dado que las pautas de AUTOSAR C++ 14 se basan en MISRA C++ 2008, es razonable consultar las pautas de cumplimiento de MISRA para obtener orientación sobre cómo lograr el cumplimiento.

La situación deseada es contar con una herramienta de análisis estático que cubra la mayor cantidad posible de pautas. Las reglas que no se puedan aplicar con el análisis estático requerirán revisiones manuales, que son costosas.

Al igual que con el cumplimiento de la MISRA C, es necesario establecer un procedimiento de gestión de desviaciones. El procedimiento de desviaciones formaliza los pasos que se deben seguir cuando el desarrollo debe desviarse de una directriz específica. Como prescribe la MISRA, se espera que "... el procedimiento se base en obtener una aprobación para cada desviación o clase de desviación".

Esta es una parte particularmente importante del rompecabezas. Evita que los desarrolladores abusen del concepto de desviación a su antojo. En efecto, necesitará tickets formales almacenados en su sistema que documenten cada desviación en el código fuente. Lo mismo se aplica a la matriz de cumplimiento y a cualquier configuración adicional y descripción de procesos creada para hacer cumplir el cumplimiento. MISRA C++2008 es realmente claro en este punto y requiere “formalización dentro del sistema de calidad”.

Finalmente, si todos los procedimientos descritos en MISRA C++ 2008 punto 4.3 están implementados para AUTOSAR C++14, podemos afirmar el cumplimiento demostrando:

• Se ha completado una matriz de cumplimiento que muestra cómo se ha aplicado el cumplimiento.
• Todo el código C++ del producto cumple con las normas del documento AUTOSAR C++ 14. En caso contrario, se documentan las desviaciones.
• Se mantiene una lista de todos los casos en que no se siguen las reglas y para cada caso hay una desviación debidamente aprobada.

Soporte para AUTOSAR C ++ 14 en la prueba Parasoft C / C ++

La única forma práctica de hacer cumplir el cumplimiento de un estándar de codificación como AUTOSAR C++14 es con una herramienta de análisis estático, como Parasoft C/C++test, una herramienta de calidad de código que admite múltiples tecnologías de prueba. La compatibilidad de Parasoft C/C++test con AUTOSAR C++14 proporciona un conjunto de comprobadores integrados (reglas) para verificar el cumplimiento de estándares como MISRA C 2023, MISRA C++ 2023, MISRA C 2012, MISRA C++ 2008, JSF AV C++, SEI CERT C/C++, HIC++, CWE Top 25, CWE On the Cusp, OWASP y más.

Los paquetes de cumplimiento de Parasoft brindan a los usuarios configuraciones específicas estándar, generación automática de documentación de cumplimiento, marco de evaluación de riesgos y paneles de informes de cumplimiento dinámicos (DTP) para ayudar a las partes interesadas a agregar, correlacionar y aplicar análisis fácilmente para centralizar los informes de cada paso a lo largo de la compleja cadena de suministro de software.

Con una cobertura del 100 % de las reglas obligatorias y automatizadas, el conjunto de herramientas de prueba de Parasoft garantiza el cumplimiento de AUTOSAR durante todo el ciclo de vida del desarrollo de software, mejora la calidad del código y reduce los costos asociados con los recursos y el tiempo de comercialización.