• 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 Aug 25 '10

    AWS available for Wind River’s VxWorks

    Posted by AdaCore
    Ada Web Server brings web-based connectivity and control to embedded applications
    Continue Reading
  • Press Release Aug 24 '10

    Open Source SPARK Implementation of Skein Algorithm

    Posted by AdaCore, Altran
    AdaCore has released an open source reference implementation of the Skein cryptographic hashing algorithm implemented in SPARK.
    Continue Reading
  • Press Release Aug 23 '10

    Security Given Short Shrift in Automotive Software Development,
 says AdaCore

    Posted by AdaCore
    With each new model year, cars are becoming more dependent on microprocessors and complex software, challenging the auto industry to ensure that these systems are secure, safe, and reliable. According to AdaCore, this challenge is not being met: security and safety issues are not being properly considered at the start of the automotive system design cycle, but are instead being addressed as an afterthought.
    Continue Reading
  • Press Release May 4 '10

    GNAT Pro High-Integrity Edition For VxWorks MILS Platform now available

    Posted by AdaCore

    A complete security application development environment for EALs 1 through 7

    AdaCore, a leading supplier of Ada development tools and support services, today announced the first major release of its GNAT Pro High-Integrity Edition for MILS.

    Continue Reading
  • Press Release May 4 '10

    SPARK Pro 9 development environment delivers increased security assurance

    Posted by AdaCore, Altran
    Avionics Europe 2010 SPARK Pro 9, announced today by AdaCore and Altran Praxis, provides a major step forward for developers creating safety critical and high assurance systems. The advanced open source development environment now features increased security functionality, including the ability to verify and assure Multiple Independent Levels of Security (MILS) within the same application as well as support for the latest SPARK2005 language profile.
    Continue Reading
  • Press Release Apr 27 '10

    Rockwell Collins selects SPARK Pro

    Posted by AdaCore

    SPARK tools complement GNAT Pro for High Assurance Software projects

    NEW YORK and SAN JOSE, Calif. – April 27, 2010 – Embedded Systems Conference – AdaCore, a leading supplier of Ada development tools and support services, today announced the selection of SPARK Pro by Rockwell Collins for use on selected projects that have stringent security and information assurance requirements.

    Continue Reading
  • Press Release Mar 24 '10

    Barco selects GNAT Pro for Advanced Avionics Applications

    Posted by AdaCore
    AMSTERDAM, NEW YORK and PARIS, March 24, 2010 – Avionics Europe 2010 – AdaCore today announced that global display company Barco has developed an advanced business jet avionics display system using the AdaCore GNAT Pro Ada development environment. Barco selected the GNAT Pro High Integrity Edition, along with the Traceability Kit, running on Wind River’s VxWorks 653 RTOS in order to meet the highest levels of safety standard DO-178B.
    Continue Reading
  • Press Release Feb 9 '10

    AdaCore Releases GNAT Pro 6.3

    Posted by AdaCore
    Ada development environment now supports 64-bit code generation on Windows.

    BRISTOL, United Kingdom, NEW YORK and PARIS, February 9, 2010 – Safety-Critical Systems Symposium – AdaCore, a leading supplier of Ada development tools and support services, today announced the latest major release of its GNAT Pro Ada development environment. GNAT Pro 6.3 is now available on several new platforms including 64-bit Windows, Windows 7, Mac OS X Snow Leopard, VxWorks MILS, and PikeOS (ARINC 653). The product incorporates performance improvements and a variety of enhancements, many based on customer feedback, and it offers the first implementation of new Ada 2012 features. GNAT Pro 6.3 works with a number of complementary tools, sold separately, including the CodePeer automated code review and validation tool.

    Continue Reading
  • Press Release Jan 26 '10

    GNAT Pro support for PikeOS

    Posted by AdaCore

    New Safety-Critical RTOS Platform for GNAT Pro High-Integrity Edition

    SANTA CLARA, NEW YORK and PARIS, January 26, 2010 – Real-Time & Embedded Computing Conferences (RTECC) – AdaCore and SYSGO today further strengthened their partnership by announcing the release of the GNAT Pro High-Integrity Edition for DO-178B toolset targeting SYSGO’s PikeOS platform, a safety-critical real-time operating system (RTOS). GNAT Pro has been ported to this platform in direct response to growing customer demand. This new development follows GNAT Pro support for ELinOS™.

    Continue Reading
  • Press Release Jan 12 '10

    AdaCore Launches CodePeer Tool

    Posted by AdaCore

    Automated code review assistant helps eliminate bugs and vulnerabilities

    NEW YORK and PARIS, January 12, 2010 – AdaCore, a leading supplier of Ada development tools and support services, today announced the release of CodePeer, a source code analysis tool that detects run-time and logic errors in Ada programs. Serving as an efficient and accurate code reviewer, CodePeer identifies constructs that are likely to lead to run-time errors such as buffer overflows, and it flags legal but suspect code typical of logic errors.

    Continue Reading
previous1234567891011121314next
  • Press
  • Articles
  • Events
Filter by Organization
  • Ada Europe
  • AdaCore
  • Advanced Technologies
  • Altran
  • ARA
  • Atego
  • LDRA
  • OC Systems
  • PTC
  • SIGAda
  • SofCheck
  • Sysgo

ARA Sponsor Spotlight
Altran_2019_Logo View All Sponsors


AdaCore Altran_2019_Logo PTC Logo

Ada Advantages

  • Ada Overview
  • 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-2021 Ada Resource Association Site Map | Contact Us