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

    SPARK 2014: Why I am backing a predictable winner

    Published in Emebedded.com by Stuart Matthews
    Stuart Matthews explains how SPARK 2014 uses and extends the features of Ada 2012 for automated verification of programs.
    Continue Reading
    Tags Ada 2012SafetySecuritySPARKStatic 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
  • Article Sep 23 '09

    LDRA offers security-critical software solution

    Published in Electronics Talk
    LDRA has released a security-critical development and certification solution to ensure the company’s tool suite meets the growing demand for security-critical software.
    Continue Reading
    Tags SafetySecurity
  • Article Oct 10 '08

    NSA posts secrets to writing secure code

    Published in GCN (Government Computing News) by Joab Jackson
    An article in GCN (Government Computing News) that looks at an NSA-funded project carried out by the U.K.-based Praxis High Integrity Systems and Spre Inc. NSA commissioned the project, which involved writing code for an access control system, to demonstrate high-assurance software engineering.
    Continue Reading
    Tags SecuritySPARK
  • Article Feb 7 '08

    Use Ada For Better Safety, Security, And Reliability

    Published in Electronic Design by Robert Dewar
    The choice of programming languages is one of the most critical decisions in any programming project. And there’s no shortage of choices. In the 60-year history of computer programming, hundreds of different languages have been designed and used for various purposes.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95SafetySecurity
  • Article Dec 3 '07

    Cracking the Lorenz Code

    Published in Ada Answers by Joachim Schüth

    In November of 2007, the National Museum of Computing sponsored an historical code-breaking competition to celebrate the rebuild of Colossus Mark 2 at Bletchley Park. Colossus, the first programmable digital computer, was used in WWII to crack the codes created by the Lorenz cipher machines used by the German High Command. Programmers and code breakers were invited to try to beat the rebuilt Colossus in cracking the 1938 Lorenz SZ42 encrypted message.

    Using Ada, IT security specialist, Joachim Schüth, was able to decipher the code and beat Colossus. In the following interview, Joachim explains why he started working with Ada, his impressions of the language, and why it was the perfect choice for the challenge.

    Continue Reading
    Tags Ada 2005Ada 2012Security
  • Press
  • Articles
  • Events
Filter by Tags
  • Ada 2005
  • Ada 2012
  • Ada 95
  • Ada Lovelace
  • Charles Babbage
  • contract-based programming
  • DO-178C
  • Embedded/Real-time
  • Formal Methods
  • Formal Verification
  • Multicore
  • Safety
  • Security
  • software design
  • SPARK
  • Static Analysis

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