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