L'embarqué > - Outils de vérification du code assembleur pour l’avionique

- Outils de vérification du code assembleur pour l’avionique

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

 

Retour à la liste