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

Ada Resource Association

News and resource for the Ada programming language

  • Article Feb 16 '10

    Integrating static analysis with a compiler and database

    Published in Embedded Computing Design by Tucker Taft
    Static analysis tools are becoming more integrated into the software development process. Saving data from the compiler, change history, and error information during the process instead of as a post-code step can make static analysis more productive.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95Static Analysis
  • Article Feb 15 '10

    Executing software contracts

    Published in Embedded.com by Jack Ganssle
    Jack Ganssle at Embedded.com discusses the Sofcheck and AdaCore CodePeer tool in Executing software contracts; in particular he examines the tool’s ability to create contracts for subprograms.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95Static Analysis
  • Article Dec 7 '09

    Science Fiction Meets Science Fact In Today’s Robot Research

    Published in Electronic Design by William Wong
    William Wong looks at the Dasher project being developed by Mälardalen University in Sweden.
    Continue Reading
    Tags Ada 2005Ada 2012Embedded/Real-time
  • Article Feb 4 '09

    Why aren’t developers interested in Ada?

    Published in Embedded.com by Jack Ganssle
    Jack Ganssle at Embedded.com wonders Why aren’t developers more interested in Ada?
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95
  • Article Feb 2 '09

    Ada Take Two

    Published in Embedded.com by Jack Ganssle
    A follow-up piece by Jack Ganssle from his original article on the adoption of Ada which appears on Embedded.com.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95Embedded/Real-time
  • Article Apr 11 '08

    The return of Ada

    Published in Government Computer News by Joab Jackson
    Joab Jackson takes a look at the history of the Ada programming language, it’s traditional markets, and gives a real picture of Ada’s place in today’s software development world.
    Continue Reading
    Tags Ada 2005Ada 2012Embedded/Real-timeSafety
  • Article Apr 6 '08

    The A-Z of Programming Languages: Ada

    Published in TechWorld by Naomi Hamilton
    Naomi Hamilton at TechWorld chats with S. Tucker Taft, Chairman and CTO of SofCheck. Taft has been heavily involved in the Ada 1995 and 2005 revisions, and still works with the language today as both a designer and user.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95
  • 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
previous1234next
  • 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
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