Accès au site français Welcome to You buy France The french suppliers portal

SHARE THIS COMPANY

twitter linkedin facebook viadeo

You buy France

ADACORE

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 open source GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology.
Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including space-based systems, commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains, such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.

+ Read more

 

Company profile

Related activities :

Electronics and information technology

Export area :

African countries of the Indian Ocean

C.E.I.

Caribbean

Central America

Europe outside E.U.

European Union

French overseas departments and territories

Near and Middle East

North Africa

North America

North Asia

Oceania

Polar areas

South America

South Asia

South-east Asia

Sub-Saharan Africa

Local presence :

C.E.I.

European Union

North America

Oceania

South Asia

Target countries :

African countries of the Indian Ocean

C.E.I.

Caribbean

Central America

Europe outside E.U.

European Union

French overseas departments and territories

Near and Middle East

North Africa

North America

North Asia

Oceania

Polar areas

South America

South Asia

South-east Asia

Sub-Saharan Africa

More information

Company Products and Services

Range of product lines

Download Company Information

AdaCore and Altran Toolsets Help Launch CubeSat into Orbit

AdaCore and Altran announced a new space application for the GNAT Pro technology and SPARK language toolset, with the successful launch of Vermont Technical College’s Lunar CubeSat. The tiny satellite, measuring only 10 cm x 10 cm x 10 cm and weighing 1.1 kg, was launched into a 500 km earth orbit, where it will remain for about three years to test the systems that will be used for the eventual lunar mission.

Tags: Altran, CubeSat, Vermont Technical College, GNAT Pro, SPARK

 

AdaCore Brings Ada to Wind River Linux

AdaCore today announced the availability of the GNAT Pro Ada development environment on the Wind River Linux platform.

Tags: Wind River, Linux, reliability

 

AdaCore Launches Free, Online Ada Educational Resource for the Software Development Community

AdaCore today launched AdaCore University - a free, web-based resource center for anyone interested in learning about, or how to program in, the Ada programming language. The new website offers pre-recorded courses and other learning materials on Ada, with access to AdaCore’s GNAT Ada toolset for writing and running example programs.

Tags: AdaCore University, Ada educational resource, software development community

 

Astrium Selects AdaCore’s GNAT Pro and PolyORB for International Space Station

AdaCore announced today that Astrium, a wholly owned subsidiary of EADS, has selected AdaCore’s GNAT Pro development environment and PolyORB middleware toolset for use in the Core Ground System (CGS) - CGS forms the basis to operate the Columbus laboratory, the European contribution to the International Space Station (ISS).

Tags: Astrium, GNAT Pro, PolyORB, CGS

 

Saab Electronic Defence Systems Adopts AdaCore’s CodePeer

AdaCore today announced that Saab Electronic Defence Systems (Sweden) has adopted the CodePeer static analyzer tool for use on the GIRAFFE project.

Tags: Saab, CodePeer, defence systems, GIRAFFE project, static analysis tool

 

SmartSide Adopts Ada and GNAT Pro for Smart Devices Platform

AdaCore today announced that SmartSide, a Paris-based company providing smart metering and smart grid management solutions, has adopted the Ada programming language and AdaCore’s GNAT Pro development environment for the implementation of their Smart Devices platform.

Tags: SmartSide, Ada, GNAT Pro, Smart Devices Platform, generic core, user interfaces

 

TOYOTA ITC Japan Selects SPARK Pro Language and Toolset for High-Reliability Research Project

AdaCore and Altran today announced TOYOTA InfoTechnology Center (ITC) Japan’s selection of the SPARK language and SPARK Pro toolset for a high-reliability software research project.

Tags: Toyota ITC Japan, Altran, SPARK Pro, high-reliability, research project,

 

Traceability Analysis Helps Rockwell Collins Achieve DO-178B Certification

AdaCore today announced the successful usage of its Code Traceability Analysis for DO-178B by Rockwell Collins in the certification of the Integrated Display System (IDS) for a large, next-generation, commercial aircraft.

Tags: Rockwell Collins, traceability analysis, DO-178B certification, Integrated Display System, critical system

 

Social network

...About

   

 

 

 

 

 

 

 

Business France contributes to the development and success of French and foreign businesses wishing to expand abroad by supporting them throughout the lifetime of their projects, and is driven by an efficient, result-oriented working culture. > Read more

 

Discover the French know how:
   

      

  

Rail industry