• Home
  • Ada Advantages
  • Learn Ada
  • Resources
  • ARA Community
Site Map | Contact Us

Ada Resource Association

News and resource for the Ada programming language

  • Article Aug 17 '10

    Achieving Zero Defect Software Development

    Published in Design Talk by John Greenland
    Zero Defect Software Development (ZDSD) is a results-oriented process that emphasizes the analysis, testing and reporting of the causality of defects. This process, which has evolved from the commitment to providing “five-nines” (99.999%) reliability for mission-critical applications, supplants the traditional approach of reacting to undesirable effects and treating symptoms while attempting to manage verification processes using “trend analyses” or simply tracking the occurrences of defects.
    Continue Reading
    Tags Static Analysis
  • 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
  • Article Jun 6 '10

    Lunar lander project relies on SPARK programming language

    Published in EE Times by Julien Happich
    Altran Praxis announced that its SPARK language has been selected by a new, NASA-funded US lunar mission. SPARK will be used to develop the software behind a CubeSat project being developed by a consortium comprising Vermont Technical College, Norwich University, St. Michael’s College, and the University of Vermont.
    Continue Reading
    Tags SPARK
  • 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
  • Article Apr 7 '10

    Expressive vs. permissive languages: Is that the question?

    Published in Embedded.com by Yannick Moy
    The ease with which code is analyzable depends of the language type you use. Static analysis is becoming mainstream, with mature bug-finding tools for C and Java, including products such as Coverity Prevent, Grammatech CodeSonar, and Fortify SCA. These products limit the level of “noise” (false warnings) inherent to such tools to a minimum. However, by carefully selecting those cases for which they report a problem, these bug-finders hide the fact that they are largely uncertain about the overall correctness of the program.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95Static Analysis
  • Article Apr 6 '10

    How to use new unit testing tools & techniques to improve software quality

    Published in EE Times by Mark Pitchford
    Unit Test has been around almost as long as software development itself. It just makes sense to take each application building block, build it in isolation, and execute it with test data to make sure that it does just what it should do without any confusing input from the remainder of the application. In the past, the sting came from not being able to simply lift a software unit from its development environment, compile and run it let alone supply it with test data.
    Continue Reading
    Tags SafetySecurity
  • 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
previous123456789101112131415161718192021222324252627282930313233next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
AdaCore 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