industry news
Subscribe Now

LDRA Simplifies CAST-32A & A(M)C 20-193 Compliance With Complete Lifecycle Support

LDRA tool suite streamlines certification for multi-core processor applications with integrated timing measurement, data and control flow analysis, requirements traceability, and more

WIRRAL, UK – March 13, 2023 – LDRA, the leading provider of automated software verification, source code analysis, unit testing tools, and consultancy services, today announced the enhanced CAST-32A & A(M)C 20-193 validation capabilities of the LDRA tool suite for safety-critical, multi-core processor (MCP) applications. These innovative features cover the entire software development lifecycle and provide a robust certification framework in support of DO-178C – Software Considerations for Airborne Systems and Equipment Certification.

“Manufacturers of critical multi-core processor systems are choosing LDRA because of our comprehensive support of CAST-32A & A(M)C 20-193 guidelines from requirements to development to testing,” said Ian Hennell, Operations Director, LDRA. “No other software vendor combines timing measurement, data and control flow analysis, automated test generation, and requirements traceability into a compliance package that also fits easily into today’s agile development processes.”

CAST-32A & A(M)C 20-193 support ensures robustness of multi-core processor applications

The LDRA tool suite has long been the standard for simplifying and accelerating compliance for mission- and safety-critical systems. CAST-32A has matured into the de-facto guidance for the adoption of MCGreaPs in civil aviation in the form of the current European Union Aviation Safety Agency (EASA) AMC 20-193, and the upcoming Federal Aviation Administration (FAA) AC 20-193 guidelines.

With the enhanced CAST-32A & A(M)C 20-193 support offered by the LDRA tool suite, development teams now get:

  • Industry-leading CAST-32A & A(M)C 20-193 coverage that includes worst case execution time (WCET) measurements on target hardware, the capability to exercise specified interference channels, WCET histograms aligned to the CAST-32A & A(M)C 20-193 objectives, and LDRA’s patented analysis of data and control flow couplings
  • Flexible analysis and reporting options that support different operating system guarantees, including verifying components in isolation or in the context of the entire application
  • Rapid creation of certification evidence with reports and graphics aligned to the CAST-32A & A(M)C 20-193 papers
  • Robust and automated regression testing that re-validates WCET analysis after every code change
  • Comprehensive command line interface that simplifies integration into any continuous integration and DevOps framework

“The LDRA tool suite’s support for CAST-32A & A(M)C 20-193 enables any manufacturer to collect timing evidence and tell their certification story faster than ever before,” Hennell added. “When development teams are feeling the integration crunch, LDRA eliminates the complexity and effort needed to certify multi-core processor applications by integrating WCET support into every aspect of safety-critical development.”

About LDRA

For more than 45 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 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. Boasting a worldwide presence, LDRA has headquarters in the United Kingdom, United States, Germany, and India coupled with an extensive distributor network. For more information on the LDRA tool suite, please visit

Leave a Reply

featured blogs
Mar 24, 2023
With CadenceCONNECT CFD less than a month away, now is the time to make your travel plans to join us at the Santa Clara Convention Center on 19 April for our biggest CFD event of the year. As a bonus, CadenceCONNECT CFD is co-located with the first day of CadenceLIVE Silicon ...
Mar 23, 2023
Explore AI chip architecture and learn how AI's requirements and applications shape AI optimized hardware design across processors, memory chips, and more. The post Why AI Requires a New Chip Architecture appeared first on New Horizons for Chip Design....
Mar 10, 2023
A proven guide to enable project managers to successfully take over ongoing projects and get the work done!...

featured video

First CXL 2.0 IP Interoperability Demo with Compliance Tests

Sponsored by Synopsys

In this video, Sr. R&D Engineer Rehan Iqbal, will guide you through Synopsys CXL IP passing compliance tests and demonstrating our seamless interoperability with Teladyne LeCroy Z516 Exerciser. This first-of-its-kind interoperability demo is a testament to Synopsys' commitment to delivering reliable IP solutions.

Learn more about Synopsys CXL here

featured chalk talk

Peltier Modules
Do you need precise temperature control? Does your application need to be cooled below ambient temperature? If you answered yes to either of these questions, a peltier module may be the best solution for you. In this episode of Chalk Talk, Amelia Dalton chats with Rex Hallock from CUI Devices about the limitations and unique benefits of peltier modules, how CUI Devices’ arcTEC™ structure can make a big difference when it comes to thermal stress and fatigue of peltier modules, and how you can get started using a peltier module in your next design.
Jan 3, 2023