Communiqué de presse Les outils d`Altran et d`Adacore réunis ont

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 Makers 1 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
[email protected]
Suivez-nous sur Twitter #altranPR
NOUVEAU hub press: suivez nos actus
1
Collaborateurs du groupe Altran