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

Ada Resource Association

News and resource for the Ada programming language

  • Article Mar 1 '08

    Robotics with Ada95

    Published by Daniel Ramirez
    Ada95 is a standardized object-oriented programming language that was developed in the late 1970s by the U.S. Department of Defense. Today, engineers like Daniel Ramirez use the highly structured language to increase the safety and reliability of their new robotics applications. (Note: article is now behind a pay wall.)
    Continue Reading
    Tags Ada 2005Ada 95Embedded/Real-time
  • Article Feb 26 '08

    There’s nothing new about multicore mania

    Published in EE Times by Robert Dewar

    The recent introduction of multicore architectures has caused a surprising amount of uproar. Multiprocessing has been around for decades. The original CDC 6000, for instance, was an interestingly designed multiprocessor machine first put into use in the early 1960s.

    Another important player in multiprocessing is Ada. Even the original Ada 83 version of the language has a well-developed notion of multithreading (termed “tasking” in Ada) with high-level constructs that are easy to use and analyze. The subsequent Ada 95 and Ada 2005 versions of the language substantially improved and extended this functionality, and decades of experience have been accumulated in using Ada to deal with the problem of writing programs that run effectively on machines using more than one processor.

    Continue Reading
    Tags Ada 2005Ada 2012Ada 95Multicore
  • 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
  • Blog Nov 20 '07

    Ada helps win WWII Cryptography Challeng...

    by admin

    Joachim Schüeth, a German amateur radio enthusiast from Bonn, won a challenge to crack secret messages encoded by a World War Two cipher.

    His program, written in Ada especially for the challenge, cracked the supposedly hardest part of the challenge — deciphering the code of a Lorenz SZ42 encryptor, which has approximately 16 million million million permutations — in just 46 seconds. He completed the entire challenge in less than two hours.

    Reuters quoted Andrew Clark, director of Britain’s National Museum of Computing, as saying “It’s a brilliant piece of work, really really impressive”.

    We here at the AdaIC would like to think that his choice of programming language had something to do with his success. Schüeth’s web site describes Ada as a “powerful and beautiful language [which] has become my favourite”, a sentiment shared by many Ada programmers. In a more recent interview, he explains that “Ada avoids programming errors by its strong typing model, so you spend less time on debugging your programs”, which obviously helped him during the challenge.

    He continues by saying “I can only encourage everyone to have a look at Ada. It is a modern programming language with all the features of object oriented languages, like high level abstraction, information hiding, generic programming (similar to C++ templates), and function / operator overloading. Personally I do not have much use for inheritance and run-time polymorphism, but Ada has that too, with concepts that seem more logical to me than those of C++ or Java.” We couldn’t have said it better ourselves.

    For news reports on the challenge, see German amateur cracks WWII mega-code in 46 seconds [Reuters] and German amateur code breaker defeats Colossus [The Register].

    For an article on the challenge by Schüeth, see Tunny, Colossus and Ada: Keeping an Open Mind [DDJ].

    For interviews with Schüeth, see Cracking the Lorenz Code [AdaCore] and Beating Colossus: an interview with Joachim Schüeth [NetBSD].

    Also see Joachim Schüeth’s web site on the challenge.

    Read Blog Entry
  • Press Release Sep 10 '07

    GNAT Pro development environment is now available for Microsoft’s® .NET Framework.

    Posted by AdaCore
    GNAT Pro development environment is now available for Microsoft’s® .NET Framework. GNAT Pro’s launch on .NET broadens AdaCore’s expanding portfolio of Microsoft platforms, which already includes releases for Windows 2000®, Windows 2003®, Windows XP®, and Windows Vista®.
    Continue Reading
  • Article Feb 4 '07

    Ada 2005 speaks to real-time embedded applications

    Published in Embedded.com by Richard Goering
    Richard Goering looks at the place Ada has in the embedded marketplace.
    Continue Reading
    Tags Ada 2005Embedded/Real-time
  • Article Jan 1 '07

    Ada Enhances Embedded-systems Development

    Published in Dr. Dobb's by Ben Brosgol and Jose Ruiz
    Developing an embedded system is hard work. Reliability is essential; indeed, embedded software may control a safety- or security-critical system where an error can have catastrophic consequences. New requirements will almost surely pop up, so the software must be maintain- able. Real-time constraints and memory limitations make time and space predictability and run-time performance important.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95Embedded/Real-time
  • Article Aug 14 '06

    Mathematical approaches to managing defects

    Published in The Register by David Norfolk and Pan Pantziarka
    In this article by David Norfolk and Pan Pantziarka, the authors look at the increasing use of Formal Methods and the Correctness by Construction process championed by Altran Praxis.
    Continue Reading
    Tags Formal MethodsFormal VerificationSPARK
  • Article Aug 3 '06

    Ada 2005

    Published in CrossTalk
    Crosstalk devotes its August 2006 issue to Ada 2005. This issue contains 5 Ada 2005 articles by numerous authors.
    Download PDF
    Tags Ada 2005
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