• 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 4 '12

    GNAT Pro Solves Data Endianness Portability Challenge

    Posted by AdaCore
    A new GNAT Pro feature allows Ada developers to portably and reliably define data layout in an endianness-independent fashion. This capability makes it possible to port and reuse existing code bases on a different hardware platform, without having to manually implement the error-prone, byte-swapping logic that would otherwise be needed.
    Continue Reading
  • Press Release Dec 4 '12

    Traceability Analysis Helps Rockwell Collins Achieve DO-178B Certification

    Posted by AdaCore
    Rockwell Collins has successfully used AdaCore’s Code Traceability Analysis for DO-178B in the certification of the Integrated Display System (IDS) for a large, next-generation, commercial aircraft. The Traceability Analysis package is part of the evidence needed to satisfy the DO-178B objectives for structural code coverage at Level A, the highest (most stringent) level for avionics software safety.
    Continue Reading
  • Press Release Nov 29 '12

    AdaCore and Altran Praxis Release SPARK Pro 11

    Posted by AdaCore, Altran
    The SPARK Pro 11 software development and verification environment has been released, providing a major step forward for the developers of high-assurance systems. SPARK Pro 11 offers many enhancements particularly in the area of program proof.
    Continue Reading
  • Press Release Oct 16 '12

    Initial release of GNATProve available

    Posted by AdaCore

    GNATProve is used for formal verification of Ada programs and is being developed as part of the Hi-Lite project. It can prove that subprograms respect their contracts, expressed as preconditions and postconditions in the syntax of Ada 2012. The tool automatically discovers the subset of subprograms which can be formally analyzed. We provide binary distributions for x86 linux, x86 windows and x86-64 bit linux. More details can be found at http://www.open-do.org/projects/hi-lite/gnatprove/

    Continue Reading
  • Press Release Oct 5 '12

    Rockwell Collins Develops SecureOne™ with
 SPARK Pro and GNAT Pro High-Security

    Posted by AdaCore
    AdaCore today announced the successful usage of its SPARK Pro and GNAT Pro High-Security products by Rockwell Collins in the development of the SecureOne™ Guard, a high assurance cross domain guard for military tactical systems. The SecureOne Guard has strict requirements for reliability and security. In order to meet these needs, Rockwell Collins selected SPARK Pro and GNAT Pro High-Security as key development tools for the project.
    Continue Reading
  • Press Release Jun 21 '12

    SmartSide Adopts Ada and GNAT Pro for Smart Devices Platform

    Posted by AdaCore
    SmartSide has adopted the Ada programming language and GNAT Pro for the implementation of their Smart Devices platform. SmartSide provides Smart Metering and Smart Grid management solutions which are used to optimize Smart Grid networks.
    Continue Reading
  • Press Release Jun 12 '12

    Saab Electronic Defence Systems Adopts CodePeer

    Posted by AdaCore
    Saab Electronic Defence Systems (Sweden) has adopted the CodePeer static analyzer tool for use on the GIRAFFE project.
    Continue Reading
  • Press Release Feb 28 '12

    AdaCore Releases GNAT Pro 7.0

    Posted by AdaCore
    Open-source research projects combine model-based integration and qualified code generation for safety-critical systems
    Continue Reading
  • Press Release Feb 28 '12

    AdaCore Releases Major New Version of CodePeer Static Analysis Tool

    Posted by AdaCore
    Full support for the upcoming Ada 2012 language standard
    Continue Reading
  • Press Release Jan 10 '12

    AdaCore and SofCheck Merge

    Posted by AdaCore
    Ada expert Tucker Taft joining AdaCore as Director of Language Research
    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
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