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
Latest News

BA targets reducing single-use plastic on flights

British Airways today announced a new target to remove more than 700 tonnes of single-use plastic on board its flights in 2020, amounting to more than a quarter of a billion individual items of plastic and equivalent to more than 30,000

100th anniversary of first control tower at Croydon marks birth of air traffic control

The world’s first air traffic control tower was commissioned by the UK government 100 years ago today in a move that helped usher in the age of mass air travel, built at what was then London’s main airport in Croydon and kick-started the

ADB Safegate to provide KKIA with BRS

ADB Safegate Airport Systems (AS) has signed a five year implementation and support agreement for a Baggage Reconciliation System (BRS) to boost operational efficiency of baggage handling in King Khalid International Airport

HRH The Prince of Wales hosts SMI aviation round table

Last month the World Economic Forum launched the Sustainable Markets Initiative (SMI), a collaboration between HRH Prince of Wales and the World Economic Forum, which has been followed by a series of industry and issue-specific round

Stansted rallies to the call of Africa with service to Dakar

London Stansted will open up the UK’s only direct service to the Senegalese capital, Dakar, from this summer, with three flights a week operated by Air Senegal, boosting tourism and trade links for the East of England and London to

IATA sees Coronavirus reducing demand and revenues

The International Air Transport Association (IATA) announced that its initial assessment of the impact of the Novel Coronavirus 2019 outbreak (COVID-19) shows a potential 13% full-year loss of passenger demand for carriers in the

ODU 0201311219
See us at
S&P BT241019040320AMAS BT0312270220DVD 2020VIDSE BT1605060320SMI favws BT0602040620FIL20BT010819260720