Bon je vous fais part de ce que jai appris:
Je fais mon stage chez un fabricant de satellites (je fais un lien avec les posts un peu plus haut sur le DoD).
Il développaient leur logiciel bord (logiciel embarque pilotant le satellite) en Ada. Et bien pour les futurs satelittes, ils vont passer au C!!!
Alors pourquoi ce retour en arrière (pour tout ceux qui disent que l'inverse va devenir la norme) ? He bien pour plusieurs raisons:
- c'est eux qui se maintennaient leur noyau temps réel. Devenu trop gros, trop lourd à gérer, ils ne s'en sortaient plus (ca coute cher en cette periode de vache maigre pour l'industrie spatiale mondiale). VxWorks (pour ne pas le citer) est un noyau temps réel qu'ils achetent et qu'ils n'ont pas a maintenir -> C deja ca de gagne.
- il y a une forte disponibilité de logiciels en C. il y a plein de logiciels (y compris libres) bien à utiliser :
gcc notamment.
- ils faisaient des choses exotiques pour lesquelles ils etaient obliges de desactiver certaines contraintes (qui normalement sont bien a utiliser) du langage. D'ou, l'avantage de Ada pour le typage devenait parfois une contrainte.
Maintenant, le desavantage, c'est qu'ils doivent renforcer les procedures de controle du code :
- standard de codage,
- verificateurs de "scope" pour les variables,
- verificateurs de respect de ces regles de codage,
- verification des metriques du logiciel,
- ...
et faire tres attention a ce que programment les programmeurs (lapalisse aurait pas fait mieux)! Il est facile de faire des connries avec les raccourcis de programmation du C :
if(x=...),
+=, -=,
etc..
Enfin, je tiens a preciser que si Ada est si sur et facile a verifier c'est parce que Ada dispose d'une forme interne normalisee (par forme interne, j'entends le modele de donnees decrivant le langage). Ce n'est pas le cas du C et cela ne sera jamais.
Alors quand on dit que Ada c'est l'avenir, je reste songeur!!
Mais je suis pres a croire que c'est tres bien. D'ailleurs je vais jeter un oeil dessus (en plus de l'objective caml, ca va commencer a beaucoup!!).
[^] # Re: Humour ou facilité d'apprentissage ?
Posté par djano . En réponse à la dépêche Être orateurs aux RMLL à 13 ans? Avec Ada, même ça c'est possible!. Évalué à 5.
Bon je vous fais part de ce que jai appris:
Je fais mon stage chez un fabricant de satellites (je fais un lien avec les posts un peu plus haut sur le DoD).
Il développaient leur logiciel bord (logiciel embarque pilotant le satellite) en Ada. Et bien pour les futurs satelittes, ils vont passer au C!!!
Alors pourquoi ce retour en arrière (pour tout ceux qui disent que l'inverse va devenir la norme) ? He bien pour plusieurs raisons:
- c'est eux qui se maintennaient leur noyau temps réel. Devenu trop gros, trop lourd à gérer, ils ne s'en sortaient plus (ca coute cher en cette periode de vache maigre pour l'industrie spatiale mondiale). VxWorks (pour ne pas le citer) est un noyau temps réel qu'ils achetent et qu'ils n'ont pas a maintenir -> C deja ca de gagne.
- il y a une forte disponibilité de logiciels en C. il y a plein de logiciels (y compris libres) bien à utiliser :
gcc notamment.
- ils faisaient des choses exotiques pour lesquelles ils etaient obliges de desactiver certaines contraintes (qui normalement sont bien a utiliser) du langage. D'ou, l'avantage de Ada pour le typage devenait parfois une contrainte.
Maintenant, le desavantage, c'est qu'ils doivent renforcer les procedures de controle du code :
- standard de codage,
- verificateurs de "scope" pour les variables,
- verificateurs de respect de ces regles de codage,
- verification des metriques du logiciel,
- ...
et faire tres attention a ce que programment les programmeurs (lapalisse aurait pas fait mieux)! Il est facile de faire des connries avec les raccourcis de programmation du C :
if(x=...),
+=, -=,
etc..
Enfin, je tiens a preciser que si Ada est si sur et facile a verifier c'est parce que Ada dispose d'une forme interne normalisee (par forme interne, j'entends le modele de donnees decrivant le langage). Ce n'est pas le cas du C et cela ne sera jamais.
Alors quand on dit que Ada c'est l'avenir, je reste songeur!!
Mais je suis pres a croire que c'est tres bien. D'ailleurs je vais jeter un oeil dessus (en plus de l'objective caml, ca va commencer a beaucoup!!).