• 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 Nov 13 '17

    Thales Using AdaCore’s GNAT Pro for Critical Avionics Software

    Posted by AdaCore
    AdaCore today announced that its GNAT Pro Ada environment has been successfully used by Thales to develop and verify a qualified autocode generator for critical airborne software. Thales implemented the autocode generator in Ada; the tool takes an XML file and produces source code for an embedded avionics system that will be assessed against the Level B objectives in DO-178C / ED-12C.
    Continue Reading
  • Press Release Oct 25 '17

    “Make it with Ada” competition winners announced

    Posted by AdaCore

    AdaCore today announced the winners of its second annual Make with Ada programming competition for embedded projects. Make with Ada aims to show how the Ada and SPARK language technologies can significantly improve code quality for modern embedded systems without requiring a steep learning curve for developers unfamiliar with these languages. Prizes are awarded to the projects that best meet the overall criteria of software dependability, openness, collaborativeness and inventiveness.

    Read the linked press release for the details.

    Continue Reading
  • Press Release May 24 '17

    GNAT Pro Supports FACE Conformant VxWorks 653

    Posted by AdaCore
    The GNAT Pro Ada Development Environment is available the Wind River® FACE Certified VxWorks® 653 Platform. In addition, AdaCore has initiated the FACE verification/certification process for GNAT Pro. VxWorks 653 is the first Commercial-Off-The-Shelf (COTS) product to be certified as conformant to the FACE Technical Standard’s Operating System Segment (OSS) Safety Base Profile.
    Continue Reading
  • Press Release May 23 '17

    MHI Aerospace Systems Corp. Selects AdaCore’s QGen for Model-Based Development

    Posted by AdaCore
    MHI Aerospace Systems Corporation (MASC) has selected the QGen toolset to develop the software for the Throttle Quadrant Assembly (TQA) system. This avionics research project is being conducted to meet the Level C objectives in the DO-178C safety standard for airborne software and its DO-331 supplement on Model-Based Development and Verification. The use of a qualified code generator can help save significant effort in developing and verifying the software, and the future availability of qualification material from AdaCore factored strongly in MASC’s decision to choose QGen. The QGen code generator can be qualified at the highest Tool Qualification Level, TQL-1 (equivalent to a development tool in DO-178B).
    Continue Reading
  • Press Release May 15 '17

    AdaCore Launches “Make with Ada” Programming Competition, with €5000 Top Prize

    Posted by AdaCore
    AdaCore today launched its 2nd annual “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 runs from May 15 to September 15, 2017, and offers over €8000 in total prizes. Participants can register for the competition at .
    Continue Reading
  • 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
  • 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
  • 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
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