QRA Corp announced Tuesday it has begun to provide Lockheed Martin engineers with an advanced early-stage systems verification solution for the development of increasingly complex cyber-physical designs.

QRA helps machine manufacturers to detect problems with their designs early in the development process. It grew out of research that Kyriakidis and his team performed at Dalhousie University under a contract for Lockheed Martin, the world’s largest defence contractor.

The current work being done by the company work brings together QRA Corp’s verification technology with Lockheed Martin’s large-scale system integration and design capabilities. The company said this allows QRA to push the rigorous analysis capabilities of its QVTrace product well beyond the efficiency and effectiveness of any competing tool on the market.

“All large-scale system integrations will eventually proactively use technology similar to QVTrace,” said CEO and President Jordan Kyriakidis in a statement. “Although QVTrace is already an incredibly powerful tool for engineers, this work will help ensure it remains on the bleeding edge of innovation by taxing it with some of the most complex and demanding systems in the world. It’s an exciting time.”

To achieve this goal, QRA will develop and deliver QVTrace, which enables engineers to target and detect errors within complex systems throughout the development cycle.

By proactively ensuring critical system designs always satisfy their requirements, QVTrace will help Lockheed Martin engineers avoid costly reworks and potential catastrophic deployment failures. It does this by eliminating errors at the early stages of design – increasing systems confidence, reducing costs, and accelerating time to market.

Last year, QRA received $1 million in funding from Innovacorp.