NUMALIS

Typologie : TPE / PME

Filière(s)

• Risque et résilience

Activité principale / Activity

Numalis est une société d’édition de logiciels spécialisée dans la fiabilité et l’optimisation numérique de logiciels critiques. Nous adressons les ingénieurs logiciels responsables de la conception des programmes embarqués critiques réalisant des calculs dans des environnements critiques comme les avions, hélicoptères, missiles, satellites ou même le lanceur spatial les transportant.

Produits & services / Products & services

Numalis fournit l’équivalent d’un correcteur orthographique mais adapté aux calculs critiques, il détecte les vulnérabilités et les axes d’amélioration, et propose automatiquement un patch du code source. En corrigeant ainsi le plus tôt possible les défauts, nous accélérons la conception, nous réduisons significativement le temps perdu en phase de tests et limitons les risques au maximum.

Marchés visés

• Aérospatiale
• Défense