#145 No estoy seguro de a qué sistemas te refieres pero, según tenía entendido (y la página de Ada en la wikipedia en español va en la misma dirección), el núcleo del sistema de control de tráfico aéreo (desarrollado y desplegado en España por Indra) está desarrollado, por lo menos su parte "crítica" (y con parte crítica me refiero a subsistemas con restricciones temporales y/o requisitos de fiabilidad) en Ada 83.
Como digo, no estoy 100% seguro, y posiblemente también haya código en C en subsistemas menos críticos o en algún driver de muy bajo nivel.
En el mundo aeroespacial-defensa, Ada tiene un nicho de mercado importante (algunos ejemplos los puedes ver en la web de AdaCore). El motivo es que certificar código "real time safty critical" en C es realmente mucho más complicado y costoso que en Ada. No es de extrañar pues, como se dice por ahí arriba, los lenguajes de programación son herramientas, y Ada se diseñó expresamente para esta clase de sistemas y C no.
Como digo, no estoy 100% seguro, y posiblemente también haya código en C en subsistemas menos críticos o en algún driver de muy bajo nivel.
En el mundo aeroespacial-defensa, Ada tiene un nicho de mercado importante (algunos ejemplos los puedes ver en la web de AdaCore). El motivo es que certificar código "real time safty critical" en C es realmente mucho más complicado y costoso que en Ada. No es de extrañar pues, como se dice por ahí arriba, los lenguajes de programación son herramientas, y Ada se diseñó expresamente para esta clase de sistemas y C no.