Coverity a participé à l’atterrissage en douceur de Curiosity sur Mars

Depuis la création de la mission MSL de la NASA, le JPL a recouru à l’analyse statique comme un élément clé du processus de vérification de code afin d’assurer la réussite de l’une des missions les plus complexes de l’histoire de la NASA et de garantir la fiabilité de l’un des robots les plus évolués jamais envoyés dans l’espace.

Les développeurs du JPL de la NASA utilisent Coverity pour tester tous les logiciels de contrôle de vol et les fonctionsembarquées du rover Curiosity, soit plus de deux millions de lignes de codes, pour détecter et corriger tous les défauts logiciels avant le lancement.

Le robot Curiosity, un rover de la taille d’une voiture, a pour mission de déterminer si l’environnement martien a été propice à la vie dans le passé.Compte tenu du caractère stratégique de Curiosity pour la bonne réussite de la mission, le logiciel associé à l’engin se doit d’être fiable et exempt de tout défaut. Le moindre défaut logiciel pourrait faire la différence entre la réussite et l’échec de cette mission de 2,5 milliards de dollars et nuire à sa capacité à évaluer la possibilité d’une vie sur Mars.