Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

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

Tags:

ada

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.

like image 994
TraumaPony Avatar asked Dec 14 '08 06:12

TraumaPony


People also ask

Why is Ada used in critical systems?

Ada was designed to support development of high-integrity systems and avoids the various reliability “traps and pitfalls” common to C.

Is Ada used at NASA?

Ada was developed in the 1970s and 80s with the intent of replacing the plethora of languages used in the US Department of Defense's realtime systems. NASA (and also organizations from Europe) were active participants. The DoD mandated Ada for all major development in 1991. NASA did much the same.

Why is Ada a safe language?

It has built-in language support for design by contract (DbC), extremely strong typing, explicit concurrency, tasks, synchronous message passing, protected objects, and non-determinism. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors.


1 Answers

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.

like image 119
Marc C Avatar answered Sep 23 '22 00:09

Marc C