Destinée à améliorer la qualité, la sûreté et la sécurité d’un code embarqué, la suite d’outils de développement de LDRA - vérification logicielle automatisée, analyse de code source - prend désormais en charge la famille des microcontrôleurs automobiles et industriels S32K3 de NXP. Cette suite d'outils associée à l'IDE Design Studio de NXP permet de réduire les coûts et les efforts associés au développement, aux tests et à la certification des logiciels qui s'exécutent sur ces microcontrôleurs dans des applications même modestes telles que l'éclairage, le CVC (chauffage, ventilation et climatisation) et le contrôle d'accès....

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

- Génération automatisée de cas de test, de harnais et de stub pour les tests de robustesse

- Production automatique de preuves de certification et d'approbation du logiciel

- Prise en charge et conformité aux normes ISO 26262 jusqu'au niveau Asil-D, ISO/SAE 21434, ASPICE

- Suite d’outils bénéficiant de la gestion de la qualité, certifiée ISO 9001:2015, et des certifications TÜV SÜD et SGS-TÜV Saar