LDRA’s support enables software developers to leverage the LDRA tool suite to verify code coverage at both the assembly and source code levels.
Today, Arm-based devices are found in many ISO 26262–compliant automotive applications up to and including ASIL D, while avionics engineers are also turning to general-purpose Arm processors. By extending object-code verification to Arm-based chips, LDRA enables compliance to Level A - the highest safety requirements - of DO-178C, the safety-critical standard for aerospace, and provides an opportunity for automotive developers to provide a similar level of assurance for the most demanding of applications in their domain.
“By extending object-code verification to general-purpose Arm processors safety-critical designers will be able to take advantage of the rich Arm ecosystem in their designs,” said Ian Hennell, Operations Director at LDRA.
