The LDRA Productivity Package for Aerospace & Defense is a set of targeted capabilities drawn from the LDRA tool suite enabling users to achieve DO-178C compliance through to Design Assurance Level A. The package optionally supports defense standards including MIL HDBK 516C, DEF STAN 00-055, and the Future Airbourne Capability Environment (FACE) Technical Standard.
This LDRA Productivity Package tackles the pain points that make compliance demanding and time-consuming across the development lifecycle
It simplifies the process and reduces the burden on engineering teams – from managing requirements traceability, through coding standards compliance and structural coverage analysis, to producing audit-ready documentation.
This process-led approach makes the package applicable to aerospace software companies and defense software companies alike.
The LDRA Productivity Package for Aerospace and Defense offers project-level reporting to consolidate static and dynamic analysis results, coverage data, and traceability information into a consistent format. This supports efficient review cycles and helps maintain evidence consistency across the development lifecycle.
By consolidating analysis results, coverage metrics, and traceability information, web-based reporting strengthens configuration control and supports collaboration across teams and sites. LDRAvault extends the Productivity Package with this capability for larger or distributed projects.
The LDRA Productivity Package for Aerospace & Defense integrates dynamic structural coverage analysis including MC/DC, enabling users to measure, review, and report coverage from unit to system level. Combined with requirements-based testing, this approach ensures coverage completeness. It provides certification evidence aligned with DO-178C objectives without manual reconciliation or external tooling.
Through its data and control coupling analysis, the LDRA Productivity Package for Aerospace & Defense validates that code structure and data interactions remain faithful to the design model. This helps expose unintended functionality and confirms that code behaviour aligns with the safety and integrity goals defined at system and software design levels.
The Productivity Package can optionally perform source to object code traceability and coverage analysis. This automates the confirmation that compiled object code corresponds correctly to verified source files – particularly valuable for DO-178C DAL A projects, where proof of traceability to the binary is required.
The LDRA Productivity Package for Aerospace & Defense includes optional tool qualification packages designed in accordance with DO-330. These pre-prepared artefacts streamline the demonstration of tool confidence in use, cutting qualification effort and certification risk while ensuring repeatable compliance across programmes.
The LDRA Productivity Package for Aerospace & Defense integrates requirements traceability, verification management, and certification-aligned reporting, allowing all stakeholders to share a single source of verified evidence. This improves audit readiness and communication between development, verification, and compliance disciplines.
Add-on capabilities such as worst-case execution time (WCET) analysis enable developers to evaluate timing behaviour under real or simulated conditions. By supporting both early timing analysis on individual code components and comprehensive end-to-end assessment at system level, the package enables teams to build timing evidence progressively, and to ultimately demonstrate compliance with the objectives of A(M)C 20-193.
The LDRA Productivity Package for Aerospace & Defence delivers an integrated, standards-aligned verification environment with automated analysis, traceability, and reporting. It therefore aligns perfectly with operator self-verification.
Built on LDRA’s long-established track record in aerospace compliance and verification, it enables operators to demonstrate software integrity and compliance independently and ensures consistency and confidence in the absence of external verification.
The LDRA Productivity Package brings together the tools and capabilities needed to manage the complexity of modern safety- and security-critical software development.
LDRA Productivity Packages are preconfigured bundles that combine LDRA’s static and dynamic analysis, certification-focused reporting, and optional extensions like requirements traceability and tool qualification. Each package is tailored to specific industry standards and project goals, whether focused on functional safety, quality, or cybersecurity, providing scalable, compliance-ready solutions that accelerate assurance and improve software productivity.
LDRA Productivity Packages are collated from long established and proven components of the LDRA tool suite including TBvision, TBrun, TBmanager, and add-on components as appropriate.
The LDRA Productivity Package for Aerospace & Defense builds on these proven capabilities. It adds substantial advantages through preconfigured settings aligned with aerospace and defense standards and Design Assurance Levels (DALs). This pre-configuration simplifies setup and reduces the need for specialist knowledge to interpret complex certification requirements.
Out of the box, the package enforces the correct objectives, metrics, and reporting structures for standards such as DO-178C, DO-330, and DEF STAN 00-55. As a result, deployment across teams and projects becomes faster and more consistent.
Integrated workflows then bring static analysis, dynamic testing, coverage assessment, and traceability together into a single verification process. By removing the need to configure or link separate tools, the package streamlines verification and reporting.
These efficiencies translate into faster project onboarding, more consistent compliance evidence, and reduced verification effort, allowing development teams to focus on software quality rather than tool management.
The LDRA Productivity Package for Aerospace & Defense delivers a comprehensive, preconfigured tool suite designed to meet the stringent requirements of safety- and mission-critical software development. Combining powerful static and dynamic analysis, requirements traceability, and verification management, it streamlines the development of aerospace and defense technology in accordance with applicable standards – helping teams achieve certification objectives efficiently and with confidence.
The package offers:
Together, these capabilities provide an integrated, ready-to-deploy solution. They accelerate compliance, strengthen assurance, and boost productivity across the software development lifecycle, making the package applicable to civil aviation software companies and military software companies alike.
The LDRA Productivity Package for Aerospace & Defense applies both static and dynamic analysis to deliver comprehensive coverage of functional safety and security objectives. Static analysis evaluates code quality and enforces compliance with industry coding standards such as MISRA, CERT, CWE, and JSF. It also supports user-defined rule sets.
These capabilities help development teams detect software flaws early, maintain code integrity, and demonstrate compliance with the stringent requirements of aerospace and defense applications.
Dynamic analysis capabilities extend across unit, integration, and system-level testing—whether performed on simulators or target hardware. Structural coverage analysis, including MC/DC, provides clear visibility of test completeness and supports requirements-based and on-target verification. In addition, analysis of data and control coupling helps confirm that software behaviour aligns with design intent, ensuring the implemented code meets the safety and reliability expectations of aerospace and defense systems.
Reporting from both static and dynamic analyses is tailored to industry expectations and aligned with the objectives of standards such as DO-178C, MIL-HDBK-516C, and DEF STAN 00-55. Optional extensions enhance the package with capabilities for requirements traceability, web-based reporting of verification results, worst-case execution time (WCET) analysis, tool qualification support, and object-to-source traceability and coverage for DO-178C DAL A compliance. Together, these features provide a comprehensive toolkit for achieving the highest levels of assurance in the development of airborne and land-based aerospace and defense software.
The LDRA Productivity Package for Aerospace & Defense complements enterprise resource planning (ERP) systems. It provides ERP-driven processes with the detailed verification evidence, traceability data, and compliance artefacts that underpin project management, quality assurance, and configuration control functions. It therefore supports the engineering and assurance layers that feed into higher-level ERP and PLM (Product Lifecycle Management) environments.
The U.S. Defense Logistics Agency (DLA) oversees procurement, supply chain, and logistics management across the defense sector. Demonstrating compliance with aerospace and defense software assurance standards – and providing the necessary verification evidence – is key to supporting DLA programmes. The LDRA Productivity Package for Aerospace & Defense streamlines these compliance activities, making it highly relevant to organisations developing or maintaining software for systems within DLA-managed assets or the wider defense supply chain.
Independent Research and Development (IRAD) programmes enable aerospace and defense contractors to explore new technologies and processes outside customer-funded projects. The LDRA Productivity Package for Aerospace & Defense ensures that this experimental freedom need not come at the expense of compliance by providing a standards-aligned environment that makes assurance activities efficient rather than burdensome.
Such an approach provides a path for organisations to turn IRAD innovations into certifiable, deployable solutions for future defense programmes.
Press release: LDRA Launches Productivity Packages to Optimize Workflows for Functional Safety and Security Standards Compliance
Press release: LDRA Launches Innovative “Domain-Specific Productivity Packages”
Product information – Data Sheet: LDRA Productivity Package for Aerospace & Defense
Email: info@ldra.com
EMEA: +44 (0)151 649 9300
USA: +1 (855) 855 5372
INDIA: +91 80 4080 8707