Wir sind Spezialisten für mathematische Logik und deren Anwendung auf industrielle Problemstellungen. Sowohl in Wissenschaft als auch Praxis beschäftigen wir uns seit vielen Jahren mit Boolescher und Pseudo-Boolescher Logik sowie linearer Optimierung.
Wir fokussieren uns auf Algorithmen zum Varianten- und Komplexitätsmanagement bei Automobilherstellern und ihren Zulieferern. Die dabei entstehenden Software Tools und Systeme helfen den OEMs, die enorme Variantenvielfalt in den Griff zu bekommen.
In kleinen Teams aus Spezialisten entwickeln wir maßgeschneiderte Softwarekomponenten und Services. Dabei haben wir uns auf Java sowie JavaEE spezialisiert. Unsere eigene Open Source Logik Bibliothek LogicNG ist Grundlage vieler unserer Projekte.
Bekommt jedes baubare Fahrzeug genau ein Lenkrad? Genau vier Reifen? Passen bei jedem Fahrzeug die Bremsscheiben zu den Reifen? Solche und viele weitere Fragestellungen können wir mathematisch exakt beantworten und helfen somit Dokumentationsfehler bereits früh im Prozess zu erkennen, bevor teure Nacharbeit am Band entsteht.
Für die neue WLTP Abgasberechnung müssen fahrzeugindividuelle Eigenschaften wie Gewicht, Rollwiderstand oder Aerodynamik mit in die Berechnung einbezogen werden. Diese Werte müssen durch Auflösen von Stücklisten in wenigen hundert Mikrosekunden berechnet werden. Ebenso müssen beste und schlechteste Fahrzeuge über der gesamten Varianz ermittelt werden.
An Produktregelwerken, die diesen enormen Varianzraum beschreiben, arbeiten oft zig Mitarbeiter über viele Unternehmensabteilungen hinweg. Hierbei sind Fehler unvermeidbar. Unsere Tools helfen dabei, solche Fehler früher - idealerweise bereits bei der Pflege - zu erkennen und können Korrekturvorschläge erzeugen, die den Sachbearbeiter unterstützen.
Wie viele Fahrzeuge müssen minimal gebaut werden, damit alle Ausstattungen mindestens einmal verbaut sind? Wie viele Ausstattungen können bei einer gegebenen Menge von Fahrzeugen maximal verbaut werden? Solche Fragestellungen spielen vor allem in der Vorserie eine große Rolle. Mit unseren Algorithmen und Tools lassen sie sich beantworten.
Wir beraten OEMs beim Aufbau bereichsübergreifender, einheitlicher Regelwerke, beim Design neuer Regelsprachen und bei der Migration von Altdaten in diese neuen Regeln. Dabei unterstützen wir den gesamten Prozess - vom Design bis zur Umsetzung des neuen Regelwerks - mit Prototypen, Konzeptionen und der Implementierung von Softwaretools.
Womit wir arbeiten
LogicNG ist eine von uns entwickelte Java Bibliothek für das Arbeiten mit Booleschen und Pseudo-Booleschen Formeln. Sie beinhaltet effiziente Datenstrukturen sowie eine Vielzahl von Algorithmen zum Manipulieren, Lösen und Optimieren von Formeln. Die Library ist für den Einsatz in industriellen Systemen ausgelegt, in denen jeden Tag Millionen von Anfragen verarbeitet werden müssen.
LogicNG ist unter der liberalen Apache 2 Lizenz veröffentlicht und steht auf GitHub zur Verfügung. Bei einigen namhaften deutschen Automobilherstellern ist LogicNG in zentralen Systemen - auch mit Anbindung an die Online- und Händlerkonfiguratoren - im Einsatz.
Ein ausführliches White Paper zu LogicNG gibt es hier.
BooleRules ist eine Open-Source Rule Engine, die auf LogicNG basiert. Ihr primärer Fokus liegt auf der Berechnung und Verifikation von Regelwerken, die sehr große Varianzräume abbilden, wie man sie z.B. in der Produkt- oder Softwarekonfiguration vorfindet.
BooleRules besitzt eine produktagnostische Regelsprache, mit einer breiten Unterstützung von Feature- und Regelarten. Das Server Backend stellt sämtliche Berechnungs- und Validierungsalgorithmen, wie z.B. die Stücklistenabsicherung, das Optimieren von Konfigurationen oder die Konsistenzprüfung als Schnittstelle zur Verfügung. Ebenfalls im Projekt inbegriffen ist ein kleiner Web Demonstrator, mit dem sich die Algorithmen unkompliziert auf dem eigenen Regelwerk lokal verproben lassen.
Wer wir sind
Unsere Mitarbeiterinnen und Mitarbeiter - alle studierte Informatiker und Mathematiker - sind Fachberater und Softwareentwickler in Personalunion. Sie begleiten daher ein Projekt von der ersten Machbarkeitsstudie über die Konzeption, die Implementierung, das Testing und den Betrieb in seinem gesamten Lebenszyklus und bieten so unseren Kunden durchgängige Ansprechpartner. Der sonst übliche Verlust an Wissen zwischen Konzeptions- und Entwicklungsteam entfällt damit und wir können auch größere Softwareprojekte mit kleinen schlagkräftigen Teams bestreiten.
Wir beschäftigen uns jedoch nicht nur praktisch mit Softwareentwicklung, sondern publizieren auch immer wieder wissenschaftliche Fachartikel zu den Themen Logik, Optimierung, Variantenbeherrschung und halten Vorträge sowohl auf wissenschaftlichen als auch industriellen Konferenzen.