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

Ada Resource Association

News and resource for the Ada programming language

  • 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
  • Blog May 16 '13

    Updated Ada 2012 Rationale available

    by brukardt

    An updated edition of the Ada 2012 Rationale is available at:

    http://www.ada-auth.org/standards/rationale12.html

    This edition of the Rationale combines the first seven chapters of the Rationale into a single document, fixes a number of errors, adds an index, and adds discussion of various details of Ada 2012 that were changed since the original publication of these chapters in the Ada User Journal. We expect that additional chapters will be added to this edition roughly every three months.

    The Rationale for Ada 2012 provides an overview of new Ada 2012 features, examples of their use, compatibility with Ada 95 and 2005, and more. It was written by John Barnes, and was sponsored in part by the Ada Resource Association. This is an unofficial description of the language; refer to the Ada 2012 standard for detailed language rules.

    Randy Brukardt, ARG Editor

    Read Blog Entry
  • 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
  • Blog Apr 17 '13

    Highlighting Ada on Social Media Sites

    by brukardt

    Based on a discussion on comp.lang.ada, we’ve created a new category on our “Learning Materials” for social media sites, and added links to the Ada groups on a number of them:

    • Stackoverflow – Questions and answers for programmers
    • Google+ – Ada Programming Community
    • LinkedIn – Ada Group

    All of these provide places to get help and information about Ada from other Ada users. We also added Planet Ada, a news and information site, to the website listings. These join the Reddit and Wikibooks sites, along with the old stand-by of the comp.lang.ada newsgroup, as places to go for Ada information.

    Read Blog Entry
  • Article Apr 9 '13

    Ada 2012: Ada With Contracts

    Published in Dr. Dobbs by Robert Dewar
    This article is a tour of the new contract features in Ada 2012.
    Continue Reading
    Tags Ada 2012contract-based programming
  • Article Apr 9 '13

    A new Embedded Ada book

    Published in Embedded.com by Jack Ganssle
    Jack Ganssle describes and discusses the McCormick, Singhoff, and Hugues book on embedded programming in Ada, suggesting that embedded programmers should read it, regardless of which language they currently use. (He calls it “new”, but it’s been around a while, having an April 2011 publication date and it’s been posted here for a while.)
    Continue Reading
    Tags Ada 2005Embedded/Real-time
  • Blog Apr 8 '13

    Ada inflitrates strongSwan

    by brukardt

    The popular strongSwan open source IPsec VPN project now makes use of Ada.

    The latest strongSwan release 5.0.3 [1] contains support for the Trusted Key Manager (TKM), which is a separate process providing security critical operations of the IKEv2 protocol. The TKM has been implemented from scratch in Ada, using some of the new Ada 2012 contract features for added confidence of meeting the specification.

    For more, see the project website at http://www.codelabs.ch/tkm/.

    Read Blog Entry
  • Press Release Mar 12 '13

    Atego Releases New Version of Atego ApexAda Developer for Ada 2005

    Posted by Atego
    Atego™, launches a new version of Atego ApexAda™ Developer Enterprise Edition with Ada 2005 support. Atego ApexAda Developer 5.0 is a major new release with complete support for the language features in Ada 2005. It passes all available Ada Conformity Assessment Test Suite (ACATS) tests applicable for native code compilation and execution. The Atego ApexAda Developer product provides a complete solution for editing, compiling, debugging, testing, managing, and executing even the most complex and challenging Ada applications on UNIX and Linux-based operating systems.
    Continue Reading
previous12345678910111213141516171819next
  • Press
  • Articles
  • Events

ARA Ada Resource Association

Welcome to the Ada Information Clearinghouse, your portal to news and resources for Ada and related technologies. This website is maintained by the Ada Resource Association.

Learn more about the ARA

ARA Sponsor Spotlight
Altran View All Sponsors

Case Studies

Eurofighter Typhoon

BAE Systems are using Ada in the development of software for the Eurofighter's mission computers. Continue Reading

Upcoming Events

  • HILT 2013
    Nov 10-14, 2013 Pittsburgh, Pennsylvania (USA)

View All Events




AdaCore Altran atego

Ada Advantages

  • Ada Overview
  • 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-2013 Ada Resource Association Site Map | Contact Us