TASKING-LDRA Collaboration Targets eVTOL Certification Efficiency

The aerospace and defence software verification specialist LDRA, now a subsidiary of compiler-and-tool-vendor TASKING, has introduced a bundled productivity solution tailored to the evolving demands of electric vertical take-off and landing (eVTOL) programmes. The offering is designed to support development teams working on embedded avionics, flight control, battery management and payload systems that must comply with rigorous safety and security standards.

Addressing Emerging Aerospace Software Complexity

As eVTOL and urban air mobility systems progress from concept to certification, design teams face heightened challenges: increased software complexity, the integration of electrified propulsion, vertical flight control, power-failure mitigation and stringent functional safety demands. For example, achieving Level A assurance under safety standards becomes more demanding when electrification introduces failure-modes that can lead to full system loss. The new productivity package from LDRA and TASKING aims to streamline workflows by combining requirements traceability, static and dynamic software analysis, unit and integration testing, and automated compliance reporting into a unified toolchain.

Compliance-Driven Capabilities for Aerospace Development

The productivity package is positioned to support aerospace software engineers in meeting a broad set of industry standards including DO-178C, DO-330, DO-326A/B, DO-356A, MIL-STD-882E, and the FACE Technical Standard for open-architecture airborne systems. Integration with modern DevSecOps environments is supported, enabling continuous integration, continuous deployment and continuous verification (CI/CD/CV). Further, the toolset supports worst-case execution time (WCET) analysis on multi-core and safety-oriented processors such as ARM Cortex-R and RISC-V, which are increasingly specified in next-generation aerospace hardware.

Benefits for eVTOL and Regional Air Mobility Programmes

For aerospace hardware and software manufacturers, systems integrators and emerging eVTOL innovators, the combined LDRA-TASKING offering promises to cut development cost, reduce risk and accelerate time to certification. The integrated packaging removes the need for sourcing, integrating and maintaining disparate verification tools, instead offering a comprehensive suite of capabilities: high- and low-level requirements traceability, host- or target-based testing, code quality and coverage analysis, object-code verification, security analysis and comprehensive lifecycle support from specification through verification. The aim is to enable development organisations to approach certification audits with greater confidence, delivering software that aligns with airborne safety and cybersecurity expectations.

With the urban air mobility (UAM) and eVTOL sectors gaining momentum, vendors and developers must adopt verification frameworks that address the convergence of autonomy, electrification and regulation. The LDRA-TASKING productivity package illustrates how software toolchains are evolving to meet these demands. As certification authorities and OEMs increasingly require integrated assurance of safety, security and software performance, such tool suites will be instrumental in enabling viable aircraft architectures, effective risk mitigation and streamlined compliance.

LDRA brings more than 50 years of experience in automated code analysis, software testing and industry-standard compliance across safety-, mission- and business-critical systems. The company’s acquisition by TASKING in 2025 positions the combined entity to deliver tightly-integrated toolchains spanning compilers, debug/trace and verification workflows for aerospace and defence markets.