Nos marchés

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.

Numalis pour l’Aéronautique et l’Aérospatiale

Depuis vingt ans les ingénieurs de l’industrie de l’informatique embarquée ont des problèmes de précision numérique qu’ils ont dû contourner manuellement. Dans les secteurs de l’aéronautique et l’aérospatiale la stabilité numérique est toujours un sujet d’investigation. Toutefois, les méthodes d’investigation actuelles demandent une grande expertise et beaucoup de temps pour être réalisées correctement. Avec l’augmentation continue de la taille des programmes, les méthodes manuelles deviennent difficiles à réaliser. Dès lors, il devient nécessaire d’avoir des outils plus automatisés qui permettent d’assurer fiabilité et performance optimale. C’est pour cette raison que Numalis développe ses outils en direction de l’aérospatial.

Adapter la précision au plus près de vos contraintes

Un des défis fondamentaux de la conception des systèmes embarqués est de s’adapter aux contraintes de son environnement, que ce soit du FPGA ou des systèmes ad hoc. Cela peut venir de faibles volumes de mémoire comme du besoin d’exigence de débit de traitements. Ces contraintes peuvent changer fortement l’implantation d’un algorithme entre sa conception de haut niveau et sa réalisation dans le matériel. 

En général l’optimisation est réalisée manuellement en adaptant chaque section du code source, mais quand le résultat final n’est pas satisfaisant il faut généralement tout recommencer. Avec sa gamme Spoat, Numalis regroupe toute l'expérience en synthèse de codes nécessaire pour vous générer des ensembles d’implantations possibles de votre programme qui respectent vos critères. Ainsi, vous disposez de toutes les informations nécessaires pour vous permettre de concevoir la meilleure implantation pour répondre à vos besoins. Texte du paragraphe

Arbitrer simplement les choix de conception

Lors de la conception de systèmes spatiaux le poids, la consommation énergétique et la résistance sont des éléments déterminants. Des systèmes toujours plus puissants sont nécessaires pour satisfaire les besoins de performance des nouveaux instruments. Néanmoins il n'est jamais simple d'arbitrer entre utiliser de la puissance logicielle ou du hardware dédié pour réaliser au mieux une tâche. Ce type d'arbitrage se réalise principalement par des méthodologies manuelles empiriques, pour voir jusqu'où il est possible d'aller dans la réduction des coûts d'un programme. 

Numalis se spécialise dans la fourniture d'outils d'aide à la conception, capables d'aider à comprendre où le calcul peut être réalisé de manière logicielle et où il peut l'être sur un hardware minimaliste. Vos choix de conception se simplifient et vos systèmes sont à la fois performants et compétitifs. phe

Tester de manière fiable vos fonctions numériques

La fiabilité est un sujet central pour tous les systèmes embarqués critiques car elle permet de retirer les acteurs humains des processus. Pour atteindre de tels niveaux de confiance, les systèmes doivent être testés de manière intensive. Toutefois, quand il s’agit de calcul, il est presque impossible de couvrir toutes les exécutions possibles : la validation numérique est soit incomplète soit infaisable dans le temps imparti. 

Avec de l’analyse statique, dynamique et statistique les outils de Numalis vous aident à éviter toutes les erreurs de vos calculs. Des rapports détaillés du comportement numérique en plus de la valeur maximale de dérive, rendent possible la validation numérique la plus stricte de vos exigences en termes de calculs.

Numalis pour la Défense

Chaque système dans le domaine de la Défense est un élément essentiel d’une opération qui se doit d’être à la fois fiable, résilient, durable et performant. Les logiciels utilisés n’y font pas exception. De la conception, à l’intégration, jusqu’aux tests et la maintenance en condition opérationnelle, la qualité des logiciels doit être au rendez-vous. Cette exigence a un coût, or dans un contexte où la compétition et la demande imposent de faire toujours plus avec moins, le besoin pour des solutions logicielles automatisées prend tout son sens.
Les systèmes embarqués critiques deviennent de plus en plus complexes dès lors qu’ils embarquent plus de calculateurs et acquièrent plus d’autonomie. La vérification et la validation avec les standards les plus stricts sont une étape centrale de tous vos processus. Avec les outils Numalis vos ingénieurs ont l’information dont ils ont besoin au bon moment pour concevoir et valider efficacement tous leurs logiciels (que ce soit pour des systèmes aériens, spatiaux, terrestre ou maritime).

Minimiser vos risques de retards en optimisant vos tests

Lors de la conception de systèmes embarqués critiques les phases de tests sont essentielles pour s'assurer de la fiabilité et de la performance d'un système. Les phases de tests mettent à jour des défauts qui sont généralement difficiles à détecter en amont. Néanmoins leur correction est coûteuse et particulièrement chronophage. C'est d'autant plus le cas pour un défaut d'origine numérique car ils sont difficiles à anticiper sans avoir le système complet de disponible. Pour un défaut découvert sur un banc d'essai réel il faut compter environ 4 mois pour le corriger. En effet la difficulté vient du fait qu'il faut réitérer, puis reproduire, puis comprendre, puis attribuer, puis corriger, puis insérer le correctif dans les versions actuelles. Pour chaque défaut à corriger le risque augmente que les retards accumulés causent des pénalités, mais aussi qu'un banc d'essai soit en partie ou en totalité endommagé lors de la découverte du défaut. 

Ce processus coûteux peut pourtant être évité si l'on dispose en amont des outils adéquats pour les détecter. La gamme Spoat de Numalis vise à rendre vos ingénieurs logiciels capables de vérifier en amont les risques encourus par votre système sur ses aspects numériques les plus complexes. Ainsi les défauts sont identifiés et corrigés dès leur introduction, sans attendre les phases de tests. Vos phases de tests deviennent des phases de confirmation de la qualité de votre système et non des phases de découverte de bugs.

Allonger la durée de fonctionnement stable

Les systèmes semi ou totalement autonomes sont les prochaines évolutions en matière de robotique et de drone. Quand ils opèrent de manière autonome, ces systèmes peuvent subir des dérives de leur comportement. L’effet combiné de capteurs imprécis et des erreurs d’arrondis accumulées lors des calculs peuvent causer de décisions erronées, et parfois avoir des conséquences dramatiques. 
La gamme d'outils Wizoat vous aide à allonger la durée maximale d’exécution stable de vos systèmes, et ce malgré l’imprécision de capteurs et les dérives numériques. Nos outils vous donnent les bornes maximales de dérives de vos systèmes, et vous aident à repousser ces bornes.

Améliorer les performances de vos codes

Les systèmes numériques en temps réel se reposent sur des méthodes de calculs itératives. Pour toujours garantir leur temps de réponse les codes numériques doivent arbitrer entre répondre partiellement faux ou en retard. 
La gamme Wizoat permet d'augmenter la vitesse de convergence de vos algorithmes en améliorant leur précision. Vos algorithmes ne subiront plus les effets de déviation numérique qui leur font perdre du temps. La gamme Wizoat génère automatiquement une version optimisée qui divise la dérive numérique.