KoPilot - Software für autonome Systeme mit Echtzeit-Verifizierung
Innovation
Produktbeschreibung
Alle L2+ Fahrzeuge (Stufe 2 = teilautomatisiertes Fahren), die sich derzeit auf der Straße oder in der Luft befinden, werden als Prototypen betrieben, oder der Mensch wird noch voll für ihre Nutzung verantwortlich gemacht. Daher gibt es keine echte Teil-Autonomie. Ein Hauptproblem besteht darin, eine Genehmigung von einer Prüfinstanz , wie beispielsweise dem TÜV, zu erhalten. Diese Genehmigung kann aber nur erfolgen, wenn es einen Nachweis gibt, dass das autonome Fahrzeug den einschlägigen Vorschriften entspricht, z.B.: denen der Straßenverkehrsordnung.
Mit der Kontrol Technologie können wir unseren Kunden eine praktische Antwort liefern, um dieses Problem zu lösen. Denn Kontrol wurde gegründet, um die Konformität und Sicherheit autonomer Systeme zu gewährleisten und ihre Zertifizierung zu ermöglichen. Unser Ziel ist es, autonome Kraftfahrzeuge und unbemannte Luftfahrtsysteme für den Massenmarkt, daher eine Integration in der Gesellschaft und in unseren Regularien, sicherzustellen.
Mit der Kontrol Technologie können wir unseren Kunden eine praktische Antwort liefern, um dieses Problem zu lösen. Denn Kontrol wurde gegründet, um die Konformität und Sicherheit autonomer Systeme zu gewährleisten und ihre Zertifizierung zu ermöglichen. Unser Ziel ist es, autonome Kraftfahrzeuge und unbemannte Luftfahrtsysteme für den Massenmarkt, daher eine Integration in der Gesellschaft und in unseren Regularien, sicherzustellen.
Vorteile
- Kontrol ist ein Deep-Tech-Unternehmen, das sich auf die formale Überprüfung des Verhaltens und der Bewegungsplanung autonomer Systeme konzentriert. Die formale Verifizierung ist eine Methode zum
mathematischen Nachweis des Ergebnisses und der Richtigkeit von Computeralgorithmen auf der Grundlage vordefinierter Spezifikationen (z.B. Regeln, Randbedingungen). Eine der wichtigsten geistigen
Eigenschaften und Stärken von Kontrol ist die Übersetzung eines in natürlicher Sprache verfassten Rechtstextes in berechenbaren Code.
Regeln werden daher geometrisch interpretiert und können anschließend vom Computeralgorithmus effizient verarbeitet werden.
Einsatzbereiche
- Unsere Kerntechnologie kann theoretisch auf mehrere Anwendungsfälle angewendet werden, wird jedoch derzeit im Zusammenhang mit autonomen Systemen wie Kraftfahrzeugen oder Luftfahrzeugen als sehr relevant angesehen.
Mögliche Anwendungsbereiche sind First-Last-Mile-Lieferung, fliegende Taxis, selbst fahrende Fahrzeuge, Highway-Piloten und echtes Valet-Parken. Eine Anwendung von geringer Komplexität wäre der elektronische Kopilot für Flugzeuge und automatisierte Lastwagen.
Feedback
Neue Produkte leben von Erfolgsgeschichten. Wie haben Sie die Innovation eingesetzt? Erzählen Sie von Erfahrungen.
Sie finden keine passende Innovation?
Starten Sie Ihre eigene kostenlose Challenge. Noch nie gemacht?
Die IÖB-Servicestelle steht Ihnen zur Seite.
Die IÖB-Servicestelle steht Ihnen zur Seite.
Hinter der IÖB-Servicestelle stehen starke Partner
Eine Initiative von:
In Kooperation mit:
Cookies
Wir verwenden Cookies, um sicherzustellen, dass wir Ihnen das beste Erlebnis auf unserer Website bieten.
Erfahren Sie mehr unter "Erhebung von Zugriffsdaten, Logfiles und Cookies" in unserer Datenschutzerklärung.
Bitte melden Sie sich an, wenn Sie ein Feedback hinterlassen möchten.