Why Ada?
In life critical applications, one language excels above all others,
- it offers unparalleled checking at both compilation and execution time,
- it catches problems at compilation that a C/C++ compiler would not detect,
- it catches critical errors, during execution, as soon as they occur,
- many of the security flaws of 'C/C++' are just not present,
- it is designed for software engineering by human beings, that inevitably make human errors,
- it offers execution speeds close to 'C/C++',
- it provides a degree of security that can never be matched and a massive reduction in time spent debugging over C/C++.
- it is well tested in the real world in life critical applications such as aerospace,
"I believe that no C/C++ programmer or software development manager who has experienced developing
an application in Ada would ever return to C/C++."