La suite d’outils de LDRA est maintenant adaptée pour assurer la vérification du code assembleur de tous les processeurs PowerPC embarqués dans les environnements hautement sécurisés comme l’avionique....

- Prend en charge tous les composants PowerPC 32 bits et 64 bits

- Unique solution commercialisée permettant de qualifier du code assembleur

- Assure la vérification du code objet

- Qualifie pour la norme DO-178B/C

- Interface graphique conviviale