• 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 Jun 30 '11

    Siemens Switzerland Selects AdaCore Toolset for Railway Project

    Posted by AdaCore
    GNAT Pro to be used for safety-critical software development of railway control system
    Continue Reading
  • Press Release Jun 22 '11

    LDRA Slashes Time and Cost of Certifying HC08/HCS08 to Stringent Avionics, Medical and Automotive Standards

    Posted by LDRA
    Targeting avionics, medical and automotive applications, LDRA integrated the LDRA tool suite with Code Warrior for HC08/HCS08, bringing powerful certification capabilities to this 8-bit footprint.
    Continue Reading
  • Press Release Jun 7 '11

    AdaCore and Altran Praxis Release SPARK Pro 10

    Posted by AdaCore
    Increased flexibility and functionality for high-assurance systems
    Continue Reading
  • Press Release May 18 '11

    Ada Resource Association Unveils New Organizational Structure

    Posted by ARA

    New sponsorship opportunities, enhanced website

    OAKTON, Va., May 16, 2011 – The Ada Resource Association (ARA), a non-profit organization chartered to sustain and promote the Ada programming language, today announced a new organizational structure designed to strengthen the association’s Ada advocacy role and to offer a wider range of opportunities for community participation and support. To help launch this initiative, the ARA has introduced a revised Ada Information Clearinghouse (AdaIC) website – http://www.adaic.org – to serve as a focal point for Ada-related news and information.

    (more…)
    Continue Reading
  • Press Release May 2 '11

    LDRA Tool Suite—First to Provide Requirements to Object-Code Traceability

    Posted by LDRA
    LDRA has developed the requirements-to-object–code traceability necessary for devices required to meet the most critical levels of certification. This comprehensive traceability ensures that verification problems found at the object-code level can be quickly and easily traced to the originating source code and requirements levels.
    Continue Reading
  • Press Release May 2 '11

    LDRA Implements Homeland Security’s Secure Programming Guidelines

    Posted by LDRA
    LDRA adds CWE Compatibility to its long suit of industry and programming standards. Sponsored by the U.S. Department of Homeland Security, CWE Compatibility confirms that the LDRA tool suite can identify common programming errors contributing to software containing potentially exploitable vulnerabilities.
    Continue Reading
  • 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
previous12345678910111213141516171819next
  • 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