CODEWITHSUNDEEP
ada
TraumaPony
TraumaPony

Reputation: 10794

Where is Ada used (apart from safety-critical software)?

When one thinks of Ada, one usually thinks of avionics.

What I'm interested in are some other applications of Ada? Where is it used? Are there any shipped applications written in Ada?

For example, are there CRUD apps written in it? Or games? Etc.

Upvotes: 30

Views: 15004

Answers (9)

Andy Durant
Andy Durant

Reputation: 168

The swagger-ada project provides support for the OpenAPI Generator which is used for generating CRUD and REST APIs in Ada.

Alire is a package manager for Ada, which provides a variety of libraries for use in applications from embedded systems to desktop apps.

Whilst these are libraries rather than applications themselves, they show use in a variety of fields.

Upvotes: 3

fastrgv
fastrgv

Reputation: 21

Ada can be used in games. Check this out:

https://sourceforge.net/projects/adagate/

It is a fresh (2015) example of using modern OpenGL with Ada.

Upvotes: 2

Nate
Nate

Reputation: 19472

Ada is still popular in colossal, legacy, government-targeted programs. It's also a basis for VHDL.

Upvotes: 1

T.E.D.
T.E.D.

Reputation: 44814

It started life as the DoD's preferred language, so you will find it all over DoD programs. NASA and the FAA are big users too. Because of that base, a lot of commericial aerospace uses it too (although that is probably "safety critical"). For instance, I think most of the software in the Boeing 777 was developed in Ada. I think the European space agency uses it a lot too.

That said, it really isn't used nearly enough. For instance, it is naturally almost immune to buffer overflow exploits, so it really ought to be the preferred language for OS development.

Upvotes: 14

Marc C
Marc C

Reputation: 8522

Michael Feldman actively maintains a "Who's Using Ada/Real-World Projects" list that lists all types of military and commercial projects. And because he maintains contributor confidentiality, projects will show up there that wouldn't otherwise be discussed by their corporate sponsors as "Ada Inside" projects.

Upvotes: 35

ansgri
ansgri

Reputation: 2156

I don't know for sure, but, having read a lot about Ada, I considered it to be perfectly appropriate for every physics-related computational/automation tasks, because of all these compile-time and runtime checks (one tasty thing is that you can make two incompatible floating-point types, e.g. Length and Mass).

Upvotes: 5

Nelson
Nelson

Reputation: 1032

Apart from safety critical systems, Ada only really shines when you have many teams working on a very large project and the number of logical source lines of code exceeds about 1 or 2 million.

It's at that point when all the Ada language defined runtime checks that you sometimes thought were a bit pedantic and increased the code size by too much, became really useful. Fixing a bug somewhere in millions of lines of code is never fun; the runtime checks really help detect problems earlier and closer to where they occur.

Unfortunately, many software developers who have used Ada 83 or Ada 95 professionally can't tell you about the projects that they have worked on. I've heard that it's also used in the areas of Air Traffic Control Systems (in various countries), Railway Transportation Systems (such as Paris Metro and Hong Kong Subway) and Banking/Finance (Reuters and others).

It is a very good language and there are people who advocate its use because it's a good language, but sometimes, when you haven't seen a segmentation fault or really nasty crash in months or maybe years, you start to want to code in C++ again...

Upvotes: 20

ConcernedOfTunbridgeWells
ConcernedOfTunbridgeWells

Reputation: 66702

Not in quantity. Until GNAT came along Ada compilers and development tooling were very expensive and typically only supported expensive hardware like Suns, Vaxen or IBM Mainframes.

There is a bit of it around - various outfits do safety-critical stuff with SPARK but it tends (although not exclusively) to be bespoke work.

Upvotes: 5

Diomidis Spinellis
Diomidis Spinellis

Reputation: 19385

Ada was originally conceived as a language to consolidate the very large number of languages used to build systems for the US military. So you will find it used a lot in applications in the domain of defense systems. For an example of such as application have a look at the Tokeneer case study, whose source code is now available online.

Upvotes: 9

Related Questions