• 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 Feb 24 '15

    AdaCore Releases GNAT Pro 7.3

    Posted by AdaCore
    AdaCore has released GNAT Pro 7.3, the latest version of the company’s flagship Ada Development Environment. GNAT Pro 7.3 incorporates performance improvements, new functionality, and many other enhancements.
    Continue Reading
  • Press Release Jan 13 '15

    Muen Separation Kernel Upgrades to SPARK 2014 for Formal Verification

    Posted by AdaCore
    The Muen Kernel enforces a strict and robust isolation of components to shield security-critical functions from vulnerable software running on the same physical system. To achieve the necessary level of trustworthiness, the Muen team used the SPARK language and toolset to formally prove the absence of run-time errors. The most recent version of the Kernel upgrades the software to use the SPARK 2014 language, which allows the team to use more of the Ada language and provide the annotations in a more readable form.
    Continue Reading
  • Press Release Jan 9 '15

    AdaCore launches blog

    Posted by AdaCore
    AdaCore has launched a blog to provide an insight into the AdaCore ecosystem. The blog will cover both technical and less-technical topics (such as the business of Open Source software). The blog can be found at blog.adacore.com.
    Continue Reading
  • Press Release Dec 4 '14

    AdaCore Launches GNATdashboard

    Posted by AdaCore
    AdaCore today announced the preview release of GNATdashboard, a new tool that serves as a control panel for monitoring and improving the quality of Ada software. GNATdashboard feeds code quality information from AdaCore’s tools to the open source SonarQube code quality management platform and Squoring Technologies’ SQUORE quality and performance decision support solution.

    “For the first time, a tool focused on software quality assessment and management is available for Ada developers. It’s designed to help users understand their technical debt – which is essentially the price one pays for choices such as design decisions that make it difficult to implement changes later.”

    Continue Reading
  • Press Release Dec 3 '14

    New SIGAda “Powered by Ada” posters available

    Posted by SIGAda
    SIGAda has made a new set of “Powered by Ada” posters available, featuring the Rosetta and VTC Cubesat spacecrafts. All are available as high-quality PDFs.
    Continue Reading
  • Press Release Oct 23 '14

    AdaCore Development Environment Selected for New Spanish Satellite Project

    Posted by AdaCore
    AdaCore’s GNAT Pro cross-development environment has been selected by the Polytechnic University of Madrid (Universidad Politécnica de Madrid / UPM), for the UPMSat-2 UNION satellite project’s real-time on-board and ground control software. The 50kg micro-satellite, scheduled to be launched in Q4 2015, will provide a technology demonstration platform for the university from a sun-synchronous orbit nearly 600 km above Earth.
    Continue Reading
  • Press Release Oct 23 '14

    AdaCore’s CodePeer Static Analysis Tool Earns Qualification for Software Verification in Avionics, Railway

    Posted by AdaCore
    AdaCore’s CodePeer advanced static analysis tool for the automated review and validation of Ada source code has been qualified as a software verification tool for developers in both avionics and railway industries.
    Continue Reading
  • Press Release Jul 24 '14

    GNAT GPL now available for Bare Board ARM

    Posted by AdaCore

    AdaCore has released a freely downloadable version of its GNAT GPL Ada cross-development environment for Bare Board ARM Cortex processors. Developers of non-proprietary software can now exploit Ada 2012’s reliability, safety and security benefits for ARM applications.

    GNAT GPL for Bare Board ARM Cortex processors provides a complete Ada 2012 development environment, including a comprehensive tool-chain and GPS, AdaCore’s flagship Integrated Development Environment (IDE). It also includes a fully configurable/customizable run-time library consisting of the “Small Footprint” (SFP) and Ravenscar profiles that are particularly relevant to safety-critical systems. The SFP profile corresponds to a language subset with minimal GNAT run-time routines, and the Ravenscar profile is a subset of the Ada concurrency features with an efficient, predictable, small-footprint implementation. The resulting Ada subset has expressive power well beyond that of other languages used for ARM-based devices.

    Continue Reading
  • Press Release Jun 3 '14

    Ada-Europe to feature SPARK 2014 tutorial by Altran and AdaCore

    Posted by Ada Europe, AdaCore, Altran

    Members of the SPARK team from Altran UK will be attending the Ada-Europe 2014 conference to exhibit, present information about the SPARK technology, and provide a full-day tutorial about the SPARK language. They will be featuring the recently released next generation of the SPARK toolset which includes support for the latest version of the language, SPARK 2014.

    On Friday 27th June, Altran UK will be presenting one of the tutorial sessions in collaboration with our partners, AdaCore: Introduction to Verification with SPARK 2014. This tutorial will provide a broad overview of the SPARK 2014 language as well as an introduction to one of the most novel features of the language – the dual nature of the contracts as both executable and mathematical statements and how these can be verified by testing, proof, or a combination of the two. In the afternoon, the tutorial will look at the more advanced features of the language and toolset that are essential for industrial-scale specification. The tutorial will include hands-on exercises using the SPARK toolset.

    Continue Reading
  • Press Release May 28 '14

    SmartWard Pty Ltd Selects AdaCore Tools for Hospital Information System Development

    Posted by AdaCore

    Australian healthcare informatics company SmartWard Pty Ltd has adopted AdaCore’s GNAT Pro Ada Development Environment and CodePeer static analysis tool to implement their patient care management system. This system needs to be highly reliable and secure from unauthorized users while providing real-time response in an easy to use format. AdaCore’s tools were determined to be the best solution for meeting these requirements.

    AdaCore has a long history of providing Ada-based software development tools for a wide range of safety-critical systems, and now provides a competitive advantage for medical applications such as SmartWard where the concept of a ‘fatal error’ may be literally true.

    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