Company Overview of LDRA Ltd
LDRA Ltd. develops standards compliance, automated software verification, source code analysis, and test tools for software applications. It offers LDRA Testbed, a quality control tool that provides source code testing and analysis facilities for the validation and verification of software applications; and TBreq, a solution that helps teams to allocate requirements to team members, map requirements to design and source code, link test cases to requirements, and generate verification reports. It also provides Embed-X, an embedded application lifecycle management solution; TBrun, a unit testing solution; TBvision for managers, teams, and developers to monitor testing, quality metrics, memory ...
Wirral, CH41 5LH
Founded in 1975
Key Executives for LDRA Ltd
Compensation as of Fiscal Year 2017.
LDRA Ltd Key Developments
LDRA Provides Only Commercially Available Object Code Verification for Avionics Industry's Upgrade to Newest PowerPC Chips
Jul 20 17
LDRA has updated the LDRA tool suite for the PowerPC assembler language to support all 32- and 64-bit PowerPC chips used in safety-critical environments such as communication terminals, commercial and military avionics, unmanned air vehicles, and missile and space flight applications. Such support enables LDRA customers, including those who have been using the LDRA tool suite for many years on traditional avionics platforms, to move to the latest versions of PowerPC chips and compilers, and confidently perform Object Code Verification (OCV) required for DO-178B/C compliance. As the only company to provide a complete structural coverage analysis tool for both application source and assembler code from unit to system and integration levels, LDRA is making it easy for avionics customers to certify their systems as they upgrade their 604-based legacy PowerPC chips to the newer e500/600 chips. LDRA’s updated assemblers support the e200, e300, e500, e600, e5500, and e5600 PowerPC families, as well as traditional PowerPC chips such as the 603e and 604. The LDRA tool suite is the only commercially available software solution able to qualify assembler code for certification. Used to demonstrate source-to-object-code traceability, the LDRA tool suite for PowerPC assemblers can analyze the relationship between the two levels of code and highlight any instances of additional or extraneous code at the object level. This integration ensures that the LDRA tool suite will support organizations that must demonstrate process compliance, particularly for applications where complete OCV must be realized to meet the levels of safety certification as required under the DO-178B/C Level A safety-assurance standard. In addition, these updated assemblers have been integrated into the latest LDRA front ends, which enhances code visibility through a graphical display of assembler code. This results in compelling reports that (1) show clearly that statements and branches have been exercised in the assembler code and (2) cross-correlate the results between the high-level language and assembler. API access is possible using LDRA data files and enables customers to retrieve results from assembler testing and integrate them with C/C++ test results. This capability is particularly useful in object code verification exercises. Full verification capabilities are available for both low-power platforms (such as the e200) and full systems with multi-core environments where per-core coverage can be recorded. The new suite of PowerPC assemblers can also be used to test pure PowerPC assembler hand code. Test and verification activities can be performed on the assembler hand code portions of a system, as well as object code verification of the C/C++ portions.
LDRA Announces New Variant of its LDRA Tool Suite Specifically Tuned for Automotive Software Quality Development, Verification, and ISO 26262 Compliance
Mar 13 17
LDRA announced a new variant of its LDRA tool suite specifically tuned for automotive software quality development, verification, and ISO 26262 compliance. The LDRA tool suite for Automotive helps embedded software developers achieve ISO 26262 compliance more cost effectively by enabling traceability, automated software quality analysis, and testing throughout the software lifecycle. In complex automotive application marketplace, functional safety and security are paramount, and the LDRA tool suite for Automotive enables the development of high-assurance applications. Developers of ADAS; infotainment, powertrain, climate control, and body electronics applications; and autonomous vehicles now leverage a comprehensive requirements-through-verification solution to speed the development and verification process for applications requiring ASIL A, B, C or D assurance. The LDRA tool suite has been certified by TÜV SÜD and SGS-TÜV Saar for development of automotive applications under ISO 26262. The LDRA tool suite for automotive offers a broad set of features and benefits: ISO 26262 Compliance Management. Provides intrinsic use of and traceability to ISO 26262 objectives, Offers increased transparency with lifecycle traceability, Simplifies testing and test management, Integrates with other software development, modeling, and requirements management tools such as MathWorks Simulink, IBM Rational Rhapsody, IBM Rational DOORS Next Generation, and Polarion ALM. Static Analysis: Improves software quality by analyzing code for clarity, maintainability, and testability, Ensures safer and more secure code through coding standards compliance (MISRA, High Integrity C++, Netrino, etc.). Dynamic Coverage Analysis: Improves quality of testing through coverage analysis, Improves quality of code by analyzing and visual reporting of data and control coupling. Automotive Security Module: Helps ensure secure code through security standards compliance with MISRA, CERT C, and CWE, Enables vulnerability analysis through data and control coupling analysis, Simplifies robustness testing. Automated Testing: Automates unit, integration, and requirements-based testing, Speeds testing through automatic test harness, test case generation, execution, and results capture, Enables and reduces cost of host and target-based testing and Facilitates regression testing.
ARM's DS-5 Development Studio Extends Support for Functional Safety with LDRA's MISRA Compliance Tools
Feb 23 16
ARM announced the integration of MISRA (Motor Industry Software Reliability Association) conformance tools into the ARM®DS-5 Development Studio tool suite. The addition of a MISRA-checking capability to its TÜV-certified ARM Compiler and safety qualification kit makes DS-5 the ideal software development platform for ARM-based products in use in safety-critical markets such as automotive, healthcare and industrial automation. LDRAlite™ for ARM® DS-5 software is supplied by LDRA. The LDRAlite tool will be a key enabler for developers creating functional safety applications with the DS-5 Development Studio as it enables compliance with functional safety standards including ISO 26262 and IEC 61508. These standards, used widely in safety-critical applications in the automotive and industrial markets, recommend the use of the MISRA programming guidelines for C/C++ to improve software product quality, consistency, clarity, and maintainability. To achieve MISRA compliance in these safety-critical markets cost-effectively, the LDRAlite MISRA checker automates the process of analysing code to ensure adherence to the guidelines in the standard, saving time, energy and money compared with traditional manual inspection methods. LDRA’s MISRA conformance tools are TÜV-certified for safety-related software development according to IEC 61508, ISO 26262, IEC 62304, IEC 60880 and EN 50128. LDRAlite supports all current MISRA guidelines, including MISRA-C:1998/2004/2012 and auto-generated code from model-based design flows (MISRA-AC). LDRAlite strengthens the ARM-based functional safety qualification kit by augmenting the DS-5 TUV certified compiler and simplifying the end-product certification process. LDRAlite will be included with DS-5 starting from version 5.24 as a 30-day evaluation and can be converted to a full license through LDRA.
Similar Private Companies By Industry
Recent Private Companies Transactions
|No transactions available in the past 12 months.|