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

Aviation Civile

Congrès 2025 : la FNAM demande un moratoire fiscal sur l’aérien

Le 2 juillet dernier, la FNAM (Fédération nationale de l’Aviation et ses Métiers) a de nouveau tiré un signal d’alarme concernant l’impact du poids fiscal et financier qui pèse depuis quelques années ...

Un vaisseau-cargo russe rend hommage à la mission Apollo-Soyouz

Espace

Un vaisseau-cargo russe rend hommage à la mission Apollo-Soyouz

Chaque fin de semaine, une image qui a fait l’actualité ou retenu notre attention. A l’occasion des cinquante ans du premier vol américano-soviétique dans l’espace, la Russie a spécialement décoré son ...

Bell sélectionné pour la seconde phase de SPRINT

Industrie

Bell sélectionné pour la seconde phase de SPRINT

Bell Textron a été sélectionnée pour la phase 2 du programme SPRINT (Speed and Runway Independent Technologies) X-Plane de la Defense Advanced Research Projects Agency (DARPA), dont l'objectif est de ...

AdaCore SAS

25/09/2018 14:00

389 mots

Constructeurs