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.
Mit was 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.
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.