Algorithmen Verifizierung
Formale Verifizierung von Algorithmen mit Garantien
Geplanter Release: Q4/2024 – bis dahin ist das Produkt ausschließlich für Pilot Kunden sowie Forschungskooperationen verfügbar.
Reachtube
Unser Software-Toolset für die Verifizierung komplexer dynamischer Systeme bietet:
- Reachtube Analyse beliebiger Algorithmen (z.B. konventionelle Controller sowie KI-Controller wie MLP, RNNs,…) Unsere Technologie verifiziert auf maschinellem Lernen (ML) basierende Controller, typischerweise Systeme in der Steuerung- und Regelungstechnik.
- Statistischer wie auch analytischer Ansatz, abhängig von der Systemarchitektur und dem Testbudget (Zeit und Ressourcen)
- Systemtests mit oder ohne Vorlage eines AI-Modells möglich. Ihr KI-Modell muss nicht weitergegeben werden!
- Die Testergebnisse können als Garantien für Zertifizierungsprozesse oder Sicherheitsannäherungen in der Industrie verwendet werden.
Sie können als Teil von formalen Verifizierungsaktivitäten verwendet werden, einem der letzten Schritte im Lebenszyklus des maschinellen Lernens, um zu garantieren, dass der trainierte maschinelle Lerncontroller vorher definierte Eigenschaften erfüllt.
Verschiedene Branchen, die ML-gesteuerte Systeme einsetzen, nutzen unsere Technologie zur Durchführung von Reachtube-Analysen, mit denen sie die Robustheit ihres Systems (gegenüber Störungen, Ausfällen und neuen Bedingungen) bewerten und sicherstellen können, dass es sicher ist und keine unsicheren oder unerwünschten Zustände erreicht.
Use Cases
Steuerungssysteme sind in verschiedenen Branchen unverzichtbar. Unsere Spitzentechnologie hat das Potenzial, die Bereiche Robotik und industrielle Automatisierung zu revolutionieren. Ganz gleich, ob Sie in der Fertigung tätig sind oder ein wichtiger Anbieter von Steuerungssystemen für diese Sektoren sind, unser Tool wurde entwickelt, um Ihre Anforderungen zu erfüllen, insbesondere wenn KI-basierte Automatisierung in Ihren aktuellen oder zukünftigen Plänen enthalten ist.
Unsere Technologie lässt sich auch auf sicherheitskritische Bereiche wie medizinische Geräte (z. B. Herzschrittmacher oder Insulinpumpen) sowie auf Luft- und Raumfahrt-, Automobil- und Transportsysteme anwenden.
Integration
Wir bieten vielseitige Bereitstellungsoptionen, die auf Ihre Bedürfnisse und Präferenzen zugeschnitten sind.
- API Service: Python Package verfügbar
- On-Premise Software für Linux Betriebssysteme
Wir können unser Tool über eine sichere Vor-Ort-Bereitstellung oder über private Cloud-Bereitstellungen integrieren. Wir bieten Ihnen eine nahtlose Einbindung unserer fortschrittlichen Algorithmen in Ihre bestehende Softwareumgebung.
Setzen Sie sich mit uns in Verbindung, um ein Gespräch zu beginnen und den Ansatz zu bestimmen, der Ihren Anforderungen am besten entspricht.
Preise
Derzeit ist unser Angebot nur für Pilotkunden oder Forschungsprojektkooperationen verfügbar. Bitte kontaktieren Sie uns über das untenstehende Formular, um mehr über unsere Preisoptionen zu erfahren.