in Aerospace / Defence / Security

AdaCore expands UK presence to support aerospace and defence sectors

Posted 14 August 2019 · Add Comment

AdaCore, a provider of software development and verification tools, today 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 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).

“The ATI welcomes the launch of AdaCore’s new operation, which will increase the UK’s capability in safety-critical software,” said Mark Scully, Head of Technology for Propulsion & Advanced Systems at the Aerospace Technology Institute. “The ATI has been working with AdaCore as we facilitate new software development projects and are delighted to see this lead to a new UK centre-of-excellence and more collaborations in the future.''

“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.

“Many of the world’s top academic and global research universities reside in the UK, and we hope to collaborate with them regularly to broaden the reach of our GNAT Academic Program (GAP) and to address the need for safe, secure and reliable software,” said Emma Adby, AdaCore Ltd Managing Director.

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical and security-critical systems.
 
 

* required field

Post a comment

Other Stories
Advertisement
Latest News

IGC introduces FlexGround

Intelsat General Communications (IGC), a wholly owned subsidiary of Intelsat S.A. is changing this with today’s announcement of FlexGround, a new service that provides military troops around the world with fast, resilient and secure

BAE Systems to integrate APS into Dutch CV90s

BAE Systems announced today that it has been selected to integrate Elbit Systems’ Iron Fist Active Protection System into the Dutch Army’s fleet of CV90s following successful integration testing.

QinetiQ and Cyient sign MoU on avionics for unmanned target systems in India

QinetiQ Target Systems (QTS) has signed a Memorandum of Understanding (MoU) with Hyderabad headquartered engineering and technology solutions company Cyient, to offer avionics products for QTS' unmanned target systems.

Frost & Sullivan names top innovators in commercial aircraft MRO

Frost & Sullivan has revealed that the maintenance, repair and overhaul (MRO) market experienced substantial growth in line with global fleet expansion and identified 17 industry leaders excelling at innovation.

Gatwick resumes Learn Live broadcasts

Gatwick’s popular Learn Live broadcasts start again this week – with a live Q&A with the airport’s biodiversity experts – and every local school is invited to ‘tune in’ to the online broadcasts, which are designed to encourage local

Smiths Detection opens Technology Studio

Smiths Detection Inc. (SDI) has created a new Technology Studio at its Americas headquarters, located in Edgewood, Maryland.

ODU 0201311219
See us at
VIDSE BT1605060320ADSS1000DBT1706171019SMI ActiveP BT1206121119FIL20BT010819260720SMI GMS BT1906071119DSEI JP BT1605201119SMI FAV BT1006141119