Aerospace Testing InternationalAerospace Testing International
  • News
    • A-E
      • Acoustic & Vibration
      • Avionics
      • Data Acquisition
      • Defense
      • Drones & Air Taxis
      • Electric & Hybrid
      • EMC
      • Engine Testing
      • Environmental Testing
    • F-L
      • Fatigue Testing
      • Flight Testing
      • Helicopters & Rotorcraft
      • High Speed Imaging
      • Industry News
    • M-S
      • Materials Testing
      • NDT
      • Simulation & Training
      • Software
      • Space
      • Structural Testing
      • Supplier News
    • T-Z
      • Technology
      • Telemetry & Communications
      • Weapons Testing
      • Wind Tunnels
  • Features
  • Magazines
    • March 2025
    • Dec 2024/Jan 2025
    • Showcase 2025
    • September 2024
    • June 2024
    • Archive Issues
    • Subscribe Free!
  • Opinion
  • Webinars
  • Events
    • All Events
    • Aerospace Test & Development Show
  • Podcasts
  • Videos
  • Suppliers
    • Supplier Spotlights
    • Press Releases
    • Technical Papers
  • Jobs
    • Browse Jobs
    • Post a Job – It’s FREE!
    • Manage Jobs (Employers)
LinkedIn YouTube X (Twitter)
LinkedIn YouTube X (Twitter)
Subscribe to magazine Subscribe to email newsletter Media Pack
Aerospace Testing InternationalAerospace Testing International
  • News
      • Acoustic & Vibration
      • Avionics
      • Data Acquisition
      • Defense
      • Drones & Air Taxis
      • Electric & Hybrid
      • EMC
      • Engine Testing
      • Environmental Testing
      • Fatigue Testing
      • Flight Testing
      • Helicopters & Rotorcraft
      • High Speed Imaging
      • Industry News
      • Materials Testing
      • NDT
      • Simulation & Training
      • Software
      • Space
      • Structural Testing
      • Supplier News
      • Technology
      • Telemetry & Communications
      • Weapons Testing
      • Wind Tunnels
  • Features
  • Magazines
    1. March 2025
    2. Dec 2024/Jan 2025
    3. Showcase 2025
    4. September 2024
    5. June 2024
    6. March 2024
    7. Archive Issues
    8. Subscribe Free!
    Featured
    19th March 2025

    In this issue: March 2025

    Online Magazines By Ben Sampson
    Recent

    In this issue: March 2025

    19th March 2025
    contents and front cover of magazine

    In this issue: December / January 2025

    19th December 2024
    Showcase 2025

    In this issue – Showcase 2025

    6th November 2024
  • Opinion
  • Webinars
  • Events
    • All Events
    • Aerospace Test & Development Show
  • Podcasts
  • Videos
  • Suppliers
    • Supplier Spotlights
    • Press Releases
    • Technical Papers
  • Jobs
    • Browse Jobs
    • Post a Job – It’s FREE!
    • Manage Jobs (Employers)
LinkedIn YouTube X (Twitter)
Aerospace Testing InternationalAerospace Testing International
Software

Software testing firm AdaCore expands in UK

Ben SampsonBy Ben Sampson16th August 20192 Mins Read
Share LinkedIn Twitter Facebook Email
AdaCore logo

Software development and verification tool provider AdaCore has opened an office in Bristol, UK to support growth of the use of software-based systems in the aerospace and defence sectors.

AdaCore supplies its GNAT Pro software development tool, the CodePeer and SparkPro software analysis and verification tools as well as the QGen development tool for control systems to the aerospace sector.

Recent customer projects include the Airbus A350, in which Thales selected its GNAT Pro product to build the Air Data Inertial Reference Unit, and the use of its products by the aerospace company AVIO for European Space Agency programs.

AdaCore plans to employ five software engineers over the next three years in the Bristol office. The UK branch of AdaCore will focus on developing a technical centre-of-excellence to develop safe and secure software development tools for the UK market, including sales and marketing divisions.

Cyrille Comar, AdaCore Group President said, “Our decision to open AdaCore in the UK 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.

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

Mark Scully, head of technology for Propulsion & Advanced Systems at UK-based research organisataion the Aerospace Technology Institute (ATI) said, “We welcome the launch of AdaCore’s new operation, which will increase the UK’s capability in safety-critical software.

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

As it does elsewhere, AdaCore plans offer more public Ada training courses and events in the UK to help new users learn 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, managing director of AdaCore in the UK.

 

Share. Twitter LinkedIn Facebook Email
Previous ArticleSweeper Scanner introduced for ultrasonic testing
Next Article Atkins and Aeralis to partner on low-cost modular training jet aircraft
Ben Sampson

Ben has worked as a journalist and editor, covering technology, engineering and industry for the last 20 years. Initially writing about subjects from nuclear submarines to autonomous cars to future design and manufacturing technologies, he was editor of a leading UK-based engineering magazine before becoming editor of Aerospace Testing in 2017.

Related Posts

digital twins
News

Belfast digital twin centre opens for business

6th May 20252 Mins Read
News

IFS launches development service for bespoke industrial AI applications

23rd April 20252 Mins Read
Aeralis aircraft
Defense

Aeralis launches European subsidiary

17th February 20252 Mins Read
Latest Posts

Industry Adoption of 3D Optical Surface Gauges

21st May 2025

NDT: Robotics and software spur innovation

21st May 2025

Wisk and NASA to partner on US autonomous flight operations and standards

20th May 2025
Supplier Spotlights
Our Social Channels
  • Twitter
  • YouTube
  • LinkedIn
Getting in Touch
  • Subscribe To Magazine
  • Contact Us
  • Meet the Team
  • Media Pack
Related Topics
  • Aircraft Interiors
  • Business Jet Interiors
FREE WEEKLY NEWS EMAIL!

Get the 'best of the week' from this website direct to your inbox every Wednesday

© 2023 Mark Allen Group Ltd | All Rights Reserved
  • Cookie Policy
  • Privacy Policy
  • Terms & Conditions

Type above and press Enter to search. Press Esc to cancel.