19.09.2018

Kontrol: Startup aus OÖ macht autonome Verkehrsmittel mit mathematischen Beweisen sicher

Autonomes Fahren bzw. Fliegen ist einer der Schlüssel zur Smart City. Doch wer garantiert die Sicherheit der Verkehrsmittel? Das Startup Kontrol von Michael Naderhirn tut das mit mathematischen Beweisen. Autonome Verkehrsmittel sollen sich so in allen erdenklichen Situationen gesetzeskonform und sicher verhalten.
/artikel/kontrol-startup-aus-ooe-macht-autonome-verkehrsmittel-mit-mathematischen-beweisen-sicher
Kontrol
(c) peshkov/Fotolia.
sponsored

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.

Deine ungelesenen Artikel:
28.05.2026

SecurITe holt zweistellige Millionen-Seed-Finanzierung für Healthcare-Cybersecurity

Das auf Healthcare spezialisierte Cybersecurity-Startup SecurITe – gegründet von einem Silicon-Valley-Heimkehrer und dem österreichischen Health-IT-Pionier x-tention – hat eine Seed-Runde im niedrigen zweistelligen Millionenbereich abgeschlossen. Für eine Frühphasenfinanzierung in Österreich eine außergewöhnliche Größenordnung.
/artikel/securite-holt-zweistellige-millionen-seed-finanzierung-fuer-healthcare-cybersecurity
28.05.2026

SecurITe holt zweistellige Millionen-Seed-Finanzierung für Healthcare-Cybersecurity

Das auf Healthcare spezialisierte Cybersecurity-Startup SecurITe – gegründet von einem Silicon-Valley-Heimkehrer und dem österreichischen Health-IT-Pionier x-tention – hat eine Seed-Runde im niedrigen zweistelligen Millionenbereich abgeschlossen. Für eine Frühphasenfinanzierung in Österreich eine außergewöhnliche Größenordnung.
/artikel/securite-holt-zweistellige-millionen-seed-finanzierung-fuer-healthcare-cybersecurity
(c) SecurITe

Manchmal beginnt eine Gründungsgeschichte mit einem Satz, der wie eine Drohung klingt. „Alles, was wir in der Cybersecurity haben, kannst du wegschmeißen. Es wird in ganz kurzer Zeit nicht mehr funktionieren.“ Das soll Manuel Nedbal im Herbst 2024 zu Herbert Stöger gesagt haben – als das Schlagwort „agentic AI“ noch kaum jemand kannte. Rund anderthalb Jahre später, sagen beide, sei genau das eingetreten. Und aus der Ansage ist ein Unternehmen geworden, das nun eine bemerkenswerte Finanzierungsrunde vermeldet.

SecurITe hat eine Seed-Runde im niedrigen zweistelligen Millionenbereich (Euro) abgeschlossen – für eine Frühphasenfinanzierung im österreichischen Kontext eine außergewöhnliche Größenordnung. Sie reicht laut Unternehmen, um die Produktentwicklung über rund 24 Monate durchzufinanzieren. Strukturiert wurde die Runde bewusst über einen europäischen Finanzpartner aus dem Family-Office-Umfeld, der vorerst nicht genannt werden möchte. Auch die bestehenden Gesellschafter zogen mit.

Herbert Stöger, Managing Director x-tention | (c) Thomsen Photography

Hinter SecurITe stehen zwei Akteure, die sich ergänzen: Nedbal, der zwölf Jahre im Silicon Valley Cybersecurity gebaut hat, und Stöger, Gründer und Eigentümer der österreichischen Health-IT-Gruppe x-tention. Das Startup ist aus dieser Partnerschaft entstanden – x-tention brachte den Zugang zum Gesundheitsmarkt und das Problemverständnis ein, Nedbal die Technologie. Eine klassische Ausgründung sei es nicht; x-tention zählt heute zu den bestehenden Gesellschaftern.

Eine Begegnung im Bezirk Amstetten

Die Geschichte dahinter ist die zweier Welten, die im Mostviertel zusammenfanden. Nedbals Stationen im Valley: McAfee (später von Intel übernommen), dann das eigene Startup ShieldX, das nach fünf Jahren an Fortinet verkauft wurde, wo er als VP of Engineering arbeitete. Zuletzt verantwortete er bei Google die Architektur der Cloud-Firewall. Im Zuge der Pandemie kehrte er nach Österreich zurück – ein Muster, das man damals bei einigen heimischen Tech-Talenten beobachten konnte. Dort wurde er über einen gemeinsamen Freund Stöger vorgestellt.

Manuel Nedbal – CEO SecurITe (links) und Bernhard Aigenbauer – COO SecurITe | (c) SecurITe

Dieser hatte x-tention 2001 mit sechs Mitarbeitern gegründet; heute zählt die Gruppe rund 850 Beschäftigte in Österreich, der Schweiz, Deutschland und England sowie ein Office im Silicon Valley. Tief im Bereich Gesundheits-IT verankert, deckt x-tention Datenmanagement, ELGA, Konnektivität und Managed Services ab und betreut nach eigenen Angaben mehr als 1.000 Kunden im Gesundheitswesen. Marktbedingungen, großes Problem, Marktzugang und Technologie seien „auf einmal zusammengekommen“ – Nedbal nennt es eine „Textbuchvorlage für ein Startup“. Heute verteilt sich das rund 50-köpfige Team auf Österreich, Silicon Valley und Bangalore.

Krankenhäuser als verwundbarster Punkt

Warum ausgerechnet Healthcare? Der Sektor sei von der Cybersecurity-Industrie „vergessen“ worden, argumentiert Nedbal – weil dort andere Regeln gelten. Klassische Schutzmechanismen ließen sich auf medizinischen Geräten und in klinischen Netzen nicht so einsetzen wie in der Enterprise-IT. Hinzu komme, dass während der Pandemie eine Hemmschwelle gefallen sei: Krankenhäuser würden heute ohne Schonung attackiert – rund um die Uhr.

Hier setzt das Resilienz-Argument der Gründer an: Krankenhäuser seien ein Paradebeispiel für kritische Infrastruktur, deren Absicherung längst keine rein technische Frage mehr sei, sondern eine der europäischen Souveränität. Die Sorge: Erkenntnisse über neue, KI-getriebene Angriffsmuster zirkulierten oft nur in einem begrenzten Kreis großer US-Anbieter – Krankenhaussoftware-Hersteller und europäische Institutionen seien dabei selten am Tisch. Eine eigenständige europäische Antwort, die nicht aus den USA, Israel oder China komme, sieht das Team daher als Chance. Konsequenterweise habe man auch die Finanzierung „aus Europa und für für das globale Wachstum“ gestemmt – die IP bleibe aber in Europa.

Die nächste Bedrohungsstufe sieht SecurITe in autonomen Agenten: Setzen Kliniken selbst KI-Agenten ein, könnten diese sich fehlverhalten; ein Angriff durch autonome Agenten sei zudem um ein Vielfaches gefährlicher als von einem menschlichen Akteur. Genau hier setzt das Produkt agentis360 an: Statt auf eine zentrale Instanz setzt es auf eigene Sensoren und kleine KI-Modelle, die direkt in der Infrastruktur sitzen und das Verhalten von Systemen und Agenten laufend auf Auffälligkeiten profilieren. Mit dem frischen Kapital will das Unternehmen die Produktentwicklung vorantreiben und parallel internationalen Vertrieb sowie Partnerschaften aufbauen – mit Europa als Ausgangspunkt und dem globalen Rollout für kritische Infrastruktur als nächstes Ziel.

Toll dass du so interessiert bist!
Hinterlasse uns bitte ein Feedback über den Button am linken Bildschirmrand.
Und klicke hier um die ganze Welt von der brutkasten zu entdecken.

brutkasten Newsletter

Aktuelle Nachrichten zu Startups, den neuesten Innovationen und politischen Entscheidungen zur Digitalisierung direkt in dein Postfach. Wähle aus unserer breiten Palette an Newslettern den passenden für dich.

Montag, Mittwoch und Freitag

AI Summaries

Kontrol: Startup aus OÖ macht autonome Verkehrsmittel mit mathematischen Beweisen sicher

AI Kontextualisierung

Welche gesellschaftspolitischen Auswirkungen hat der Inhalt dieses Artikels?

Leider hat die AI für diese Frage in diesem Artikel keine Antwort …

Kontrol: Startup aus OÖ macht autonome Verkehrsmittel mit mathematischen Beweisen sicher

AI Kontextualisierung

Welche wirtschaftlichen Auswirkungen hat der Inhalt dieses Artikels?

Leider hat die AI für diese Frage in diesem Artikel keine Antwort …

Kontrol: Startup aus OÖ macht autonome Verkehrsmittel mit mathematischen Beweisen sicher

AI Kontextualisierung

Welche Relevanz hat der Inhalt dieses Artikels für mich als Innovationsmanager:in?

Leider hat die AI für diese Frage in diesem Artikel keine Antwort …

Kontrol: Startup aus OÖ macht autonome Verkehrsmittel mit mathematischen Beweisen sicher

AI Kontextualisierung

Welche Relevanz hat der Inhalt dieses Artikels für mich als Investor:in?

Leider hat die AI für diese Frage in diesem Artikel keine Antwort …

Kontrol: Startup aus OÖ macht autonome Verkehrsmittel mit mathematischen Beweisen sicher

AI Kontextualisierung

Welche Relevanz hat der Inhalt dieses Artikels für mich als Politiker:in?

Leider hat die AI für diese Frage in diesem Artikel keine Antwort …

Kontrol: Startup aus OÖ macht autonome Verkehrsmittel mit mathematischen Beweisen sicher

AI Kontextualisierung

Was könnte das Bigger Picture von den Inhalten dieses Artikels sein?

Leider hat die AI für diese Frage in diesem Artikel keine Antwort …

Kontrol: Startup aus OÖ macht autonome Verkehrsmittel mit mathematischen Beweisen sicher

AI Kontextualisierung

Wer sind die relevantesten Personen in diesem Artikel?

Leider hat die AI für diese Frage in diesem Artikel keine Antwort …

Kontrol: Startup aus OÖ macht autonome Verkehrsmittel mit mathematischen Beweisen sicher

AI Kontextualisierung

Wer sind die relevantesten Organisationen in diesem Artikel?

Leider hat die AI für diese Frage in diesem Artikel keine Antwort …

Kontrol: Startup aus OÖ macht autonome Verkehrsmittel mit mathematischen Beweisen sicher