Einzigartige Werkzeuge für die Ent­wicklung,
Analyse und Zertifizierung von sicherheits­kritischer Software.

aiT berechnet automatisch enge Schranken für die Ausführungs­zeiten von Tasks in Binär­dateien und berück­sichtigt dabei deren Cache- und Pipeline-Verhalten. TimeWeaver verbindet statische Analysen mit Messungen aus Hardware-Traces. Und mit TimingProfiler können Sie die Ausführungs­zeiten bereits während der Software­entwicklung abschätzen.

StackAnalyzer bestimmt automatisch den maximalen Stackverbrauch von eingebetteten An­wen­dungen. Er analysiert unmittelbar die ausführbaren Binär­dateien und berücksichtigt alle Aus­führungs­szenarien. Enge Integration mit TargetLink und SCADE wird unterstützt, ebenso wie Qualifizierung nach Standards wie DO-178B, ISO 26262 und IEC 61508.

Astrée findet automatisch alle poten­tiellen Laufzeit­fehler in C- und C++-Programmen. Es ist absolut sicher bei Gleit­komma­zahlen­berech­nungen, sehr schnell und außer­ordentlich prä­zise. Darüber­hinaus kann es MISRA-Regeln über­prüfen und unter­stützt Qualifi­zierung nach DO-178C, ISO 26262, IEC 61508 und an­deren Sicher­heits­standards.

CompCert ist der einzige formal verifi­zierte C-Compiler der Welt. Dank computer­unterstützter mathema­tischer Beweise ermöglicht er nie zuvor da­gewesenes Vertrauen in die Korrekt­heit des Kom­pilierungs­prozesses und hilft somit bei der Erfül­lung der höchsten Sicher­heits­standards.

Seit zwei Jahrzehnten benutzt Airbus France unsere Tools in der Entwicklung sicherheits­kritischer Software für verschiedene Flugzeugfamilien, inklusive der primären Flug­steuerungs­software des A380.

Honda setzt unsere Tools in der Entwicklung der FADEC-Software von Mantel­strom­trieb­werken ein.

Die TU München setzt unsere Tools beim Entwickeln, Testen und Optimieren von Algorithmen zur Flugsteuerung und Navigation ein.

Daimler setzt unsere Tools bei vielen Projekten ein, zum Beispiel in der Ent­wicklung der Powertrain-Software des Actros.

NASA setzte unser Tool zur statischen Timinganalyse in der Toyota-Untersuchung im Jahre 2010 ein, um Timingdefekte als Ursache für Fehlverhalten ausschließen zu können.

Die Continental AG, einer der größten Automobil­zulieferer der Welt, verläßt sich seit Jahren auf unseren Stackanalyse-Service, um Stack­überläufe in ihren Airbag-Steuersystemen zu vermeiden.

Die Bosch Automotive Steering ersetzte ihre alten Tools durch Astrée und RuleChecker und profitiert seitdem von schnelleren Analysen, höherer Genauigkeit und niedrigeren Lizenzkosten.

OHB benutzt unsere Tools in der Entwicklung der Software für die SmallGEO-Plattform für geo­stationäre Kommuni­kations­satelliten und die GALILEO-FOC+++-Plattform zur Satelliten­navigation.

ESA benutzte unser Tool zur Laufzeitfehleranalyse, um die Andocksoftware des Welt­raumfrachters „Jules Verne“ zu unter­suchen und für die Sicher­heit der ersten voll­automatischen Andockung an die Inter­nationale Raums­tation ISS zu garan­tieren.

Seit 2003 ist das Deutsche Zentrum für Luft- und Raumfahrt unser Partner bei viel­fältigen Forschungs­projekten des Bundes­ministeriums für Bildung und Forschung.

Thales Alenia Space zählt zu unseren langjährigen Partnern bei EU-Forschungs­projekten und setzte dabei u. a. unseren EnergyAnalyzer ein, um den Energiebedarf einer eingebettenen Anwendung zur Satelliten­kommunikation statisch vorherzusagen.

Vestas setzt unsere Tools bei der Entwicklung von Software für Windkraft­anlagen ein, zur statischen Analyse der Ausführungszeit und des Stackverbrauchs.

Framatome GmbH setzt StackAnalyzer und Astrée zur Verifikation sicherheitskritischer Software ein, welche u. a. für Reaktorschutz und Reaktorregelung verwendet wird.

MTU Friedrichshafen setzt unsere Tools ein, um die Korrekt­heit der Kontroll­software von Notstrom­aggregaten in Kern­kraft­werken zu beweisen.

Das französische Kommissariat für Atom­energie und alternative Energien war bzw. ist unser Projekt­partner bei acht ver­schiedenen Forschungs­projekten der EU seit 2000.

Als der weltweit führende Anbieter von Lösungen für Kommuni­kation und Posi­tionierung nutzt u‑blox unsere Tools, um Stack­überläufe zu vermeiden und die Verläß­lichkeit seiner Controlling­software zu erhöhen.

Die Siemens AG nutzte unsere Dienste, um die Codegröße ihrer Anwendungen drastisch zu senken und so bis zu 25 % mehr Funktiona­lität in den Flash-Speicher von Millionen Handys welt­weit zu packen.