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

07.16.2019

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 inteligencia artificial, que impulsa una explosión tanto en la complejidad del diseño como en el código fuente”, dijo Miroslaw Zielinski, Gerente de Producto de Parasoft. "Las pautas de codificación como MISRA y AUTOSAR son esenciales en el desarrollo de estos sistemas avanzados críticos para la seguridad, para ayudar a los equipos a eliminar de manera eficiente las construcciones de código de riesgo que conducen a un comportamiento de programa impredecible, peligros de 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 hacer frente a la creciente complejidad de los diseños de sistemas de software”, explicó Zielinski. “Es fundamental que las pautas de codificación se mantengan al día con la evolución del lenguaje, para permitir a los equipos construir de forma segura funcionalidades de vanguardia. Estamos entusiasmados de unirnos a MISRA y contribuir con nuestra experiencia en el cumplimiento de estándares de codificación y lenguajes C / C ++ para preparar la nueva edición de las pautas para los desafíos del futuro emocionante ".

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.