Data sheets

Data sheet outlining LDRA’s automated solutions for MISRA compliance, detailing the benefits, supported standards, integration capabilities, and verification tools within the LDRA tool suite to help developers achieve and maintain compliance with MISRA C and C++ guidelines across safety- and security-critical industries.

The LDRA tool suite provides end-to-end support for achieving DO-178C compliance across all Design Assurance Levels, combining requirements traceability, static analysis, and structural coverage features to ensure quality throughout the avionics software development lifecycle.

By integrating the Conformance Verification Matrix (CVM) as defined in the Technical Standards for Future Airborne Capability Environment (FACE™) editions 2.1.1, 3.0 and 3.1 into its tool suite, LDRA has accelerated the path to certification. The LDRA tool suite supports all five segments of the FACE reference architecture (IOSS, OSS, PCS, PSSS, and TSS).

The LDRA Productivity Package for Aerospace and Defense is a comprehensive product that enables DO-178C compliance through Design Assurance Level A, offering static and dynamic analysis, and unit testing capabilities for developing and verifying high-assurance airborne and defense software that meets rigorous industry standards.

The LDRA Productivity Package for Automotive offers a complete software verification framework that enables ISO 26262 compliance through ASIL D, featuring advanced analysis capabilities for developing and validating automotive software against rigorous safety and security standards.

The LDRA Productivity Package for Consumer Devices is a set of targeted capabilities drawn from the LDRA tool suite enabling customers to achieve IEC 60730 compliance through to Class C, the highest level of assurance for consumer device software. It includes capabilities to address objectives directly referenced in IEC 60730 and those deferred to IEC 61508.

The LDRA Productivity Package for Energy is a set of targeted capabilities drawn from the LDRA tool suite. It enables customers to meet the rigorous standards of the FERC and other regulatory authorities by achieving EN 60880 and IEC 62138 compliance through to Category C, the highest level of assurance for nuclear power plant instrumentation and control systems. These safety-focused capabilities are complemented by the tool suite’s support for secure coding best practice throughout the development lifecycle.

The LDRA Productivity Package for Functional Safety is a set of targeted capabilities drawn from the LDRA tool suite enabling customers to achieve IEC 61508, ISO 26262, SAE J3061, ISO/SAE 21434 & IEC 62304 compliance through to the highest level of assurance for each standard.

The LDRA Productivity Package for Medical Devices is a comprehensive toolkit that enables IEC 62304 compliance through Class C, offering static and dynamic analysis and unit testing capabilities for developing and verifying high-assurance medical device software that meets FDA and industry standards.

The LDRA Productivity Package for Rail Transportation constitutes a complete verification environment for achieving EN 50128 compliance through SIL 4, incorporating essential static and dynamic analysis features for safety-critical railway control and instrumentation software.

The LDRA Productivity Package for Static Analysis provides a specially targeted set of capabilities drawn from the LDRA tool suite to enable customers to comprehensively analyze software quality through static analysis. The productivity package enforces compliance with coding standards and clearly indicates software flaws that might otherwise pass through the standard build and test process. The automated static analysis and rules checking can be customized to support almost any in-house or universal standard. Using LDRA’s source code visualization, it’s easy to identify exactly where code deviates from coding standards so it can be rapidly brought into compliance.

TBmanager provides bidirectional requirements traceability throughout the software development lifecycle, integrating with popular ALM tools to ensure compliance with functional safety and cybersecurity standards while reducing costs through automated test management and impact analysis.

TBextreme is an optional s module for the LDRA tool suite that automates test vector generation, revolutionizing unit testing by creating test vectors that maximize code coverage, test boundary conditions, and verify legacy code modifications with significant time and cost savings.

TBextreme with TBextremePLUS enhances LDRA’s unit testing capabilities by enabling automated generation of requirements-based tests, boundary value tests, equivalence class tests, and fuzz testing to improve application robustness, quality and cybersecurity while supporting compliance with safety-critical standards.