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 – November 10, 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 ability of its tools to achieve the additional 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 on 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% 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 the industry-leading ThreadX RTOS by submitting their code to this level of analysis. LDRA’s tools—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 amount of code in today’s automobiles is comparable to modern airliners and controls 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 ensure 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 necessary. 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 indepth, reliable compliance that automotive and rail customers need for their safety-critical systems.”
LDRA’s Compliance Offering
LDRA provides the 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 eliminate or reduce 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.
“With more than two million deployments, Express Logic’s ThreadX has a stellar reputation for optimized, 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.”
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.