AdaCore, a provider of software development and verification tools, has announced the opening of AdaCore Ltd, which will serve as the company’s UK centre-of-excellence for the development of safety- and security-critical software tools.
AdaCore has a long and successful history serving customers in the UK. The company maintains relationships with many of the world’s major aerospace, defence and rail contractors. It is a member of ADS, the premier trade organisation for companies in the UK in Aerospace, Defence, Security and Space sectors. And it actively participates in standards-related working groups and committees (such as for DO-178C).
“Our decision to open AdaCore Ltd is part of a larger corporate strategy to invest our intellectual property, tools, and services in regions where the demand for secure software-based systems continues to grow,” said Cyrille Comar, AdaCore Group President. “This move will enable us to better support our existing customers in the UK; collaborate on new contractual, research, and mentorship opportunities within the British ecosystem; and share our expertise in product qualification and certification.”
As it does in other countries around the globe, AdaCore plans to expand its offering of public Ada training courses and events in the UK to help new users get up to speed with the Ada and SPARK languages.