Vérification & Validation de vos logiciels

La validation amont d’un logiciel critique est plus que rentable. La gamme Spoat analyse votre code dès le début et vous en donne une vue complète. Ceci est rendu possible grâce à notre suite d’outils complets et totalement scriptables conçus pour des programmeurs non-experts qui gèrent la conception de systèmes de calculs complexes.
La gamme actuelle de Spoat est composée de Spoat-Vulnerability qui détecte automatiquement les vulnérabilités numériques, et Spoat-Trust qui construit des plans de tests fiables de fonctions numériques.
Pour une description plus facile à partager merci de vous référer à notre brochure en ligne.

Spécifications fonctionnelles de Spoat-Vulnerabilty

Le but de Spoat-Vulnerability est de découvrir toutes les vulnérabilités numériques sur les variables, blocs, fonctions, modules de votre code. Les vulnérabilité peuvent être des dérives numériques, des codes instables, des casts risqués, etc. Pour ce faire Spoat-Vulnerability s’appuie sur des analyses dynamiques, statiques et statistiques (en combinaison avec Spoat-Trust). L’analyse dynamique permet de découvrir
  • La dérive numérique sur toutes les variables
  • Les tests instables (flot d’exécution divergent)
  • Les casts incorrects
L’analyse statique vous permet :
  • D’extraire les domaines de valeurs représentatifs
  • Découvrir le maximum d’erreur possible
  • Mesurer la sensibilité aux entrées
L’analyse statistique vous permet (en combinaison avec Spoat-Trust) de :
  • Enrichir l’analyse statique pour qu’elle se fasse dans les mêmes conditions qu’un hardware spécifique
  • Faire de la cross-validation de résultats
  • Obtenir des sous-approximations sûres

Spécifications fonctionnelles de Spoat-Trust

L’objectif de Spoat-Vulnerability est de caractériser le comportement numérique de librairies externes (avec sans accès au code source) ou de hardware spécifique. En particulier l’analyse statistique permet de :
  • Mesurer la précision de n’importe quel opérateur ou petites fonctions
  • Déterminer des benchmarks minimaux tout en garantissant la reproductibilité des résultats de l’analyse de précision numérique
  • Construire automatiquement ces benchmarks

Spécifications techniques de la gamme Spoat

Les versions actuelles des outils de la gamme Spoat ont les spécifications techniques suivantes :
  • Compatible pour les langages C/C++/Ada2012
  • Fonctionne sur des plateformes Linux (version actuelle de Debian stable et autres)
  • Interface scriptable
  • Affichage des résultats à travers une GUI, optionnelle, simple d’usage
  • Conçu pour fonctionner sur des postes de travail classique (architecture multi-cœurs avec moins de 12 Go de RAM)
Si vous utilisez des langages ou librairies spécifiques ou des langages réalisés vous-même, nos outils peuvent s’interfacer avec. Merci de prendre contact avec notre équipe par notre email support@numalis.com pour que nous puissions étudier comment rajouter le support nécessaire.

Services disponibles en plus des licences de nos logiciels

En plus de nos licences nous fournissons les services suivants afin de faciliter l’utilisation au maximum par vos ingénieurs de nos outils. En particulier nous fournissons les services de :
  • Formation (sur devis)
  • Support (abonnement)
  • Maintenance d’urgence (abonnement)
  • Maintenance préventive (abonnement)
  • Amélioration continue (abonnement)
  • Déploiement opérationnel (sur devis)
Pour toutes questions concernant ces services merci de nous écrire via la page contact.