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
Apr 23, 2024
The automotive industry's transformation from a primarily mechanical domain to a highly technological one is remarkable. Once considered mere vehicles, cars are now advanced computers on wheels, embodying the shift from roaring engines to the quiet hum of processors due ...
Apr 22, 2024
Learn what gate-all-around (GAA) transistors are, explore the switch from fin field-effect transistors (FinFETs), and see the impact on SoC design & EDA tools.The post What You Need to Know About Gate-All-Around Designs appeared first on Chip Design....
Apr 18, 2024
Are you ready for a revolution in robotic technology (as opposed to a robotic revolution, of course)?...

featured video

How MediaTek Optimizes SI Design with Cadence Optimality Explorer and Clarity 3D Solver

Sponsored by Cadence Design Systems

In the era of 5G/6G communication, signal integrity (SI) design considerations are important in high-speed interface design. MediaTek’s design process usually relies on human intuition, but with Cadence’s Optimality Intelligent System Explorer and Clarity 3D Solver, they’ve increased design productivity by 75X. The Optimality Explorer’s AI technology not only improves productivity, but also provides helpful insights and answers.

Learn how MediaTek uses Cadence tools in SI design

featured chalk talk

USB Power Delivery: Power for Portable (and Other) Products
Sponsored by Mouser Electronics and Bel
USB Type C power delivery was created to standardize medium and higher levels of power delivery but it also can support negotiations for multiple output voltage levels and is backward compatible with previous versions of USB. In this episode of Chalk Talk, Amelia Dalton and Bruce Rose from Bel/CUI Inc. explore the benefits of USB Type C power delivery, the specific communications protocol of USB Type C power delivery, and examine why USB Type C power supplies and connectors are the way of the future for consumer electronics.
Oct 2, 2023