Optimiser vos programmes

Les système complexes nécessitent des solutions intelligentes, du design jusqu’au tests chaque étape est un défi. La gamme Spoat optimise vos logiciels en vous fournissant un code à la fois stable et performant. Nos solutions permettent de générer automatiquement des patches sources à sources selon les critères d’optimisation qui vous correspondent.
La gamme actuelle de Wizoat est composée de Wizoat-Arbitrage qui simplifie votre logiciel afin d’aider à son intégration dans du hardware optimisé, et de Wizoat-Stability qui réduit les instabilités numériques critiques en corrigeant les vulnérabilités numériques.
Pour une description plus facile à partager merci de vous référer à notre brochure en ligne.

Spécifications fonctionnelles de Wizoat-Arbitrage

Le but de Wizoat-Arbitrage est d’augmenter les performances votre logiciels tout en préservant la précision nécessaire en ajustant le typage. Pour cela l’utilisateur suit les étapes suivantes :
  • Spécification de la précision requise pour son besoin
  • Sélection des fonctions / modules / fichiers qui nécessite une optimisation (en suivant les recommandation de Spoat-Vulnerability par exemple)
  • Sélection des types disponibles sur l’architecture
  • Sélection d’un critère d’optimisation (cf. ci-dessous pour plus de détails)
  • Lancer Wizoat-Arbitrage
  • Obtenir un patch du code prêt à être appliqué, ainsi qu’une analyse avant/après du code
Les critères d’optimisation sont indiqués dans la liste, non-exhaustive, ci-dessous :
  • Minimiser l’usage de la mémoire localement
  • Minimiser l’usage de la RAM/ROM globalement
  • Minimiser le volume de données transféré

Spécifications fonctionnelles de Wizoat-Stability

Le but de Wizoat-Stability est d’améliorer la stabilité de votre code sans altérer ses performances. Pour cela l’utilisateur suit les étapes suivantes :
  • Identifier les vulnérabilités en utilisant Spoat-Vulnerability
  • Sélectionner les modifications syntaxiques autorisées (cf. ci-dessous pour plus de détails)
  • Exécuter Wizoat-Stability
  • Obtenir un patch du code prêt à être appliqué, ainsi qu’une analyse avant/après du code
Les modifications syntaxiques autorisées sont entièrement paramétrables. L’utilisateur peut choisir d’utiliser l’outil pour :
  • Modifier des expressions isolées
  • Des groupes d’expressions en autorisant des substituons
  • Changer le graphe de flot de control, avec par exemple du déroulement de boucles
  • Faire de la génération de code spécialisé
  • Faire de la stabilisation de conditions

Spécifications techniques de la gamme Wizoat

Les versions actuelles des outils de la gamme Wizoat ont les spécifications techniques suivantes :
  • Compatible pour les langages C/C++/Ada2012
  • Nécessite Spoat-Vulnerability pour fonctionner
  • 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.