Afin de contribuer à améliorer la qualité, la sûreté et la sécurité du code tout en réduisant les coûts de développement et de certification sur du code installé sur un processeur réseau automobile S32G3 de NXP, LDRA propose une suite d’outils de vérification automatisée, d'analyse de code source et d'outils de test adaptée à cette architecture. La suite d'outils associée à l'IDE NXP S32 Design Studio, permet de réduire les coûts et les efforts associés au développement, au test et à la certification des logiciels qui s'exécutent sur les processeurs S32G3.

- Simplification de l'analyse statique et dynamique du code source

- Amélioration de la qualité du code au niveau de la sûreté fonctionnelle et de la sécurité

- Conformité aux normes de codage (définies par l'industrie et par l'utilisateur) telles que Misra, CWE et CERT

- Génération automatisée de cas de test, de harnais et de stub pour les tests de robustesse et production automatique des preuves de certification et d'approbation des logiciels 

- Prise en charge et conformité aux normes ISO 26262 jusqu'à Asil-D, ISO/SAE 21434, ASpice