Numalis, correcteur « orthographique » automatique de code critique
11 Sep 2017

Numalis, correcteur « orthographique » automatique de code critique

Vous vous souvenez sans doute de cette nouvelle, qui date un peu, mais qui avait fait grand bruit lors de la première guerre du Golfe : le 25 février 1991, un missile SCUD irakien avait frappé la base de Dhahran, en Arabie saoudite, tuant 28 soldats américains. Après analyse, l’enquête avait montré qu’un missile MIM-104C (PAC-2) PATRIOT avait bien été lancé pour intercepter le missile, mais qu’il avait manqué sa cible en raison… d’une erreur logicielle.

La batterie de missiles Patriot de Dharan se trouvait en effet en fonction depuis plus de 100 heures, et des erreurs d’arrondi avaient progressivement amené un décalage proche d’une seconde, soit 600m, entre la position perçue de la cible, et sa position réelle. Pas d’erreur mathématique ici, mais simplement la constatation que si les maths sont justes, ce n’est pas pour cela qu’un ordinateur est capable de bien calculer.

Ce n’est d’ailleurs pas le seul exemple d’une erreur logicielle minime ayant des conséquences dévastatrices : citons pêle-mêle l’explosion d’Ariane V en raison d’une erreur dans la gestion de l’accélération, ou encore effondrement de la plateforme Sleipner A le 23 août 1991 (décidément une annus horribilis pour les systèmes critiques) à la suite d’une erreur logicielle résultant en un défaut de conception dans la résistance des ballasts – ci-dessus. Le résultat : une plate-forme gazière reposant à plus de 200m de fond. Pour les personnes intéressées, une liste des catastrophes dues à des erreurs de ce type est accessible ici.

Le logiciel, ce n’est donc pas que du virtuel. Et c’est pour s’attaquer à ce type de problèmes qu’une start-up de Montpellier, la société NUMALIS, soutenue par le programme GENERATE du GICAT, a développé une technologie assez révolutionnaire.

On peut la voir comme l’équivalent du correcteur orthographique de Word, mais appliqué aux codes et calculs critiques. Car plus un défaut est détecté en amont, plus on est en mesure d’en éviter les conséquences critiques. La manière classique de procéder, c’est de développer le logiciel de calcul, puis de tester le résultat en conditions réelles, ce qui est long, coûteux, mais surtout risqué ; on peut en effet passer à côté d’un défaut numérique, qui n’apparaîtra que dans certaines conditions. Numalis a développé des outils pour éviter cet écueil.

Il est impossible, pour un ordinateur, de calculer juste (oui, je sais, c’est paradoxal). Pour faire simple, du fait des contraintes matérielles, les représentations de nombres dans un microprocesseur sont bornées, alors que les mathématiciens calculent avec des nombres qui possèdent bien souvent une infinité de chiffres après la virgule. Et cela a deux conséquences : les erreurs de représentation, et les erreurs d’arrondi. Par exemple, un ordinateur ne connait pas le nombre 0,1. Il est obligé d’en réaliser une représentation binaire, ce qui pourra par exemple amener le nombre à une valeur réelle de 0.100000001490116119384765625… avec un petit souci : plus on additionne ou multiplie, plus l’écart entre le nombre envisagé et sa représentation réelle est important.

La représentation d’un nombre en virgule flottante (par exemple) est encadrée par une norme, la norme IEEE 754, qui fixe la représentation des nombres, les formats des données, les valeurs spéciales, les modes d’arrondi les règles de conversion et le comportement des opérations élémentaires pour l’arithmétique à virgule flottante. Pourtant, il est impossible de représenter exactement tous les nombres avec la norme IEEE 754. Car même si la norme définit des règles, le problème majeur du calcul flottant reste les erreurs d’arrondi dont les principales sources sont l’annulation catastrophique, l’absorption et l’accumulation des erreurs (un exemple ci-dessous).

C’est là que Numalis intervient. La société fondée par Arnault Ioualalen (ci-dessous) se veut le correcteur orthographique du code critique. Elle s’est spécialisée dans l’analyse et l’optimisation de la fiabilité et des performances des calculs numériques, avec des produits permettant de réaliser de manière automatique un audit numérique de codes critiques ainsi qu’une correction également automatique et une optimisation de ces codes.

Le but est d’anticiper les défauts numériques dès la phase de conception, avec un outil qui surligne, à la manière d’un correcteur, les lignes du programme présentant un risque, et qui les améliore d’un simple clic.

Les solutions de Numalis (baptisées Spoat et Wizoat) sont capables d’analyser le code C, C++ et bientôt Ada2012, et d’en détecter les erreurs comme la division par zéro, la dérive catastrophique d’un code numérique, le dépassement (overflow), etc…  La gamme Spoat détecte les vulnérabilités numériques par une technique appelée analyse multispectrale de code, et met en avant les axes d’amélioration. La gamme Wizoat propose des patchs du code source pour améliorer sa qualité et/ou sa performance de calculs.

Outre le fait de pouvoir détecter, avant les phases de tests, la fiabilité des systèmes critiques, les outils de Numalis permettent d’augmenter la fiabilité des calculs, d’améliorer leurs performances (rapidité de traitement, par exemple dans le traitement sol d’images satellites) et de réaliser un arbitrage entre précision et performance au niveau matériel comme logiciel, par exemple pour des systèmes embarqués utilisant des FPGA (« field programmable gate arrays », des processeurs reprogrammables).

Dans le domaine de la défense, les applications sont évidemment nombreuses, qu’il s’agisse de garantir la fiabilité des systèmes critiques (par exemple pour des commandes de vol, des autodirecteurs, etc.), d’améliorer la performance des systèmes de traitement temps réel (image, ROEM,…)

Fondée en novembre 2015, Numalis a été labellisée dans le cadre du dispositif GENERATE du GICAT, et vient d’obtenir le prix innovation du public lors du challenge « start-ups » de l’université d’été du MEDEF – ci-dessus. Une société à suivre…

SOURCE

4 septembre 2020
Le GICAT accueille son nouveau délégué général adjoint aux questions de Défense

Paris, le 4er septembre 2020 – La délégation du GICAT (Groupement des Industries Françaises de Défense et de Sécurité terrestres et aéroterrestres) compte un nouveau membre en la personne de Thierry PUIG, nommé délégué adjoint Défense. Diplômé de I ‘Ecole nationale supérieure des ingénieurs des études et techniques d’armement (1980-1984), Thierry PUIG effectue sa formation […]

30 avril 2020
Le GICAT renouvelle ses postes en alternance pour l’année 2020/2021 !

Trois offres sont disponibles sur notre site internet et ce jusqu’au 4 juin prochain. Vous trouverez toutes les informations en cliquant sur les liens suivants : – Chargé(e) de communication et d’affaires publiques : https://www.gicat.com/job/chargee-de-communication-et-daffaires-publiques-3/ – Chargé(e) de mission « Défense et Innovation » : https://www.gicat.com/job/chargee-de-mission-defense-et-innovation/ – Chargé(e) de mission « Sécurité » & Services […]

26 mars 2020
EUROSATORY 2020 est annulé

La situation sanitaire due au Covid-19 se dégrade de jour en jour en France et s’est étendue au monde entier. Les conditions de préparation et de déroulement du salon qui préserveraient la santé et la sécurité des quelques 100 000 participants attendus, visiteurs, exposants et organisateurs, ne sont pas réunies. Nombre d’exposants internationaux et français […]

19 mars 2020
Gérald Darmanin, Ministre de l’Action et des Comptes publics répond à vos questions

Jeudi 19 mars, à partir de 13 heures Gérald Darmanin, Ministre de l’Action et des Comptes publics, répondra aux questions sur les moyens mis en place pour soutenir l’économie, ainsi que sur les différents dispositifs d’aide et d’accompagnement des entreprises et de leurs salariés. Il sera accompagné de Jérôme Fournel, Directeur Général des Finances Publiques […]

17 mars 2020
Coronavirus – Le GICAT à votre écoute et à votre service.

Chers adhérents, La France connaît une situation sanitaire exceptionnelle, qui affecte vos entreprises et vous oblige à faire face à des difficultés grandissantes. Par ailleurs, vous-même, vos collaborateurs et collaboratrices ont peut-être déjà été touchés par cette pandémie. La crise que nous traversons nous a conduits à reporter ou à annuler la plupart de nos […]

5 mars 2020
Le GICAT lance la deuxième édition du Trophée Innovation !

Remis par la Ministre des Armées lors de l’inauguration du salon Eurosatory, ce prix a pour but de récompenser et de valoriser des entreprises françaises actives dans l’innovation pour les secteurs de la défense et de la sécurité terrestres et aéroterrestres. Lors de l’édition 2018, Florence Parly avait remis à ce prix à ALEPH NETWORK […]

30 janvier 2020
Signature du contrat de filière industries de sécurité 2020-2022

Aujourd’hui, 30 janvier 2020, le contrat de filière 2020-2022 du Comité stratégique de filière (CSF) Industries de sécurité a été signé par Christophe Castaner, Ministre de l’Intérieur et par Marc Darmon, Président du CSF, Président du Conseil des industries de la confiance et de la sécurité, et Directeur Général Adjoint de Thales. L’industrie de sécurité […]

29 janvier 2020
Stéphane Mayer devient Président du CIDEF

Stéphane Mayer, Président du GICAT, Président-Directeur Général de Nexter et Co-CEO de KNDS, devient Président du CIDEF. Il succède à ce poste à Eric Trappier, Président du GIFAS et Président-Directeur Général de Dassault Aviation. A cette occasion, Stéphane Mayer a déclaré : « Je suis pleinement conscient du rôle qui m’incombe comme Président du CIDEF. […]

16 janvier 2020
Le GICAT expose au Forum International de la Cybersécurité (FIC)

Véritable enjeu du XXIe siècle, la cybersécurité s’affranchit des frontières avec le monde connecté et fait partie intégrante du développement des entreprises affiliées au GICAT. Paris, le 13 janvier 2020. Du 28 au 30 janvier 2020, se tiendra le Forum International de la Cybersécurité (FIC) au Grand Palais de Lille. La cybersécurité recouvre un domaine […]

7 janvier 2020
Le GICAT partenaire de la Fabrique Défense

Promouvoir l’esprit de Défense auprès des jeunes, renforcer le lien Armées-Nation et faire émerger une culture stratégique européenne : c’est l’ambition de la première édition de La Fabrique Défense qui se tiendra les 17 et 18 janvier 2020, au Paris Event Center, Porte de la Villette. Le GICAT (Groupement des Industries Françaises de Défense et […]

14 septembre 2020
RUAG Defence France and Danish Defence Forces sign major contract for new SATIS system

RUAG Defence France and Danish Defence Forces have signed a new major contract for the delivery of more than 13 new Small Arms Training Indoor Simulators (SATIS). RUAG Defence France, the French specialist for Simulation & Training systems, is part of RUAG Simulation & Training, a business unit of the division RUAG MRO International, belonging to […]

19 mai 2020
Arquus : Le 1000e Sherpa

Les équipes Arquus de Limoges ont récemment conclu la production du 1000e véhicule blindé Sherpa. Il s’agit d’un cap majeur pour la famille Sherpa, lancée en 2006, et qui a connu de très nombreuses évolutions au fil de son histoire. Le Sherpa rejoint ainsi le club fermé des véhicules produits à plus de 1000 exemplaires, […]

11 mai 2020
Centigon : Reprise progressive de nos activités suite à la fermeture due à l’épidémie de Covid-19

Après plus de 7 semaines d’arrêt quasi-total de ses activités, nous sommes heureux de vous informer que Centigon France rouvre progressivement ses sites de Lamballe et Bondoufle. À compter de cette semaine, nos équipes sont à nouveau disponibles pour vous soutenir et vous accueillir dans le respect des nouvelles mesures sanitaires de précaution. Face à […]

6 mai 2020
En se dotant d’un protocole sanitaire rigoureux, l’ISL a pu reprendre l’ensemble de ses activités de recherche sur site dès ce lundi 4 mai 2020

Après la fermeture de ses sites de Saint-Louis et Baldersheim mercredi 18 mars dernier et une période de retour progressif au travail depuis le lundi 6 avril, l’Institut franco-allemand de recherches de Saint-Louis (ISL) a décidé de reprendre l’intégralité de ses activités sur site dès ce lundi 4 mai 2020. La sécurité sanitaire avant tout […]

24 avril 2020
Altran participe à la lutte mondiale contre le COVID 19

Au cours des dernières semaines, Altran, le leader mondial des services d’ingénierie et de R&D, une société du groupe Capgemini, s’est pleinement engagé dans la lutte contre le COVID-19 et a redéployé un certain nombre de ses ingénieurs, chercheurs et concepteurs pour mener ou collaborer à des initiatives clés portant sur cinq grands défis posés […]

20 avril 2020
Le Groupe Marck se mobilise contre la pénurie de masques

Conformément aux consignes du gouvernement, les sites du groupe ont été temporairement fermés le 17 mars dernier mais avec une permanence des équipes administratives et commerciales en télétravail. Face à la pénurie de masques, le Groupe Marck a entendu l’appel national et s’est rapidement mobilisé pour la mise au point de masques en textile lavables, […]

14 avril 2020
Phoenix Equipement s’engage dans la lutte contre le COVID 19 avec la solution PROFAPLA 3D

PROFAPLA vous permet de fabriquer un support de visière en 13 minutes sur imprimante 3D FDM (dépôt de filament). La visière ainsi créée sera ultra-légère, confortable, stable, protègera le front, ne limitera pas la mobilité de la tête, et ne nécessite pas de perçage de l’écran. Modèle déposé et proposé en fichier sous licence Creative […]

7 avril 2020
Florence Parly, en visite chez Nexter, auprès des industriels de défense et des acteurs du maintien en condition opérationnelle du ministère des Armées

En visite chez Nexter, la Ministre des Armées, Florence Parly, remercie les industriels de la défense pour leur implication dans la lutte contre l’épidémie. La ministre des Armées Florence Parly s’est rendue lundi 6 avril sur le site de l’entreprise Nexter, à Satory. Elle est ensuite allée à la rencontre des équipes de la Structure […]

Partenariat stratégique entre Masa Group et Teleplan Globe AS

13 mars 2020 – MASA Group SA et Teleplan Globe AS ont conclu un partenariat stratégique pour développer et présenter leur système intégré de simulation et leur Système de Gestion et d’Information Opérationnelle (SIO) pour les marchés militaires et de sécurité civile. La relation stratégique entre MASA Group, un des principaux développeurs de logiciels de simulation […]

6 avril 2020
ARQUUS relance progressivement ses activités de production sur ses quatre sites industriels français

Dans le but de servir au mieux ses partenaires, à commencer par l’armée de Terre, actuellement engagée tant sur le territoire national qu’en opérations extérieures, ARQUUS relance partiellement ses activités de production dès cette semaine. La remontée en puissance de ces capacités se fera de manière progressive sur l’ensemble de ses quatre sites, en donnant […]

X