MONTPELLIER 34960
France

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