KoPilot - Software für autonome Systeme mit Echtzeit-Verifizierung
Innovation
Product description
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.
Advantages
- 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.
Areas of application
- 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
Success stories are important for new products: How have you used this innovation? Tell us about your experience.
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.
Strong partners stand behind the Austrian Competence Centre for Innovation Procurement
An initiative of:
In cooperation with:
Cookies
We use cookies to make sure we give you the best experience on our website.
Find out more under "Collection of access data, log files and cookies" in our Privacy Policy.
Please log in if you would like to leave feedback.