• 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 Sep 21 '10

    AdaCore Upgrades GNATbench for Wind River Workbench

    Posted by AdaCore
    New platforms and features benefit Ada developers on Wind River Workbench
    Continue Reading
  • Press Release Sep 5 '10

    College uses AdaMagic to deploy it’s Alaskan Sea Ice Buoy

    Posted by SofCheck
    In a NASA sponsered program, Vermont Technical College has constructed remote sensing buoys for deployment on the Arctic sea ice north of Alaska. The buoys gather environmental data and transmit that data back to home base via the Iridium satellite network. This data will then be used to refine models of ice movement.
    Continue Reading
  • 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 Jun 30 '10

    SofCheck CTO Tucker Taft presents at Ada Europe 2010

    Posted by SofCheck
    Tucker Taft presents at Ada Europe 2010: An Introduction to ParaSail: Parallel Specification and Implementation Language
    Continue Reading
  • Press Release May 23 '10

    LDRA Integrates LDRA Tool Suite(r) with Wind River Workbench and VxWorks

    Posted by LDRA
    LDRA, the leading provider of automated software verification, source code analysis, and test tools, has integrated the LDRA tool suite with Wind River Workbench and VxWorks to provide a single work environment for safety- and security-critical certification. Thanks to a Wind River-specific Eclipse plug-in, developers have the flexibility of directly accessing LDRA tool suite capabilities from within Workbench or controlling Workbench and the VxWorks simulator from the LDRA tool suite.
    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
previous12345678910111213141516171819next
  • Press
  • Articles
  • Events
Filter by Organization
  • Ada Europe
  • AdaCore
  • Advanced Technologies
  • Altran
  • ARA
  • Atego
  • LDRA
  • OC Systems
  • PTC
  • SIGAda
  • SofCheck
  • Sysgo

ARA Sponsor Spotlight
AdaCore View All Sponsors

Upcoming Events

  • HILT 2022 – Supporting a Rigorous Approach to Software Development
    Oct 14, 2022 Ann Arbor, Michigan

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-2022 Ada Resource Association Site Map | Contact Us