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
