Company Overview of LDRA Ltd
LDRA Ltd. provides automated analysis and testing 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. The company also provides Embed-X, an embedded application lifecycle management solution; TBrun, a unit testing solution; TBvision that provides transparency into source code for enabling managers, teams, and developers to monitor testing, quality metrics, ...
Wirral, CH41 5LH
Founded in 1975
Key Executives for LDRA Ltd
Compensation as of Fiscal Year 2015.
LDRA Ltd Key Developments
Richland Technologies Implements LDRA Tool Suite to Verify and Certify Extremely Complex Designs with Increasingly Shorter Design Cycles
Dec 17 15
LDRA announced that Richland Technologies has successfully implemented the LDRA tool suite to verify and certify extremely complex designs with increasingly shorter design cycles. With a more than 40-year track record for delivering automated code testing and software safety analysis products, LDRA’s modular tool suite is used by Richland Technologies to gain early insight into potentially exploitable safety and security vulnerabilities in software source code. Richland Technologies engineers use the LDRA tool suite for static analysis, unit testing, low-level verification, and structural coverage analysis of the embedded software for advanced applications such as vision systems and inertial measurement units used in standby instrument systems. Once the engineers at Richland Technologies selected the LDRA tool suite, they needed to come up to speed quickly to begin verifying designs on extremely tight schedules. They relied on the LDRA support team to help them learn the tools and integrate them with the target embedded systems. At Richland Technologies, designs must adhere to the strict requirements-driven processes mandated by the DO-178C and DO-254 standards for the development of commercial airborne electronic systems. The LDRA tool suite and documentation are well matched to safety-critical design flows and in-house methodologies that help developers to achieve standards certification in much shorter timeframes. Features of particular importance to Richland Technologies include: Well-organized web-page-based output highlighting code coverage and static analysis results achieved during low-level verification, Rapid regression analysis, Structural coverage results, Robust static analysis capability, Extensive unit tests, Easy integration into the DO-178C design flow, Support for remote collaboration on designs with end customers. Shipping and availability: The LDRA tool suite used by Richland Technologies (TBsafe, TBmisra, LDRA Testbed, TBrun and TBsecure) is available now.
LDRA Tools Bring Functional Safety Strengths to Wind River Marketplace
Jun 16 15
LDRA continued to build on its relationship with Wind River. In addition to the full integration of the LDRA tool suite with Wind River VxWorks 7 real-time operating system (RTOS), LDRA tools and product information are now featured and available for download in the Wind River Marketplace. The integration of the LDRA tool suite with the next-generation Wind River® VxWorks® 7 real-time operating system (RTOS). The LDRA tool suite brings advanced software testing capabilities to the VxWorks platform. LDRA stands as the sole software verification provider capable of delivering object code verification as well as providing the high-assurance data and control coupling analysis mandated by safety- and security-critical standards such as DO-178C, ISO 26262, IEC 61508, EN 50128, and IEC 62304. LDRA provides this level of software analysis across a wide range of architectures, including ARM, PowerPC, MIPS, and Intel.
LDRA and Green Hills Software Deliver Multicore Development and Verification
May 13 15
LDRA and Green Hills Software have partnered to provide high-assurance application development on multicore platforms used in safety- and security-critical markets. The growing emergence of multicore platforms and applications paves the way for new verification tool capabilities needed to complete high-assurance safety- and security-critical compliance activities. LDRA has developed such capabilities in partnership with Green Hills Software, resulting in a solution that enables developers to fully trace the behavior of multicore systems, a critical step forward in achieving regulatory compliance. LDRA’s uniquely optimized trace technology efficiently captures software runtime dynamics and behavior from multiple cores. As a result, safety- and security-critical coverage analysis is safely and efficiently aggregated without degrading runtime performance and without sacrificing the integrity of the Green Hills Software multicore application environment. The LDRA tracing technology is integrated with the Green Hills Software development tool chain to provide unprecedented system analysis and debug capabilities. For the safety- and security-critical multicore market, Green Hills Software provides the INTEGRITY-178 tuMP real-time operating system. With the LDRA multicore instrumentation support, structural coverage analysis can be captured at the individual core or aggregated to provide a multicore system-level view. Results are portrayed graphically, enabling developers to follow the flow of code execution and to assess system behavior at core and system levels. With structural coverage analysis down to the object-code level available on host and target platforms, the LDRA solution supports the high levels of safety-critical standards compliance. Automated reports capture testing analysis and techniques, reducing potentially hundreds of hours of documentation needed to achieve compliance. With the integration of compliance-optimized development and testing software, software tools now automate multicore software development and test, streamlining multicore development and verification. This permits developers to fully utilize reductions in size, weight, and power provided by multicore systems. Additional strengths of the LDRA multicore structural coverage solution include the following: Object code verification for Green Hills compilers is supported for C, C++, and Ada languages, providing more flexibility in development processes; Data and control coupling provides insight into multicore architecture and behavior, showing the actual flow of control and data across the system; Extensive I/O support between host and target provided by the Green Hills MULTI IDE supports multiple debug strategies; and I/O layer does not use library functionality, enabling bare metal applications and safe library subsets.
Similar Private Companies By Industry
Recent Private Companies Transactions
|No transactions available in the past 12 months.|