Auch wenn die Technologie noch etwas auf sich warten lässt: Autonomes Fahren und autonomes Fliegen sind in aller Munde. Denn sie werden als wichtige Schlüsseltechnologien der Smart City gehandelt. Genau in diesem vielversprechenden Bereich sah Michael Naderhirn, der früher bei einer zu Airbus gehörigen Firma an Antikollisionsmechanismen arbeitete, sein Geschäftsfeld. Der Gründer von Kontrol möchte „Fluglizenzen und Führerschein auf Chip“ für autonomes Fliegen bzw. autonomes Fahren verkaufen.

„System on a chip“ für autonome Verkehrsmittel

„Das Businessmodell von Kontrol ist im Prinzip recht einfach. Wir verkaufen ein ‚system on a chip‘, das garantiert, dass autonome Fahr- und Flugzeuge sich an bestehende Regeln halten und sicher sind. Als Kunden kommen also Hersteller von Autos und Flugzeugen in Frage. Denn für alles, was autonom durch die Gegend fliegt oder fährt, muss der Beweis erbracht werden, dass es sich an Gesetze hält und keine Unfälle verursacht – und da kommt Kontrol ins Spiel“, erklärt CEO Naderhirn.

Kontrol: mathematische Beweise für Regelkonformität und Sicherheit

Alles andere als einfach ist das, was auf den Chips ist. Die KontrolEngine analysiert die Umgebung des sich autonom bewegenden Verkehrsmittels und entscheidet selbstständig, ob sie sicher ist oder nicht. Dies geschieht mit einer patentierten Methode, die auf mathematische Art und Weise sicherstellt, dass Gesetzestexte eingehalten werden. „Der wesentliche Unterschied besteht darin, dass Kontrol nach Regeln arbeitet und alle Regeln miteinander Verknüpft. Es arbeitet mit der formalen Verifikation, liefert also mathematische Beweise dafür, dass sich das Fahrzeug in allen erdenklichen Situationen so verhält, wie es Regeln und Sicherheit erfordern. Andere Systeme, die nicht so funktionieren, müssen diese Beweise in Praxistests erbringen“, so Naderhirn. Diese Simulation von Szenarios sei extrem aufwändig, zeitintensiv und kostspielig.

Vorteile gegenüber anderen Ansätzen

Andere Systeme “denken” typischerweise in Szenarien: Beispiel: Man kommt an eine Kreuzung. Hier entstehen zwei Probleme: Aufgrund der vielen möglichen Szenarien, die an der Kreuzung eintreten können, kommt es zu einem großen Entwicklungsaufwand, der die Entwicklung entsprechend verteuert. Denn man muss für jedes einzelne aller möglichen Szenarien eine dokumentierte, den Sicherheitsnormen entsprechende Entwicklung durchführen.

Das zweite Problem besteht im Realbetrieb. Da muss man während der Fahrt die Szenarien über Features detektieren, was extrem rechenaufwendig ist und sehr viel Energie – problematisch bei elektrisch betriebenen Vehikeln – benötigt. Mit Regeln ist dies sehr einfach: “Erkenne die Sperrlinie” bedeutet, dass man ein Feature, die Sperrlinie, erkennen muss und nicht mehrere hundert pro Szenario, was natürlich den Rechenaufwand und somit Energieaufwand im Realbetrieb wesentlich reduziert. Auch die Regeln müssen den Sicherheitsnormen entsprechend entwickelt werden. Jedoch ist der Aufwand hierfür wesentlich geringer.

“Österreich leider noch in der Steinzeit“

Naderhirn lebt in den USA und Österreich und kennt deshalb Unterschiede, was die Standortattraktivität für GründerInnen betrifft: „Es wäre gescheit, wenn man sein Startup einfach online gründen könnte. In den USA ist das möglich, es gibt eigene Web Pages für die Gründung. Was das betrifft, ist Österreich leider noch in der Steinzeit.“ Dennoch lobt er die guten Förderungsmöglichkeiten, zum Beispiel durch die aws (Austria Wirtschaftsservice): „Ich habe um eine PreSeed Förderung bei der aws angesucht und diese auch erhalten. Über die reine finanzielle Hilfe hinaus gab es auch andere Unterstützungsangebote. Die aws schaut sich beispielsweise auch den Businessplan an, ermuntert zu einer Probepräsentation und gibt gutes Feedback.“

Aktuell arbeitet Naderhirn mit seinem inzwischen vierköpfigen Team an einem autonomen Landesystem für Flugzeuge. Langfristig möchte er Kontrol zum Standard in der Industrie autonomer Verkehrsmittel machen.