• 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 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 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
  • Press Release Jan 28 '16

    AdaCore Releases SPARK Pro 16

    Posted by AdaCore
    AdaCore today announced the latest release of its SPARK Pro integrated development and verification environment, bringing a sound and mathematics-based static analysis technology to the challenges of software verification for high-assurance systems. SPARK Pro 16 provides enhanced coverage of SPARK 2014 language features and now supports the Ravenscar tasking profile, thus extending the benefits of formal verification methods to a safe subset of Ada 2012 concurrent programming features. As another improvement SPARK Pro 16 can generate counterexamples to verification conditions that cannot be proved, thus making it easier for developers to find defects in the functional code or in the supplied contracts. SPARK Pro 16 also improves the handling of bitwise (modular) operations, and the product’s proof engine now includes the Z3 SMT solver.
    Continue Reading
  • Press Release Jan 28 '16

    French Agency DGA Selects AdaCore’s GNAT Pro with SQUORE Technology

    Posted by AdaCore
    The Direction Générale de l’Armement (DGA) – the French government agency that oversees military procurements – has selected AdaCore and SQUORING Technologies to provide a graphical tool, AdaSquore, for military and civil avionics software audits. Featuring a smart dashboard that monitors the quality metrics of critical components, AdaSquore will facilitate the analysis of existing and new code in Ada and SPARK.
    Continue Reading
  • Press Release Jan 28 '16

    AdaCore’s CodePeer Selected for Digital Terrain System Requiring DO-178B Certification

    Posted by AdaCore
    AdaCore’ss CodePeer static analysis tool has been adopted by Atlantic Inertial Systems Limited for usage on its digital terrain system for military transport aircraft. CodePeer CodePeer will automate parts of the DO 178B verification process of the terrain referenced navigation software.
    Continue Reading
  • Press Release Sep 1 '15

    GNAT GPL now available for Raspberry PI 2

    Posted by AdaCore
    AdaCore today released a freely downloadable version of its GNAT GPL Ada cross-development environment for the Raspberry Pi 2 micro-PC running Embedded Linux. With this new cross-development environment, everyone can take advantage of Ada 2012’s reliability, safety and security benefits for their Raspberry Pi 2 applications.
    Continue Reading
  • Press Release Jul 21 '15

    GNAT Pro Available for Wind River VxWorks 7

    Posted by AdaCore
    AdaCore’s GNAT Pro is now available for Wind River VxWorks 7. AdaCore engineers worked closely with Wind River on this new product, ensuring that it would support both single- and multi-core systems, as well as other architectures. Enhancements over previous versions include a completely reengineered open source debugger protocol and more seamless integration with Wind River Workbench, and the development environment handles both all-Ada and multi-language applications.
    Continue Reading
previous123456789101112131415next
  • 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
AdaCore 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