• 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 Dec 6 '16

    CodePeer Static Analysis Tool Officially Registered as CWE-Compatible

    Posted by AdaCore
    AdaCore’s CodePeer advanced static analysis tool for Ada has been formally designated as “CWE-Compatible” by the MITRE Corporation’s Common Weakness Enumeration (CWE) Compatibility and Effectiveness Program. This program is a web-based initiative that consolidates and organizes information about cyber-security products and services.
    Continue Reading
  • Press Release Nov 28 '16

    Winners Announced for First Annual “Make with Ada” Programming Competition

    Posted by AdaCore
    AdaCore has announced the winners from the First “Make with Ada” programming competition. The prizes are awarded to the projects that best meet the overall criteria of software dependability, openness, collaborativeness and inventiveness. The First Place prize of €5000 went to Stephane Carrez for his EtherScope monitoring tool that analyzes Ethernet traffic.
    Continue Reading
  • Press Release Sep 20 '16

    AdaCore and Altran to sponsor High Integrity Software Conference

    Posted by AdaCore, Altran
    AdaCore and Altran have announced their renewed sponsorship of the annual High Integrity Software Conference, which takes place in Bristol on 1 November 2016. The conference programme can be found at www.his-2016.co.uk/programme; it covers many topics including security, autonomy, standards and techniques & tools.
    Continue Reading
  • Press Release Jul 19 '16

    Ada Helps ExoMars Get to the Red Planet

    Posted by AdaCore
    AdaCore’s GNAT Pro Ada cross compilation environment has been successfully used by Thales Alenia Space to develop and verify the critical software embedded on the ExoMars program. Thales Alenia Space implemented in Ada two ExoMars On-Board Software (OBSW) components: one for the Trace Gas Orbiter (TGO) on an ERC32 target, and one for the Entry, Descent and Landing Demonstrator Module (EDM) on a LEON2 target.
    Continue Reading
  • Press Release Jul 2 '16

    AdaCore booklet helps Railway Developers

    Posted by AdaCore
    AdaCore has published a 70-page booklet authored by AdaCore expert Quentin Ochem and CERTIFIER safety assessor Jean-Louis Boulanger; it summarizes CENELEC EN 50128:2011 railway software standard and explains how the Ada programming language and AdaCore’s products can be used to meet its requirements throughout the software life cycle. The report can be downloaded from http://adacore.com/en-50128.
    Continue Reading
  • Press Release Jun 20 '16

    AdaCore announces Make With Ada Competition with a top prize of €5000

    Posted by AdaCore
    Today, AdaCore launched the “Make with Ada” programming competition, a contest that aims to help the embedded software community improve the quality of their code by encouraging the use of the Ada and SPARK programming languages. The competition will run from June 20 to September 30, 2016 and offers over €8000 in total prizes.
    Continue Reading
  • Press Release Jun 13 '16

    PTC releases ObjectAda 64 for Windows

    Posted by PTC
    PTC today announced its first release of full 64-bit code generation capability in the PTC ® ObjectAda product line. With this release of PTC ObjectAda64 v9.2 for Windows, ObjectAda gains full 64-bit application development & execution as well as Windows 10 compatibility.
    Continue Reading
  • Press Release Feb 24 '16

    Ada 2012 Language Standard Corrigendum Approved by ISO

    Posted by Ada Europe, ARA

    The Ada Resource Association (ARA) and Ada-Europe today announced that an update to the Ada 2012 language standard, formally known as Technical Corrigendum 1 to ISO/IEC 8652:2012, has been approved and officially published by the Geneva-based International Organization for Standardization (ISO). Comprising a variety of clarifications and minor corrections driven by implementation and user experience, the Corrigendum was developed under the auspices of Working Group ISO/IEC JTC1/SC22/WG9, in particular by WG9’s Ada Rapporteur Group (ARG), and was issued on February 1, 2016.

    The full press release can be found on our site, or on BusinessWire.

    Continue Reading
  • Press Release Feb 24 '16

    AdaCore releases GNATPro 7.4

    Posted by AdaCore
    AdaCore has released a new version of its flagship GNAT Pro Ada Development Environment. GNAT Pro 7.4 incorporates new functionality, a number of performance improvements, additional platform support including several new embedded targets, and many other enhancements.
    Continue Reading
  • Press Release Feb 24 '16

    AdaCore releases QGen 2.1

    Posted by AdaCore
    AdaCore has released a new version of its model-based development and verification toolset, QGen. QGen provides a qualifiable and customizable code generator from Simulink® and Stateflow® models to the safety-oriented programming languages SPARK (a formally analyzable Ada subset) and MISRA C. QGen 2.1 supports essentially all constructs used for modeling safety-critical control systems.
    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