Robert Bosch GmbH hat in der Woche zum 1. März 2026 drei Patente im Bereich autonomes Fahren zugesprochen bekommen. In der Vorwoche waren es zwei weitere. Fünf AV-Patente in zwei Wochen — die konzentrierteste Portfolio-Erweiterung im AV-Bereich, die in den ReadyDone-Analysen bisher beobachtet wurde.
Die drei Patente der KW9/2026
- US12559102: Approach Control Method — Steuerung des Annäherungsverhaltens autonomer Fahrzeuge mit Sicherheitsbeschränkungen und Umgebungserkennung
- US12559104: Longitudinal Control System — Management von Beschleunigungs- und Verzögerungsprofilen für autonome Fahrszenarien
- US12559134: Behavior Planner Formal Verification — Formale Verifikationsmethoden zum mathematischen Beweis der Korrektheit von Verhaltensplanungsalgorithmen
Das Kernpatent: Formale Verifikation (US12559134)
US12559134 ist das technisch bedeutendste der drei. Es beschreibt Methoden, um mathematisch zu beweisen, dass ein autonomer Verhaltensplaner — das Softwaremodul, das Fahrmanöver entscheidet — korrekt und sicher arbeitet. Nicht durch Tests ("wir haben 1 Million Kilometer gefahren"), sondern durch formalen Beweis ("es ist mathematisch unmöglich, dass das System in Zustand X die Entscheidung Y trifft").
Warum formale Verifikation ein Game-Changer ist
- Regulierung: Sicherheitsstandards wie ISO 26262 und UL 4600 fordern zunehmend formale Nachweise für die Zertifizierung autonomer Systeme. Testing allein reicht nicht mehr.
- Haftung: Ein mathematischer Beweis von Sicherheitseigenschaften ist für die Haftungsabsicherung des Herstellers entscheidend. "Wir haben bewiesen, dass es sicher ist" schlägt "wir haben es ausgiebig getestet" vor Gericht.
- Technische Barriere: Formale Verifikation erfordert spezialisierte mathematische und Software-Engineering-Expertise. Das schafft eine technische Eintrittsbarriere von geschätzt 10–15 Jahren für Nachahmer.
Wettbewerbskontext
Nur eine Handvoll Unternehmen hat bisher Arbeiten zur formalen Verifikation von AV-Systemen veröffentlicht: Waymo, Mobileye, Tesla — und jetzt Bosch. Boschs Patentanmeldung deutet darauf hin, dass sie über die Forschungsphase hinaus sind und produktionsreife Implementierungen haben.
Die Kategorie "Autonomous Vehicles" erreichte in KW9/2026 mit einem Durchschnittsscore von 67 den höchsten Wert aller Technologiekategorien — trotz nur 11 Patenten. Das deutet auf selektive, qualitativ hochwertige Einreichungen etablierter Akteure hin.
Implikationen
- Automobilhersteller: Bosch-Zulieferer sollten Integrations-Timelines für formale Verifikation anfragen
- Versicherer: Risikomodelle für AV-Systeme sollten formale Verifikation als Key-Safety-Indikator aufnehmen
- Regulierer: Diese Technologie könnte zum De-facto-Standard für AV-Sicherheitszertifizierung werden
- Wettbewerber: Das Zeitfenster, um konkurrierende Formal-Verification-Kapazitäten aufzubauen, wird enger
Bosch positioniert sich nicht für inkrementelle ADAS-Verbesserungen, sondern für Level-4/5-Autonomie-Zertifizierung.
Quellen: USPTO US12559102, US12559104, US12559134. ReadyDone Notable Patents Report KW9/2026 (1.755 notable patents aus 7.114 grants).