Unsere Partner
Unsere Partner
Wir sind stolz darauf, Ihre
Produkte und Dienstleistungen zu vertreiben.
In einem immer komplexeren industriellen Umfeld, in dem sich die Technologien sehr schnell weiterentwickeln, ist es unerlässlich, sich auf spezialisierte Technologiepartner zu verlassen, die Erfahrung und Wissen mitbringen.
Dank ihnen sind wir in der Lage, eine breite Palette von Produkten und Dienstleistungen anzubieten, die nahezu den gesamten Bereich des Systems Engineering und des Software Engineering abdecken.
Unser Ziel ist es, ebenso wie das unserer Kunden, langfristige Beziehungen aufzubauen, in denen wir einen lokalen Mehrwert schaffen und ihre globale Vision und Erfahrung nutzen können.
Absint bietet Werkzeuge zur statischen Codeanalyse. Basierend auf mathematischen Methoden der formalen Verifikation ermöglichen sie den Nachweis der Abwesenheit von Laufzeitfehlern, Stack-Overflow-Fehlern und die Analyse des Worst-Case-Execution-Timings. Sie ermöglichen auch die Analyse des Daten-/Kontrollflusses. Sie sind wesentliche Werkzeuge für die Verifizierung von nicht-funktionalen Systemanforderungen.
AFuzion ist der führende Anbieter von Schulungs- und Unterstützungsdienstleistungen für die aeronautische Zertifizierung gemäß ARP-4754, ARP-4761, DO-178C, DO-254, DO-326A, etc. Als Teil der Zertifizierungsdienstleistungen werden Vorlagen und Checklisten für die Überprüfung von Plänen, Standards und Spezifikationsdokumenten, die von den Luftfahrtnormen gefordert werden, bereitgestellt.
