• 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

    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
  • Press Release Mar 1 '11

    LDRA Tools Integrate IEC 61508 Compliance across the Software Lifecycle

    Posted by LDRA
    LDRA delivers compliance for IEC 61508, a standard which proves the functional safety of programmable electronic systems performing safety functions. Because of the integration of the LDRA tool suite, LDRA applies compliance to IEC 61508 from requirements through design, code, analysis and testing.
    Continue Reading
  • Press Release Mar 1 '11

    LDRA Boosts Automation and Transparency of Test Process

    Posted by LDRA
    To automate test processes and replace traditional test silos with an integrated test management process, LDRA extends the capabilities of TBmanager, a test management and traceability component within the LDRA tool suite. TBmanager manages the flux between requirements, code and tests, providing improved transparency and consistent test plans.
    Continue Reading
previous123456789101112131415161718192021222324252627282930313233next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
Altran_2019_Logo View All Sponsors

Upcoming Events

  • Ada-Europe 2021
    Jun 7-11, 2021 Virtual (was Santander Spain)

View All Events




AdaCore Altran_2019_Logo PTC Logo

Ada Advantages

  • Ada constructs not found in C/C++
  • Ada Overview
  • Comparing “Strong Typing” in Ada, C, and C++
  • Runtime overhead of Ada programs
  • Where did those Ada OOP features come from?
  • 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