Media contacts:
Janice Hughes, Hughes Communications, Inc., Media Relations
Tel : +1 (705) 549-8952, Mobile: +1 (705) 774-8686, Email: janice@hughescom.net
Mark James, LDRA, Marketing Manager
Tel: +44 (0)151 649 9300, Email: mark.james@ldra.com
This press release and associated images (in high-resolution compressed jpeg format) can be downloaded from
www.hughescom.net.
Screenshot 1: The LDRA tool suite is used to show MISRA
C:2012 compliance via a flow graph of a specific function in
Xilinx Zynq ZC702 evaluation board boot loader code.
Screenshot 2: Engineers can use the structural coverage
report to evaluate code. Pictured is the driver code (IIC) in the
Xilinx Zynq ZC702 evaluation board boot loader.
LDRA Partners with Xilinx to Bring Structural
Coverage and Code Compliance to Zynq-7000 Family
LDRA tool suite eases certification and compliance efforts when
using Zynq All Programmable SoC within aerospace, defence,
automotive, industrial, and medical applications
Embedded World, Nürnberg, Germany. 25 February 2014. 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, 25–27 February 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.
###
About LDRA
For more than forty years, LDRA has developed and driven the market for software that automates code
analysis and software testing for safety-, mission-, security-, and business-critical markets. Working with
clients to achieve early error identification 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. Boasting a worldwide presence, LDRA is headquartered in the United
Kingdom with subsidiaries in the United States and India coupled with an extensive distributor network.
For more information on the LDRA tool suite, please visit www.ldra.com.
Please send reader enquiries to:
Mark James
Email: mark.james@ldra.com