Nos partenaires
Nos partenaires
Fier de distribuer vos produits et services
.
Dans un environnement industriel de plus en plus complexe, où les technologies évoluent très rapidement, il est essentiel de s'appuyer sur des partenaires technologiques spécialisés qui apportent leur expérience et leurs connaissances.
Grâce à eux, nous sommes en mesure d'offrir une large gamme de produits et de services couvrant la quasi-totalité du domaine de l'ingénierie des systèmes et de l'ingénierie logicielle.
Notre objectif, comme celui de nos clients, est d'établir des relations à long terme dans lesquelles nous pouvons apporter une valeur locale et bénéficier de leur vision et de leur expérience globales.
Absint fournit des outils d'analyse statique de code. Basés sur des méthodes mathématiques de vérification formelle, ils permettent de démontrer l'absence d'erreurs d'exécution, d'erreurs de débordement de pile et l'analyse du temps d'exécution le plus défavorable (Worst Case Execution Time). Ils permettent également l'analyse du flux de données/contrôle. Ce sont des outils essentiels pour la vérification des exigences non fonctionnelles du système.
AFuzion est le leader en matière de formation et de services de soutien pour la certification aéronautique conformément à ARP-4754, ARP-4761, DO-178C, DO-254, DO-326A, etc. Dans le cadre des services de certification, des modèles et des listes de contrôle pour l'examen des plans, des normes et des documents de spécification requis par les normes aéronautiques sont fournis.
