• 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 May 11 '17

    SPARK Adoption Guidance Published

    Posted by AdaCore
    A free booklet, co-authored by AdaCore and Thales, explains how to exploit SPARK/Ada technology to achieve high levels of software assurance. The booklet, Implementation Guidance for the Adoption of SPARK, which explains how best to introduce and make use of the SPARK/Ada formal verification technology based on a project’s assurance goals. It explains the associated benefits and costs at each level, and details the processes that Thales is using to introduce formal verification in operational projects. The booklet will be a valuable resource for anyone responsible for producing high-assurance software for critical systems.
    Continue Reading
  • Blog Apr 28 '17

    Ada Prehistory Unearthed

    by brukardt

    The president of the ARA, Ben Brosgol, has unearthed a part of Ada Prehistory, a document from June 1976 titled “A Common Programming Language for the Department of Defense – Background and Technical Requirements”. We’ve posted it in the AdaIC archives in the Policy and History section. You can access it directly at http://archive.adaic.com/pol-hist/history/Fisher-P-1191.pdf. (Warning: this is a 7.5 megabyte file.)

    This report is a very early description of the process that led to Ada: it predates the language design competition. (Ben, for those of you who don’t know, was a principal designer for the runner-up language – Red – in that language design competition. Red was an interesting language in its own right.)

    Read Blog Entry
  • Press Release Apr 4 '17

    PTC ApexAda 5.2 is released with full 64-bit support

    Posted by PTC
    PTC today released full 64-bit code generation capability for embedded applications in the PTC ApexAda product line. This new release targets Intel x86_64 processors running Wind River VxWorks V7, and can also be used for Linux native application development.
    Continue Reading
  • Article Mar 31 '17

    Ada: a C Developer’s Perspective

    Published in Methods and Tools by Robert Tice
    The author describes how Ada appeared to a long-time C programmer.
    Continue Reading
  • Article Mar 22 '17

    Comparing Ada and High Integrity C++

    Published in Blog by Jim Rogers
    Jim Rogers compares the High Integrity C++ standard to out-of-the-box Ada, and notes that many of the recommendations are unnecessary for Ada, and others where using of a separate tool is required are supported directly by Ada profiles and restrictions.
    Continue Reading
  • Press Release Mar 21 '17

    AdaCore Releases GNAT Pro for SYSGO’s PikeOS RTOS

    Posted by AdaCore
    AdaCore has released its GNAT Pro 17.1 development environment for SYSGO’s Real-Time Operating System PikeOS®. AdaCore and SYSGO are longtime partners in the embedded market, with Ada’s reliability benefits providing an excellent match for SYSGO’s safety-critical PikeOS® RTOS. GNAT Pro for PikeOS® is especially suited for high-assurance embedded applications, thanks to its configurable run-time capability and its high-integrity profiles.
    Continue Reading
  • Press Release Mar 21 '17

    AdaCore Publishes Handbook on DO-178C/ED-12C Guidance

    Posted by AdaCore
    The handbook addresses the DO-178C / ED-12C standards suite, providing insights into how the Ada and SPARK languages, can help customers develop and verify airborne software. The handbook can be downloaded from http://www.adacore.com/press/handbook-do-178c-ed-12c-guidance/.
    Continue Reading
  • Press Release Mar 15 '17

    AdaCore Releases New Versions of GNAT Pro, CodePeer, QGen and SPARK Pro

    Posted by AdaCore
    AdaCore has announced new versions of its flagship products GNAT Pro, CodePeer, QGen and SPARK Pro.
    Continue Reading
  • Blog Mar 10 '17

    Consolidated RM available in EMACS info ...

    by brukardt
    The consolidated Ada Reference manual is now available in EMACS info format, through the efforts of Stephen Leake. Find out more at his site — http://stephe-leake.org/ada/arm.html. The consolidated Ada 2012 Reference manual includes the original third edition (Ada 2012) and the corrections from Technical Corrigendum 1.
    Read Blog Entry
  • Article Feb 24 '17

    Ada language for automation

    Published in CAN Newsletter by Stéphane Los
    Ada for Automation (A4A) is a framework for designing industrial automation applications using the Ada language. It makes use of Hilscher boards and can exchange process data via CANopen.
    Continue Reading
previous123456789101112131415161718192021222324252627282930313233next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
AdaCore View All Sponsors



AdaCore Altran_2019_Logo PTC Logo

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-2021 Ada Resource Association Site Map | Contact Us