Richland Technologies (RTL), a worldwide leader in embedded computing solutions for safety-critical systems, and LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has announced a close working relationship resulting in standard methodologies across multiple industries. The cooperative relationship leverages LDRA’s software verification tool suite for requirements traceability, static analysis, unit-testing, and structural coverage analysis to enable high assurance embedded software for safety- and security-critical systems.
Extending RTL’s successful partnership with LDRA for safety-critical avionics systems, the renewed collaboration provides solutions for the industrial, medical and automotive critical software domains. Historically, RTL has relied on the LDRA tool suite to ease integration into key industry design flows and dramatically speed the verification process. Together, LDRA and RTL have helped leading systems companies establish processes that enable them to achieve software qualification or certification more quickly than ever before. In addition, the collaboration has helped companies integrate industry standards and requirements into their own templates, and streamline verification and software testing with the most cost-effective, high-quality solutions available.
“As software verification plays an increasingly critical role in today’s security- and safety-anxious environment, RTL is continuously analysing ways to ensure that the tools we use give us an advantage,” said Richland Technologies managing director, Dave Simpson. “The LDRA tool suite always scores highly in our evaluation of low-level verification tools for target computer systems and we are delighted to collaborate closely with LDRA to develop valuable, standard methodologies for customers across all critical software industries.”
Simpson continued, “Our deep knowledge of and experience with the LDRA tool suite enables us to automate much of the time-consuming verification process. As well, our engineers are able to use familiar tools and processes across multiple industry projects and reuse working code without loss. This keeps verification cycles shorter despite increasing system requirements. And, we can keep costs as low as possible for our customers while providing the highest levels of satisfaction possible.”
“Close collaboration between leading software and service providers is driving software verification innovation and standardisation for safety-critical industries,” said Ian Hennell, operations director, LDRA. “Our ongoing relationship with RTL exemplifies our commitment to developing standard methodologies and proven solutions that customers can deploy immediately to help them manage their software verification tasks and bring their safety- and security-critical products to market faster.”