• 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 2 '11

    NIST Report Shows SPARK Most Suitable Language for Secure Programming

    Posted by AdaCore, Altran
    The SPARK language shown to have fewest vulnerabilities.
    Continue Reading
  • Press Release May 2 '11

    Thales Selects AdaCore Toolset for Argos Satellite Project

    Posted by AdaCore
    GNAT Pro to be used on high-assurance software for global location and data collection system.
    Continue Reading
  • Press Release May 2 '11

    Rockwell Collins Selects GNAT Pro for Advanced Avionics Display System

    Posted by AdaCore
    GNAT Pro High-Integrity Edition for DO-178B used for EFIS/EICAS upgrade and modernization
    Continue Reading
  • Press Release Apr 14 '11

    LDRA and TASKING Tool Integration Offers Compliance for Automotive, Control and Avionics Markets

    Posted by LDRA
    The LDRA tool suite’s integration with the TASKING VX-toolset for Infineon’s C166 brings certifiability to this small footprint family and its derivatives. LDRA stands alone in providing standard compliance across all stages of the lifecycle whether for automotive with MISRA and ISO 26262, industrial with IEC 61508 or avionics/military with DO-178B.
    Continue Reading
  • Blog Apr 7 '11

    SPARK Developers Janet Barnes and Rod Ch...

    by jayre

    At the 3rd International Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2010), it was announced that Microsoft Research would sponsor an award that recognises significant technological advances towards the goals of the Verified Software Initiative (VSI).

    From the announcement:
    We are delighted to announce that the recipients of the inaugural Microsoft Research Verified Software Milestone Award are Janet Barnes and Rod Chapman for the Tokeneer Project (http://www.altran-praxis.com/security.aspx).

    The formal presentation of the Award will be made to Janet and Rod at AVoCS 2011 (http://conferences.ncl.ac.uk/AVoCS2011/), which is being hosted by Newcastle University this September.

    The full award citation is provided along with further details of the award process at the VSI website, i.e. http://dream.inf.ed.ac.uk/vsi

    Read Blog Entry
  • Blog Mar 24 '11

    SIGAda 2011 conference Call for Papers

    by jayre

    Papers are now being accepted for the SIGAda 2011 conference. Here are the details:

    SIGAda 2011
    Denver, Colorado, USA
    November 6 – 10, 2011

    Call for Technical Contributions

    ACM Annual International Conference
    on Ada and Related Technologies:
    Engineering Safe, Secure, and Reliable Software

    Submission Deadline: June 30, 2011
    Sponsored by ACM SIGAda

    Full call for papers at:
    http://www.sigada.org/conf/sigada2011/SIGAda2011-CFP.html

    Read Blog Entry
  • Blog Mar 24 '11

    Academic booth at Ada Connection event

    by jayre
    At this year’s Ada Connection (http://conferences.ncl.ac.uk/adaconnection2011/) taking place in Edinburgh we have allotted a booth for GAP members. We will have a poster listing all member universities and you will have the possibility to send course flyers for browsing on the tabletop. For more information and to manifest your interest, please don’t hesitate to contact Joan.Atkinson(at)ncl.ac.uk.
    Read Blog Entry
  • Blog Mar 23 '11

    [Video] Open source products for the dev...

    by jayre

    AdaCore Sales & Business Development Manager, Michaël Friess talks about how GNAT Pro’s latest tools, GNATcoverage and GNATemulator among others, are designed to help programmers in their effort to develop certifiable applications.


    Read Blog Entry
  • Blog Mar 17 '11

    DragonLace.Net added to free tools and l...

    by jayre

    We’ve just added DragonLace.Net to the free tools and libraries resource page.

    Over the last year, John Marino has developed a substantial set of patches and now GNAT from GCC-4.6 passes the entire ACATS and gnat.dg testsuite without failure on FreeBSD, DragonFlyBSD, and NetBSD on both the AMD64 and i386 platforms. The version is called “GNAT-AUX” and it also builds on OpenBSD with only a single failure the same two platforms.

    For more info: http://www.dragonlace.net/

    Read Blog Entry
  • Blog Mar 17 '11

    New collaborative group for Ada develope...

    by AdaCore

    A new group for Ada developers has been created on bettercodes.org. You can access it at: http://bettercodes.org/groups/ada/home/

    bettercodes.org aims to engage software developers to share their ideas and empower them to turn those ideas into code that works. It does so by connecting like-minded developers and enables them to collaborate on anything related to coding.

    Read Blog Entry
previous12345678910111213141516171819202122232425262728293031323334next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
CapgeminiEngineering_Logo View All Sponsors
AdaCore CapgeminiEngineering_Logo 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-2021 Ada Resource Association Site Map | Contact Us