Parasoft rejoint les groupes de travail MISRA C et C ++ pour aider à développer des lignes directrices pour les logiciels automobiles et critiques pour la sécurité

Parasoft rejoint le comité MISRA pour collaborer au développement de directives de codage intégrées MISRA / AUTOSAR, apportant des années d'expérience de travail avec les meilleurs fournisseurs de logiciels automobiles

MONROVIA, Californie - Parasoft, le leader mondial des tests logiciels automatisés, a annoncé aujourd'hui avoir rejoint les groupes de travail MISRA C et MISRA C ++ pour collaborer au développement de directives de bonnes pratiques pour le développement sûr et sécurisé de logiciels automobiles et critiques pour la sécurité. Parasoft rejoint le groupe de travail MISRA C ++ à un moment critique, alors qu'ils travaillent au développement d'un nouveau standard de codage intégré MISRA / AUTOSAR C ++. Parasoft fournit aux principaux fournisseurs de logiciels automobiles du secteur la couverture la plus large pour les normes MISRA et AUTOSAR, et rejoindre le comité confirme l'engagement de Parasoft à aider ses clients à rester en avance sur le paysage des menaces en évolution rapide.

Le comité de la Motor Industry Software Reliability Association (MISRA) fournit des directives de codage largement utilisées dans les secteurs de l'automobile et de la sécurité pour développer des logiciels sûrs et sécurisés. Plus tôt cette année, les consortiums AUTOSAR et MISRA ont annoncé la fusion de leurs normes, et le comité MISRA travaille actuellement à combiner les normes de codage AUTOSAR C ++ et MISRA C ++ en une seule norme industrielle complète à exploiter.

"Modern automotive software includes new advanced functionalities, like AI-based autonomous driving, driving an explosion in both design complexity and source code," said Miroslaw Zielinski, Product Manager at Parasoft. "Coding guidelines like MISRA and AUTOSAR are essential in developing these advanced safety-critical systems, to help teams efficiently eliminate the risky code constructs that lead to unpredictable program behavior, safety hazards, or security vulnerabilities."

Les outils d'analyse statique de Parasoft prend en charge de manière complète de nombreuses directives de codage en plus de MISRA, offrant une couverture et une précision inégalées pour les vérificateurs d'analyse statique axés sur la conformité. En rejoignant le comité MISRA, Parasoft pourra partager l'expérience acquise avec l'industrie et contribuer à la création d'une norme complète et à jour.

"In the last few years, the C++ language has evolved rapidly to cope with the increasing complexity of software system designs," Zielinski explained. "It is critical that coding guidelines keep up with the language evolution, to enable teams to safely build cutting edge functionalities. We are excited to join MISRA and contribute our expertise in coding standards compliance and C/C++ languages to prepare the new edition of the guidelines for the challenges of the exciting future."

Avec plus de 30 ans d'expérience dans le secteur de l'automobile et de la sécurité, Parasoft a établi un partenariat étroit avec ses clients pour mettre en œuvre des processus de qualité logicielle solides et rationaliser la conformité et les rapports. Parasoft C / C ++test  est certifié par TÜV SÜD pour la sécurité fonctionnelle et fournit une solution unifiée et intégrée pour automatiser un large éventail de bonnes pratiques de test, y compris l'analyse statique, les tests unitaires, l'analyse d'exécution, les tests de sécurité et l'analyse de la couverture. En tirant parti du test Parasoft C / C ++, les fournisseurs de logiciels n'ont pas à combiner outils et fournisseurs pour obtenir une solution complète de qualité de code, et pour les efforts de conformité, la qualification des outils est simplifiée en n'ayant à qualifier qu'un seul outil.

Parasoft propose des packs de conformité avec l'ensemble de règles le plus complet de normes de codage pour l'automobile, la sûreté et la sécurité du marché. Les packs de conformité Parasoft fournissent les vérificateurs d'analyse statique, les configurations de test et la documentation nécessaires pour se conformer aux directives de codage spécifiques à l'industrie, notamment MISRA C, AUTOSAR C ++ 14, CERT C / C ++, etc. Les kits de qualification Parasoft automatisent la majorité du travail manuel fastidieux requis pour qualifier un outil et générer les rapports finaux nécessaires pour documenter le processus de qualification de l'outil. Des kits de qualification sont disponibles pour les normes telles que ISO 26262, CEI 61508 et DO 178.

« MISRA », « MISRA C » et le logo triangulaire sont des marques déposées de The MISRA Consortium Limited. © The MISRA Consortium Limited, 2021. Tous droits réservés.