AdaCore est au coeur des logiciels critiques pour l'aéronautique civile et militaire en fournissant des outils de développement aux principaux acteurs du secteur. Spécialiste des langages Ada et SPARK, la société renforce encore son positionnement en s'appuyant sur la réglementation DO-178C pour faciliter le processus de certification des logiciels avioniques de ses clients.
Un succès transatlantique dans les logiciels embarqués
Comme nous l'explique Jamie Ayre, le directeur commercial ...(…)
Cet article est consultable sur le site « Le Journal de l'Aviation »
C'est un nouveau projet qui pourrait venir appuyer les ambitions du Maroc, le royaume souhaitant aussi devenir un véritable hub régional dans le doma...