Faisant le constat que les processeurs à cœur ARM, avec l’écosystème qui les accompagne, commençaient à être utilisés de manière significative dans les secteurs de la Défense, de l’aérospatial et des transports, la société Adacore ...annonce la disponibilité de son environnement de développement pour code critique en langage Ada sur les microcontrôleurs à base de cœur Cortex d’ARM.

L’environnement GNAT Pro Safety-Critical pour ARM va donc permettre pour la première fois de mettre au point du code Ada sur des plates-formes ARM à faible empreinte mémoire, pour des applications à très haut niveau de criticité, et ce sans avoir besoin d’un système d’exploitation sous-jacent.     Déjà disponible pour les architectures PowerPC et Leon, GNATPro Safety Critical pour ARM supporte la version 2012 du langage Ada et le profil Ravenscar (sous-ensemble du langage Ada dédié aux systèmes temps réel qui restreint notamment les fonctionnalités liées au parallélisme). Il intègre les outils GNAT d’Adacore, en particulier GNATstack pour l’analyse, GNATcheck pour la vérification, GDB pour le débogage… et un IDE avec un plug-in Eclipse pour le développement du code Ada.