Companies collaborate to standardise embedded software

Extending RTL’s partnership with LDRA for safety-critical avionics systems, the renewed collaboration provides solutions for the industrial, medical and automotive critical software domains.

RTL has used the LDRA tool suite to ease integration into key industry design flows and dramatically speed the verification process. Together, LDRA and RTL have helped 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.

Richland Technologies Managing Director, Dave Simpson commented: “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.”

Simpson continued: “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 added: “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.”