aiT berechnet automatisch enge Schranken für die Ausführungszeiten von Tasks in Binärdateien und berücksichtigt dabei deren Cache- und Pipeline-Verhalten. TimeWeaver verbindet statische Analysen mit Messungen aus Hardware-Traces. Und mit TimingProfiler können Sie die Ausführungszeiten bereits während der Softwareentwicklung abschätzen.
StackAnalyzer bestimmt automatisch den maximalen Stackverbrauch von eingebetteten Anwendungen. Er analysiert unmittelbar die ausführbaren Binärdateien und berücksichtigt alle Ausführungsszenarien. 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 potentiellen Laufzeitfehler in C- und C++-Programmen. Es ist absolut sicher bei Gleitkommazahlenberechnungen, sehr schnell und außerordentlich präzise. Darüberhinaus kann es MISRA-Regeln überprüfen und unterstützt Qualifizierung nach DO-178C, ISO 26262, IEC 61508 und anderen Sicherheitsstandards.
CompCert ist der einzige formal verifizierte C-Compiler der Welt. Dank computerunterstützter mathematischer Beweise ermöglicht er nie zuvor dagewesenes Vertrauen in die Korrektheit des Kompilierungsprozesses und hilft somit bei der Erfüllung der höchsten Sicherheitsstandards.
Seit zwei Jahrzehnten benutzt Airbus France unsere Tools in der Entwicklung sicherheitskritischer Software für verschiedene Flugzeugfamilien, inklusive der primären Flugsteuerungssoftware des A380.
Honda setzt unsere Tools in der Entwicklung der FADEC-Software von Mantelstromtriebwerken 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 Entwicklung 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 Automobilzulieferer 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 geostationäre Kommunikationssatelliten und die GALILEO-FOC+++-Plattform zur Satellitennavigation.
ESA benutzte unser Tool zur Laufzeitfehleranalyse, um die Andocksoftware des Weltraumfrachters „Jules Verne“ zu untersuchen und für die Sicherheit der ersten vollautomatischen Andockung an die Internationale Raumstation ISS zu garantieren.
Seit 2003 ist das Deutsche Zentrum für Luft- und Raumfahrt unser Partner bei vielfältigen Forschungsprojekten des Bundesministeriums für Bildung und Forschung.
Thales Alenia Space zählt zu unseren langjährigen Partnern bei mehreren Forschungsprojekten der EU.
Vestas setzt unsere Tools bei der Entwicklung von Software für Windkraftanlagen 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 Korrektheit der Kontrollsoftware von Notstromaggregaten in Kernkraftwerken zu beweisen.
Das französische Kommissariat für Atomenergie und alternative Energien war bzw. ist unser Projektpartner bei acht verschiedenen Forschungsprojekten der EU seit 2000.
Als der weltweit führende Anbieter von Lösungen für Kommunikation und Positionierung nutzt u‑blox unsere Tools, um Stacküberläufe zu vermeiden und die Verläßlichkeit seiner Controllingsoftware zu erhöhen.
Die Siemens AG nutzte unsere Dienste, um die Codegröße ihrer Anwendungen drastisch zu senken und so bis zu 25 % mehr Funktionalität in den Flash-Speicher von Millionen Handys weltweit zu packen.