> В языке Ada заложено много всего для написания надежных, безопасных программ.

Да ладно вам, для сертификации кода как раз много всего никак не годится, все сомнительные возможности выкидываются нещадно, какие там ооп понимаешь, виртовский паскаль остается в сухом осадке

http://www.cotsjournalonline.com/articles/view/100982
A set of related restrictions can be bundled into a profile, and the Ada 2005 standard includes the definition of the so-called Ravenscar Profile, which comprises a simple set of tasking features whose usage and run-time libraries are amenable to safety certification. A program using the Ravenscar Profile consists of a set of tasks, each of which loops forever on either a simple event or a time-out. Despite its simplicity, the Ravenscar Profile is rich enough to express the kinds of concurrent programs that come up in practice.

такие правила кстати и для ц есть
In 1998, the UK's Motor Industry Software Reliability Association established a set of 127 guidelines for the use of C in safety-critical systems.
http://www.iar.com/website1/1.0.1.0/474/1/