Log in to use our free company, program and sector update tracker feature.

Front page

LDRA partners with Xilinx to bring structural coverage and code compliance to Zynq-7000 family

LDRA, the leader in standards compliance, automated software verification, source code analysis, and test tools, 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 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.

Press release issued by LDRA Ltd. on February 25, 2014


 Contact details from our directory:
LDRA Ltd. Certification Services
Xilinx, Inc. Computer-aided Analysis


 Related directory sectors:
Test Services
Computer-Aided Testing

Enhanced listings:

Ascent Aerospace
Ascent Aerospace is the leading provider of aerospace tooling systems, assembly automation and factory integration.

General Plastics Manufacturing Co.
General Plastics has been supplying OEMs, Tier 1 and Tier 2 companies with flame-retardant foam core materials and custom flexible foam molded parts for aircraft flight decks and interior cabins for over 50 years.

Belden Universal
Specialty universal joints and drive shafts, designed to satisfy even the most rigorous operating criteria. Belden Universal is AS9100C certified.

MW Industries, Inc
Design and manufacture springs, fasteners and related products for aerospace including: engine components, flight controls, propulsion, landing gear, interiors, avionics, and space exploration vehicles.

Dexmet Corporation
Dexmet MicroGrid® an innovative product line that help improve the composite aircraft withstand the rigors of a lightning strike

See our advertising tariff.


data pages remaining in monthly quota for non-subscribers

© Copyright of Airframer Limited, operated under licence by Stansted News Limited 2016. Terms & Conditions of reading.