Communiqué de presse

11 décembre 2013

Les outils d'Altran et d'Adacore réunis ont permis la mise en orbite réussie du satellite CubeSat

Le 19 novembre 2013, le satellite lunaire CubeSat développé par le Vermont Technical College a été lancé avec succès dans l'espace grâce à la combinaison du langage de programmation SPARK d'Altran et de la technologie GNAT Pro d'AdaCore. CubeSat est un satellite miniaturisé, de 10 cm x

10 cm x 10 cm et ne pesant qu'1,1 kg. Mis en orbite géostationnaire à 500km de la terre à, il restera

environ trois ans dans l'espace afin de tester les systèmes qui seront utilisés pour sa future mission lunaire.

Le projet CubeSat, financé par la NASA, fait partie intégrante du programme ELaNa IV de la NASA (Educational Launch of Nano-Satellites) qui a démarré en 2010. Chaque CubeSat est un satellite miniaturisé qui, par ses dimensions et ses composants normalisés, constitue une méthode de recherche spatiale bien moins onéreuse que les satellites traditionnels. Il a donc été rapidement adopté par les universités et les instituts de recherche du monde entier pour des projets couvrant des domaines aussi divers que la détection des tremblements de terre ou l'observation de la nature.

Le logiciel de commande et de navigation de CubeSat a été développé en utilisant le langage de programmation SPARK d'Altran, le GNAT Programming Studio (GPS) d'AdaCore et le compilateur GNAT Pro pour vérifier l'absence d'erreurs d'exécution. Ce logiciel a été mis au point au sein du Vermont Technical College par une équipe d'étudiants dirigée par le Dr Peter Chapin. Sans aucune connaissance préalable de SPARK ni d'Ada, les étudiants ont réussi à maîtriser rapidement ces derniers et ont pu tirer parti des diverses annotations de SPARK pour produire un code fiable.

« Nous avons voulu écrire le programme de commande de notre CubeSat dans SPARK car ce dernier est plus fiable que le langage de programmation C utilisé dans presque tous les CubeSats à ce jour », déclare le professeur Carl Brandon, chef de projet du Vermont Technical College. « La réussite de ce logiciel complexe sur ce CubeSat d'ELaNa nous renforce dans notre volonté d'utiliser SPARK 2014 pour la mission lunaire bien plus complexe et onéreuse ».

Stuart Matthews, Product Manager SPARK chez Altran, d'ajouter : « Nous sommes très heureux que la technologie SPARK soit utilisée pour soutenir le projet CubeSat. De telles applications, où il est essentiel de réussir du premier coup, sont au cœur de la philosophie d'ingénierie logicielle fiable de SPARK ».

Robert Dewar, Président d'AdaCore, précise : « Nous sommes ravis de voir nos technologies de nouveau lancées dans l'espace. Ce type d'application ne vous laisse qu'une seule chance, il est donc essentiel de produire un logiciel sûr et entièrement fiable. Dans le cas présent, il est très encourageant de voir des étudiants sans aucune expérience préalable utiliser SPARK et GNAT Pro ensemble pour atteindre cet objectif ».

À propos d'AdaCore

AdaCore, fondé en 1994, est le premier fournisseur de solutions logicielles commerciales pour Ada, un langage de programmation de pointe conçu pour des applications de grande taille et à grande durée de vie. Les technologies fournies par AdaCore sont particulièrement adaptées aux applications pour lesquelles la sûreté, la sécurité et la fiabilité sont des éléments critiques. Le produit phare d'AdaCore est l'environnement de développement GNAT Pro, disponible sur le plus vaste ensemble de plateformes de toutes les technologies Ada. Il est fourni avec un support en ligne dispensé par des experts parmi les plus reconnus dans le domaine. AdaCore dispose d'une large base de clients située dans le monde entier ; voir http://www.adacore.com/home/company/customers/pour de plus amples informations.
L'utilisation d'Ada et de GNAT Pro connaît une croissance continue dans les applications critiques ou certifiées
pour la sûreté, comme les éléments d'avionique pour les appareils commerciaux, les systèmes militaires, le contrôle aérien, les systèmes ferroviaires, les appareils médicaux, et dans des domaines sensibles pour la sécurité comme les services financiers.
Le siège social d'AdaCore est situé à Paris pour la zone Europe, et à New York pour la zone Amérique du
Nord. http://www.adacore.com
À propos de SPARK et de CubeSat
SPARK est un langage de programmation et une boîte à outils de haut niveau conçu pour servir de support au développement de logiciels dans des opérations essentielles telles que la sécurité, ou d'autres applications où aucune panne n'est tolérée. SPARK a été adopté pour le projet CubeSat suite à l'expérience réussie du Vermont Technical College qui a fait appel à SPARK et au langage de programmation associé Ada afin de développer des systèmes de commande critiques pour un projet visant à créer des bouées de surveillance dans les glaces de mer de l'Arctique. CubeSat et les systèmes de bouées relèvent des défis similaires dans le sens où ils doivent tous deux faire face à des conditions inhospitalières et à l'impossibilité totale de fixer des bugs logiciels une fois déployés. « Nous devions donc développer un logiciel capable de satisfaire les exigences d'intégrité les plus élevées : il est tout simplement impossible de résoudre des problèmes logiciels dans l'espace. SPARK était par conséquent le choix idéal pour ce projet et s'inscrit parfaitement dans notre objectif d'envoyer le premier CubeSat sur la lune » expliquait le professeur Carl Brandon, professeur de physique au Vermont Technical College.
Développée par Altran et AdaCore, la boîte à outils SPARK permet une vérification statique inégalable en termes de sûreté, de limitation de fausses alertes, de potentiel et de performance. La boîte à outils génère également des éléments de preuve quant à l'exactitude du système, susceptible de servir à la constitution d'un dossier d'assurance conforme aux exigences de la réglementation de l'industrie et aux normes de certification.

A propos d'Altran
Leader mondial du conseil en innovation et ingénierie avancée, Altran accompagne les entreprises dans leurs
processus de création et développement de nouveaux produits et services. Les Innovation Makers1 du groupe interviennent depuis 30 ans auprès des plus grands acteurs des secteurs aérospatial, automobile, énergie, ferroviaire, finance, santé, télécommunications etc. Les offres du groupe, déclinées depuis les phases du plan
stratégique en matière de technologies nouvelles jusqu'aux phases d'industrialisation, assurent la capitalisation du savoir au sein de 4 domaines principaux : lifecycle experience, ingénierie mécanique, intelligent systems et systèmes d'information.
Le groupe Altran a réalisé en 2012 un chiffre d'affaires de 1 456 M€. Il compte désormais 20 000 collaborateurs dans plus de 20 pays.
http://www.altran.com/fr
Contact presse
Léonore Cousin
01 46 41 72 10
press@altran.com
Suivez-nous sur Twitter#altranPR
NOUVEAU hub press: suivez nos actus

1 Collaborateurs du groupe Altran

distribué par