LDRA First to Support Arm-Based Chips for Safety-Critical Aerospace and Automotive Applications
Summary
WIRRAL, England--(BUSINESS WIRE)--LDRA today announced its extension of object-code verification to deliver advanced software testing for Arm-based chips used in safety-critical aerospace & defense and automotive applications. With Arm chipsets becoming increasingly prevalent in the core CPUs of both aircraft and automobiles, safety-critical verification becomes essential. Arm-based devices can often be found in ISO 26262–compliant automotive applications up to and including ASIL D, and they continue to gain traction as ADAS and autonomy become increasingly significant. “By extending, LDRA has enabled avionic engineers to verify Arm-based applications to DAL A while enjoying the benefits of additional ecosystem flexibility and lower costs, and has opened the door for automotive engineers to apply this state-of-the-art technique in their sector as well.” In addition to championing coding standards, LDRA has provided the LDRA tool suite to enable companies to meet safety-critical and security-critical standards compliance in multiple industries including aerospace & defense, automotive, rail, nuclear power, industrial control, and medical devices. Working with clients to achieve early error identification and elimination, and full compliance with industry standards, LDRA traces requirements through static and dynamic analysis to unit testing and verification for a wide variety of hardware and software platforms.