• Home
  • Ada Advantages
  • Learn Ada
  • Resources
  • ARA Community
Site Map | Contact Us

Ada Resource Association

News and resource for the Ada programming language

  • Press Release Nov 19 '13

    AdaCore and Altran Toolsets Help Launch CubeSat into Orbit

    Posted by AdaCore, Altran

    NEW YORK, PARIS, & BATH, United Kingdom–Today, 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. The CubeSat project is part of NASA’s ELaNa IV program (Educational Launch of Nano-satellites).

    The CubeSat’s navigation and control software was developed in SPARK/Ada using AdaCore’s GNAT Programming Studio (GPS) IDE and GNAT Pro compiler and exploiting Altran’s SPARK toolset to prove the absence of run-time errors. The software was developed at Vermont Technical College by a team of undergraduate students under the direction of Dr. Peter Chapin. Although they had no previous knowledge of SPARK or Ada, the students came up to speed quickly and were able to take advantage of SPARK’s various annotations to produce robust code.

    Read the full release

    Visit the project website

    Continue Reading
  • Press Release Nov 12 '13

    AdaCore Releases Major New Version of GNAT Programming Studio

    Posted by AdaCore

    PITTSBURGH, Pa., NEW YORK and PARIS, November 12, 2013 – ACM SIGAda HILT Conference – AdaCore today announced the release of the GPS 6.0 graphical Integrated Development Environment (IDE), a major upgrade with a significantly revised and cleaner user interface that eases program navigation and editing. With this new version of the GNAT Programming Studio, developers can take advantage of more space for editing and a number of design changes that bring program-related information within easy reach. The revised look and feel is supported by a new relational database at the heart of the GPS engine, making code navigation much more efficient. The principles underlying the GPS 6.0 revision help the IDE achieve its main goal: to serve as a customizable platform for multi-language, multi-tool integration, usable by developers at all experience levels.

    Continue Reading
  • Press Release Sep 25 '13

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

    Posted by AdaCore
    AdaCore has launched a new, free, web-based resource center called AdaCore University at university.adacore.com. The new website offers pre-recorded courses and other learning materials for anyone interested in learning about, or how to program in, the Ada programming language.
    Continue Reading
  • Press Release Jul 3 '13

    AdaCore Brings Ada to Wind River Linux

    Posted by AdaCore
    The GNAT Pro Ada development environment is now available for the Wind River Linux platform. This new implementation brings the Ada language’s reliability benefits to the increasingly popular Wind River Linux system. AdaCore offers the industry’s leading Ada solution for Wind River’s products, including a GNAT Pro implementation for Wind River’s VxWorks® real-time operating system (RTOS).
    Continue Reading
  • Press Release May 29 '13

    AdaCore Announces Successful Completion of Project Hi-Lite

    Posted by AdaCore, Altran
    AdaCore and its research partners today announced the successful completion of Project Hi-Lite, a three-year, €3.9 million effort aimed at popularizing formal methods in the development of high integrity software by combining formal verification and testing. Hi-Lite took advantage of Airbus’ decade-long experience using formal verification methods to create high integrity systems, and leveraged the powerful industrial tools already developed by the project partners. The work was sponsored by the French Government and the General Council of the Département of Essonne and was conducted by a partnership comprising AdaCore, Altran, Astrium Space Transportation, CEA List, INRIA Toccata and Thales Communications. Hi-Lite’s main goal was to make formal verification faster and easier to use across large, multi-language projects that need to meet safety certification criteria, and the project has successfully achieved this objective. “Hi-Lite has allowed us to take advanced program proving technology that was developed in academia and adapt it for industrial use,” said Yannick Moy, Hi-Lite Project Manager at AdaCore. “The project has shown that formal verification can complement testing and play a prominent and practical role in verifying critical software.”
    Continue Reading
  • Press Release Apr 23 '13

    AdaCore Releases Major New Version of CodePeer Static Analysis Tool

    Posted by AdaCore
    CodePeer is an advanced static analysis tool helps developers detect potential run-time and logic errors in Ada programs. CodePeer 2.2 brings users an extra level of flexibility through interfaces to Eclipse, spreadsheets, full HTML capabilities, as well as solutions for the full range of Ada projects, including those with requirements for the highest levels of integrity and certification, and systems with large and complex code bases.
    Continue Reading
  • Press Release Apr 23 '13

    AdaCore Releases GNAT Pro 7.1

    Posted by AdaCore
    GNAT Pro 7.1 is a major new version of the company’s flagship development environment that brings a combination of advantages: extreme stability for existing users, support for an increasingly wider range of platforms and targets, significant performance enhancements, and a wealth of new capabilities and features. The most striking new feature, support for automatic data endianness conversion, is already a customer favorite.
    Continue Reading
  • Press Release Apr 23 '13

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

    Posted by AdaCore
    TOYOTA InfoTechnology Center Japan has selected the SPARK language and SPARK Pro toolset for a high-reliability software research project. The goal of the project is to show that software requirements can be transformed into an implementation that can be proven to be free of run-time errors. This will have the key advantage of providing ultra-low-defect software for higher reliability in a vehicle component.
    Continue Reading
  • Press Release Feb 26 '13

    AdaCore Releases GNAT Pro Safety-Critical for ARM Processors

    Posted by AdaCore
    AdaCore today announced the availability of its GNAT Pro Safety-Critical product for ARM Cortex micro-controllers. This bareboard GNAT Pro Safety-Critical product provides a complete Ada development environment, oriented towards systems that are safety-critical or have stringent memory constraints. Developers of such systems can now exploit the software engineering benefits of the Ada language, including reliability, maintainability, and portability.
    Continue Reading
  • Press Release Feb 14 '13

    Ada 2012 : A Love Story (for geeks)

    Posted by AdaCore
    Calling all fellow software engineers (Ada geeks)! On this Valentine’s Day, AdaCore invites you to open your hearts and help share the passion for all things Ada! As so many developers know, relationships with programming languages can be a lot like romances: First there are wild infatuations and brief honeymoons filled with eager expectations. Then come realities, incompatibilities, even loveless cohabitation. So, what’s next? A remorseful search for a new relationship, or reconciliation and renewed passion? Thanks to the new ISO-approved Ada 2012 standard, our ardor for Ada is now stronger than ever! Come join the conversation: Let us know why and how you use Ada, and what you love about it. Visit www.ada2012.org/passion.html and share your own ‘passion’ for Ada! Also, check us out on facebook at facebook.com/adapassion.
    Continue Reading
previous123456789101112131415next
  • Press
  • Articles
  • Events
Filter by Organization
  • Ada Europe
  • AdaCore
  • Advanced Technologies
  • Altran
  • ARA
  • ARG
  • Atego
  • LDRA
  • OC Systems
  • PTC
  • SIGAda
  • SofCheck
  • Sysgo

ARA Sponsor Spotlight
PTC Logo View All Sponsors

Upcoming Events

  • Ada-Europe 2023
    Jun 13-16, 2023 Lisbon, Portugal

View All Events



AdaCore PTC Logo

Ada Advantages

  • Ada 202x
  • Ada Overview
  • More Topics of Interest
  • Features & Benefits
  • Ada Comparison Chart
  • Ada 2012
  • Ada 2005
  • SPARK Ada
  • Ada and Multicore
  • Case Studies
  • Ada Projects

Ada Projects

Learn Ada

  • Learning Materials
  • Professional Training
  • Ada in Academia

Resources

  • Ada Standards
  • Free Tools & Libraries
  • Professional Tools and Services
  • Associations
  • Ada on the Web

ARA Community

  • Sponsors
  • Compilers and Conformity
  • Join the ARA
  • ARA Press Releases

Copyright © 2009-2023 Ada Resource Association Site Map | Contact Us