Nürnberg, Germany. ―LDRA has partnered with Xilinx, Inc., the world’s leading provider of All Programmable FPGAs, SoCs, and 3D ICs. To streamline standards compliance for safety-critical application development, the LDRA tool suite has been integrated with the Xilinx® Zynq®-7000 All Programmable SoC and the Xilinx Zynq-7000 AP SoC Development Kit.
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.”
Integrated Platform Demonstrated at Embedded World
The integration of the LDRA tool suite with the Xilinx Zynq-7000 All Programmable SoC will be demonstrated at Embedded World in Nürnberg, Germany, February 25–27, 2014 in Hall 4-526 using an automotive application. The demonstration will show developers how to achieve ISO 26262 compliance with complete structural coverage based on all ASIL levels. The code will also be shown to be MISRA C:2012 compliant.
In addition, an online video at http://www.ldra.com/ldra-tool-suite-xilinx highlights integration features, showing developers how to achieve structural coverage and standards compliance whether for automotive, aerospace, defense, medical, or industrial applications.