Partnership seeks to streamline standards compliance

Delivering a Compliance-Ready Platform 

Xilinx is leveraging LDRA structural coverage and standards compliance tools to enhance Zynq-7000 boot loader code and device driver code for key markets that require certification, compliance, and functional safety.  LDRA tools are enabling Xilinx to provide additional value for developers of safety- and security-critical applications.  

In addition, the LDRA tool suite can now be used in Zynq-7000 SoC developments to help ensure and demonstrate compliance with relevant industry standards such as DO-178, IEC 61508, and ISO 26262.  LDRA’s verification platform gives developers a clear advantage in certifying the final embedded software for avionics, automotive, and industrial applications.  Leveraging LDRA tools with Zynq-7000 SoCs mitigates compliance cost and risk.

“Verification of software and independent proof of standards compliance, once only stipulated by the avionics industry, is increasingly demanded by governments, industry agencies, and OEMs,” noted Ian Hennell, LDRA Operations Director. “Approaching the safety-critical market with the hardware platform already compliance-ready, whether for the avionics DO-178C, automotive ISO 26262, industrial IEC 61508 or other standards, streamlines the compliance management process and significantly decreases costs.” 

Shortening the Certification Life Cycle for Developers 

Use of the LDRA tool suite with the Zynq-7000 SoC adds value for the safety-critical application developer who must prove compliance of the final end-system to auditors. Because of the work that Xilinx is doing, developers using the LDRA verification tools are able to more easily integrate data from the hardware platform into the verification processes required for application software. 

“Xilinx’s Zynq-7000 SoC enables extensive system-level differentiation while decreasing cost, risk, and time to market,” confirmed Dagan White, Product Manager, Xilinx Aerospace and Defense. “Bringing LDRA into the Xilinx ecosystem demonstrates our focus on safety-critical markets and brings our associated Zynq-7000 SoC offerings to the next level. For the first time, developers of safety- and security-critical applications gain a compliance-ready platform that can be easily integrated into their larger compliance process, reducing time and cost in certification of the final system.”