Optimiser vos programmes

Les systèmes complexes nécessitent des solutions intelligentes. Du design jusqu’aux tests, chaque étape est un défi. La gamme Wizoat optimise vos logiciels en vous fournissant un code à la fois stable et performant. Nos solutions permettent de générer automatiquement des patchs, source à source 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 logiciel 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écessitent une optimisation (en suivant les recommandations 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ées

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 substitutions
  • Changer le graphe de flot de control, avec par exemple du déroulement de boucles
  • Faire de la génération de codes spécialisés
  • 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 :
  • Compatibles pour les langages C/C++/Ada2012
  • Nécessitent Spoat-Vulnerability pour fonctionner
  • Fonctionnent 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çus pour fonctionner sur des postes de travail classiques (architecture multi-cœurs avec moins de 12 Go de RAM)
Si vous utilisez des langages (même ceux créés par vos soins) et des librairies spécifiques, nos outils peuvent s’interfacer avec. Merci de prendre contact avec notre équipe via 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.