English German
  • LDRA

LDRA Chosen as Express Logic’s Preferred Partner for Functional Safety

LDRA tool suite® verifies ThreadX™ compliance for Automotive ISO 26262 and Rail Transportation EN 50128 industry standards

From ARM TechCon, Santa Clara, CA – 10 November 2015 – LDRA, the leader in standards compliance, automated software verification, source code analysis, and test tools, announced today that Express Logic selected LDRA as a preferred partner for automotive and rail certification. Express Logic chose LDRA because of LDRA’s extensive certification experience and the tools’ ability to confirm compliance with the stringent verification requirements of ISO 26262 and EN 50128.

The LDRA tool suite, known for its comprehensive software test and verification capabilities, reaches above and beyond competitive products to offer customers the most complete compliance capabilities in the market. LDRA is unique in its ability to automate software quality analysis and provide full certification support and compliance through capabilities such as:
  • Fully integrated static code analysis, dynamic coverage analysis, and unit/integration testing
  • Object-code verification
  • Data coupling and control coupling analysis
  • 100 percent MC/DC coverage to ensure all possible outcomes and conditions are fully tested
  • Verification automation with model-based development solutions
  • Complete life-cycle traceability with links back to the standards objectives

Express Logic was only able to complete pre-certification of its industry-leading ThreadX RTOS by submitting ThreadX to this level of analysis. The LDRA tool suite—well-known to the TÜV certification authorities—accelerated the process and enabled Express Logic to reach compliance quickly and easily.

Rigorous Software Testing Critical to Today’s Automobile and High-Speed Rail

According to IEEE Spectrum, the number of computers and lines of code in today’s automobiles are increasingly comparable to those found in a modern airliner, in both volume and functionality. Such systems control a number of life-critical functions, such as electronic throttle, brake systems, and collision avoidance. This trend will only increase with the introduction of computer-assisted and self-driving cars. As a result, automotive companies and their suppliers are seeking ways to better ensure their computer software is reliable. The ISO 26262 automotive standard enforces a comprehensive, rigorous development process that helps companies achieve high-quality software.

Similarly, high-speed rail is committed to improving its safety record. As more functionality and system management moves to software, a high-quality development process and software compliance checks are more important than ever. Having an RTOS that is pre-certified assures the customer that their system is more likely to achieve certification without unnecessary delays and additional proof points.

“With transportation systems frequently using more than 100 microcontrollers processing tens of millions of lines of code, our tools need to meet the most stringent certification requirements,” said William E. Lamie, CEO of Express Logic, Inc. “LDRA has a strong reputation and is known to have the best end-to-end certification and testing tools in the market. The LDRA tool suite provided the quickest time to certification and came fully backed by an excellent and knowledgeable support team that partnered with our engineering team every step of the way. We are confident that ThreadX has attained the in-depth, reliable compliance that automotive and rail customers need for their safety-critical systems.”

“With more than two million deployments, Express Logic’s ThreadX has a stellar reputation for optimised, high-performance, reliable code—characteristics that are essential to the safety- and security-critical markets,” said Ian Hennell, Operations Director at LDRA. “We appreciate the confidence Express Logic has placed in the LDRA tool suite and look forward to helping them extend their leadership in the automotive and high-speed rail space.”

The LDRA Compliance Offering

LDRA provides the industry’s most complete software verification and validation solution for the development of safety- and security-related automotive software. The LDRA tool suite supports the entire ISO 26262 and EN 50128 process from requirements through deployment to help reduce or eliminate the need for many of the labor-intensive, error-prone elements of the development process. In addition to providing complete coding standards compliance, LDRA enables companies to link ISO 26262 and EN 50128 objectives to requirements so that they are traceable through design, implementation, and verification. Comprehensive testing ensures that the code is fully tested and companies can achieve complete structural coverage verification as required by ISO 26262 ASIL Level D and EN 50128 for software functions that must meet the most rigorous safety-critical compliance.

# # #

About LDRA

For more than forty years, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security-, and business-critical markets. Working with clients to achieve early error identification and full compliance with industry standards, LDRA traces requirements through static and dynamic analysis to unit testing and verification for a wide variety of hardware and software platforms. Boasting a worldwide presence, LDRA is headquartered in the United Kingdom with subsidiaries in the United States and India coupled with an extensive distributor network. For more information on the LDRA tool suite, please visit www.ldra.com.

For more information abour the LDRA tool suite please contact us.