Parasoft se une a los grupos de trabajo de MISRA C y C ++ para ayudar a desarrollar pautas para software de automoción y de seguridad crítica

Parasoft se une al comité MISRA para colaborar en el desarrollo de pautas de codificación integradas MISRA / AUTOSAR, aportando años de experiencia trabajando con los principales proveedores de software automotriz.

MONROVIA, California - Parasoft, líder mundial en pruebas de software automatizadas, anunció hoy que se ha unido a los grupos de trabajo MISRA C y MISRA C ++ para colaborar en el desarrollo de pautas de mejores prácticas para el desarrollo seguro de software automotriz y de seguridad crítica. Parasoft se une al grupo de trabajo de MISRA C ++ en un momento crítico, mientras trabajan para desarrollar un nuevo estándar de codificación MISRA / AUTOSAR C ++ integrado. Parasoft brinda a los principales proveedores de software automotriz de la industria la cobertura más amplia para los estándares MISRA y AUTOSAR, y unirse al comité continúa el compromiso de Parasoft de ayudar a los clientes a mantenerse a la vanguardia del panorama de amenazas en rápida evolución.

El comité de la Asociación de confiabilidad de software de la industria del motor (MISRA) proporciona pautas de codificación que se utilizan ampliamente en las industrias automotriz y de seguridad crítica para desarrollar software seguro y protegido. A principios de este año, los consorcios AUTOSAR y MISRA anunciaron la fusión de sus estándares, y el comité MISRA está trabajando actualmente para combinar los estándares de codificación AUTOSAR C ++ y MISRA C ++ en un único estándar industrial integral para que la industria lo aproveche.

«El software automotriz moderno incluye nuevas funcionalidades avanzadas, como la conducción autónoma basada en IA, lo que ha impulsado una explosión tanto en la complejidad del diseño como en el código fuente», afirmó Miroslaw Zielinski, gerente de producto de Parasoft. «Las guías de codificación como MISRA y AUTOSAR son esenciales para el desarrollo de estos sistemas avanzados de seguridad crítica, ya que ayudan a los equipos a eliminar de forma eficiente las construcciones de código riesgosas que conducen a un comportamiento impredecible del programa, peligros para la seguridad o vulnerabilidades de seguridad».

Herramientas de análisis estático de Parasoft Admite de manera integral muchas pautas de codificación además de MISRA, lo que brinda la mejor cobertura y precisión de su clase para verificadores de análisis estático centrados en el cumplimiento. Al unirse al comité de MISRA, Parasoft podrá compartir la experiencia recopilada con la industria y contribuir a la creación de un estándar completo y actualizado.

«En los últimos años, el lenguaje C++ ha evolucionado rápidamente para adaptarse a la creciente complejidad de los diseños de sistemas de software», explicó Zielinski. «Es fundamental que las guías de codificación se mantengan al día con la evolución del lenguaje para que los equipos puedan desarrollar funcionalidades de vanguardia de forma segura. Nos entusiasma unirnos a MISRA y aportar nuestra experiencia en el cumplimiento de estándares de codificación y en los lenguajes C/C++ para preparar la nueva edición de las guías y afrontar los retos del apasionante futuro».

Con más de 30 años de experiencia en la industria automotriz y crítica para la seguridad, Parasoft se ha asociado estrechamente con los clientes para implementar sólidos procesos de calidad de software y optimizar el cumplimiento y los informes. Parasoft C / C ++test está certificado por TÜV SÜD para seguridad funcional y proporciona una solución unificada e integrada para automatizar una amplia gama de mejores prácticas de prueba, que incluyen análisis estático, pruebas unitarias, análisis en tiempo de ejecución, pruebas de seguridad y análisis de cobertura. Al aprovechar la prueba de Parasoft C / C ++, los proveedores de software no tienen que combinar herramientas y proveedores para obtener una solución completa de calidad de código, y para los esfuerzos de cumplimiento, la calificación de la herramienta se simplifica al tener que calificar una sola herramienta.

Parasoft ofrece paquetes de cumplimiento con el conjunto de reglas empaquetado más extenso de estándares de codificación automotriz, de seguridad y protección en el mercado. Los paquetes de cumplimiento de Parasoft proporcionan los verificadores de análisis estático, las configuraciones de prueba y la documentación necesaria para lograr el cumplimiento de las pautas de codificación específicas de la industria, incluidas MISRA C, AUTOSAR C ++ 14, CERT C / C ++ y más. Los kits de calificación de Parasoft automatizan la mayor parte del tedioso trabajo manual necesario para calificar una herramienta y generar los informes finales necesarios para documentar el proceso de calificación de la herramienta. Los kits de calificación están disponibles para estándares que incluyen ISO 26262, IEC 61508 y DO 178.

«MISRA», «MISRA C» y el logotipo triangular son marcas registradas de The MISRA Consortium Limited. ©The MISRA Consortium Limited, 2021. Todos los derechos reservados.