La nouvelle ligne de produits d’AdaCore réduit les coûts de certification DO‑178B/C pour l’avionique
La nouvelle ligne de produits d’AdaCore réduit les coûts de certification DO‑178B/C pour l’avionique
© AdaCore

publié le 25 septembre 2018 à 14:00

389 mots

La nouvelle ligne de produits d’AdaCore réduit les coûts de certification DO‑178B/C pour l’avionique

GNAT Pro Assurance réduit les efforts de développement, de vérification et de maintenance des logiciels destinés à l’avionique

AdaCore présente un environnement de développement en Ada avancé, GNAT Pro Assurance, destiné à des projets pour lesquels la fiabilité ou la maintenance à long terme sont critiques. Offrant un support direct à

Réservé aux abonnés

La suite de cet article est reservé aux abonnés d’Air&Cosmos.
Votre soutien nous permet de vous apporter quotidiennement des informations qualitatives et complètes.
Rejoignez-nous !

Je m’abonne

Déjà abonné ? Je me connecte

25/09/2018 14:00
389 mots

La nouvelle ligne de produits d’AdaCore réduit les coûts de certification DO‑178B/C pour l’avionique

La nouvelle ligne de produits d’AdaCore réduit les coûts de certification DO‑178B/C pour l’avionique
La nouvelle ligne de produits d’AdaCore réduit les coûts de certification DO‑178B/C pour l’avionique

GNAT Pro Assurance réduit les efforts de développement, de vérification et de maintenance des logiciels destinés à l’avionique

AdaCore présente un environnement de développement en Ada avancé, GNAT Pro Assurance, destiné à des projets pour lesquels la fiabilité ou la maintenance à long terme sont critiques. Offrant un support direct à toute une gamme d’activités de processus de cycle de vie

Réservé aux abonnés

La suite de cet article est reservé aux abonnés d’Air&Cosmos.
Votre soutien nous permet de vous apporter quotidiennement des informations qualitatives et complètes.
Rejoignez-nous !

Je m’abonne

Déjà abonné ? Je me connecte