Rédaction Air & Cosmos
Ce contenu est réservé aux abonnés Air&Cosmos
GNAT Pro Assurance c’est une solution complète pour les projets Ada avec les exigences les plus strictes en matière de fiabilité, de maintenance à long terme et/ou de certification.
AdaCore
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 logiciels, GNAT Pro Assurance est particulièrement adapté aux systèmes critiques nécessitant une certification selon les normes DO-178B ou DO-178C.
Rédaction Air & Cosmos
