Je ne connais pas l'écosystème ada. J'ai tendance à imaginer que pas mal d'utilisateurs sont des NASA/ESA/aéronautique très frileux face aux nouveautés. Du coup est-ce que l'adoption d'une nouvelle version arrive vite ou la majeure partie de l'industrie utilise ada83 ?
Ça dépend de quand date le système qu'il faut maintenir :)
Dans mon ancien boulot, c'était du 83 mais bon, la conception du système à bord de l'hélico datait de 92.
Pour ce qui est de la nouveauté, pendant longtemps dans l'aéronautique embarqué, on n'avait pas le droit de faire d'objet. Il y a d'ailleurs de la littérature sur ça (cf. l'OOTiA ou ça).
Aujourd'hui, on trouve de l'Ada 2005 et aussi du SPARK, comme chez NVidia (voir ici et là).
[^] # Re: Très bel article, petite remarque de français
Posté par Blackknight (site web personnel, Mastodon) . En réponse à la dépêche Nouveautés du langage C dans sa prochaine version C23. Évalué à 4.
Ça dépend de quand date le système qu'il faut maintenir :)
Dans mon ancien boulot, c'était du 83 mais bon, la conception du système à bord de l'hélico datait de 92.
Pour ce qui est de la nouveauté, pendant longtemps dans l'aéronautique embarqué, on n'avait pas le droit de faire d'objet. Il y a d'ailleurs de la littérature sur ça (cf. l'OOTiA ou ça).
Aujourd'hui, on trouve de l'Ada 2005 et aussi du SPARK, comme chez NVidia (voir ici et là).
La page de présentation des clients donne quelques indications de l'étendue des projets.