Integrated verification and compliance solution with requirements traceability, software unit and integration testing, software static and dynamic analysis, and automated compliance reporting reduces cost, risk and time to certification for both commercial and military aerospace system

LDRA, a TASKING Company, and a leader in automated software verification, traceability and standards compliance, today announced an all-in-one productivity package for the aerospace and defense industry that addresses software certification requirements for electric vertical takeoff and landing (eVTOL) applications. By combining requirements traceability, software analysis and compliance reporting into a single streamlined workflow, the LDRA Productivity Package for Aerospace and Defense accelerates the development and certification of safe, secure and reliable embedded software applications such as avionics, flight controls, battery management and payload management systems that must meet stringent functional safety and security standards compliance.

As the aerospace and defense market moves to more autonomous, electrified and regional aerospace applications for urban air mobility, development teams continue to be challenged by greater software complexity and rising compliance costs. For example, electrification of systems increases the challenge of meeting level A requirements. At the same time, because a power failure can result in a complete system failure, the path to level A compliance is that much more important. By providing a tailored, bundled solution, the LDRA Productivity Package for Aerospace and Defense helps these teams reduce risk and improve productivity while expediting certifications for standards such as DO-178C, DO-330, DO-326A/B, DO-356A, MIL-STD-882E, JSSSEH and conformance with The Open Source Future Airborne Capability Environment (FACE™) Technical Standard.

“Being able to replace individual traceability, software analysis and compliance reporting solutions with a single, streamlined workflow is truly a game changer for software developers working on eVTOL programs that support electric propulsion, vertical take-off/landing control systems and others that enable urban air mobility,“ said Ian Hennell, Operations Director, LDRA. “Backed by hundreds of Level A certifications and supported by LDRA Certification Services, our integrated package gives both established aerospace manufacturers or systems integrators and emerging eVTOL innovators confidence that their software can pass certification audits the first time while reducing cost and eliminating complexities.”

In addition to supporting industry standards, the LDRA Productivity Package for Aerospace and Defense easily integrates with modern DevSecOps platforms to enable and extend continuous integration, continuous deployment and continuous verification (CI/CD/CV). Integrations with TASKING compilers and debug/trace solutions further reduce the cost and risk of development and certification. The solution also provides industry-leading multi-core worst-case execution time (WCET) analysis for modern safety processors, including the ARM Cortex-R and RISC-V.

Comprehensive Capabilities, Pre-Bundled for Value

Instead of requiring developers to source, integrate, and maintain multiple verification tools, the LDRA Productivity Package for Aerospace and Defense bundles all the essential capabilities required to demonstrate compliance at the highest assurance levels, including:

• Bi-directional requirements traceability (high- and low-level)
• Requirements-based testing (host or target)
• Static and dynamic analysis for code quality and coverage
• Compliance with coding standards (MISRA, CERT, etc.)
• Object code verification
• Unit and system-level testing (host/target)
• Security analysis and reporting
• Data/control coupling analysis
• Worst-case execution time analysis
• Tool qualification packages
• Full life-cycle support, from requirements through verification
• Extended TASKING compiler and debug/trace tool integrations

See It at Embedded World North America

LDRA will showcase the new productivity package at Embedded World North America, booth 2058, in Anaheim, November 4-6. Additional details on the LDRA tool suite and productivity packages can be found at www.ldra.com.

About LDRA

For 50 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. The company was acquired by TASKING in 2025.

For more information on the LDRA tool suite, please visit www.ldra.com.

Readers may direct questions to:

Mark James

Email: mark.james@ldra.com

View source version on businesswire.com: https://www.businesswire.com/news/home/20251104418813/en/

TASKING subsidiary @ldra_technology unveils LDRA Productivity Package for Aerospace & Defense; for faster development & certification of safe, secure & reliable embedded software for #eVTOL apps. Find them @embedded_USA booth 2058. #ewNA