AdaCore Technologies Inc


Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore's flagship product is the GNAT Pro development environment, which comes with expert online support and is available on more platforms than any other Ada technology.

A longstanding partnership integrating AdaCore's software solutions for Ada with Wind River's aerospace and defense platform solutions.

AdaCore enables use of their GNAT Pro development environment for VxWorks and Wind River Linux operating systems. The company also uses Simics internally and promote its use to end customers. GNAT Pro and GNAT Pro Safety-Critical are fully integrated into the Wind River tool suite and execution platform, with integration evident at all levels: tools, services, formats, and kernels. The products implement all versions of the Ada language standard, including Ada 2012 with its contract-based programming features, and are backed by expert support services. Customers have used GNAT Pro and GNAT Pro Safety-Critical on Wind River platforms to successfully develop efficient, safety-certified systems, including mixed-language applications with Ada interoperating smoothly with C and C++. Examples include the AMX Modernization program, Barco's advanced business jet avionics display system, the nEUROn Unmanned Aircraft, the Refuelling Boom System, the C130 J Flight Management System, the Astute-Class Submarine Periscope, and the 787 Dreamliner (Common Core System).

  • Robust and flexible Ada development environment
  • Mixed language solutions that allow programmers to write code in Ada, C, and C++ within a single development environment
  • With an unprecedented level of portability, GNAT Pro supports the widest range of native platforms of any Ada development technology

Company Info

AdaCore Technologies Inc
46 Rue D Amsterdam, Paris, France, 75009
2126207300

Partner type
ISV

Markets
Aerospace & Defense

Partner Tier
Gold

Products Supported
VxWorks
Wind River Linux
Virtualization
Simics
VxWorks653

EXPLORE