Weisen Sie mit RuleChecker die Einhaltung von MISRA-Regeln nach.
Überprüfen Sie Ihren C- oder C++-Code schnell und automatisch auf die Einhaltung von Standards wie MISRA, ISO/IEC, SEI CERT und CWE. Stellen Sie bei Bedarf Ihre ganz eigenen Zusatzregeln auf. Überwachen Sie Code-Metriken wie Commentdichte und zyklomatische Komplexität und erzeugen Sie Analyseberichte zu Dokumentations- und Zertifizierungszwecken.
Kompilieren Sie Ihren C-Code mit CompCert.
Erfüllen Sie die höchsten Sicherheitsstandards, indem Sie Ihre Anwendung mit dem einzigen Compiler übersetzen, der formal mathematisch verifiziert wurde. Damit gelten alle Sicherheitseigenschaften, die Sie auf der Quellcode-Ebene nachgewiesen haben (z. B. mit Astrée), garantiert auch für den erzeugten Binärcode.
Bestimmen Sie den genauen Stackverbrauch mit StackAnalyzer.
Berechnen Sie automatisch und exakt den maximalen Stackverbrauch Ihrer Anwendung für jeden Programmpunkt. Finden Sie alle Stacküberläufe, oder weisen Sie formal deren Abwesenheit nach. Identifizieren Sie kritische Programmteile und Ausführungspfade, und sparen Sie Zeit bei der Optimierung.
Analysieren Sie die Ausführungszeit mit aiT, TimeWeaver oder TimingProfiler.
aiT
Berechnen Sie die schlimmstmögliche Ausführungszeit von Tasks in Ihren Binärdateien, ganz ohne aufwendige Tests und wiederholte Messungen. Die Analyseergebnisse gelten für alle Eingaben, alle möglichen Ausführungsszenarien, alle Cache- und Pipeline-Zustände.
TimeWeaver
Profitieren Sie von statischen Analysen selbst für Prozessoren, die nur schwer oder gar unmöglich zu modellieren sind, indem Sie statische Pfadanalysen mit Zeitmessungen aus dem Echtzeit-Tracing auf der Instruktionsebene verbinden.
TimingProfiler
Wenn Ihre Anwendung noch früh in der Entwicklung ist und Sie sich für kein bestimmtes Prozessor-Derivat entschieden haben, hilft Ihnen TimingProfiler bei der Abschätzung der Ausführungszeit für eine ganze Prozessorfamilie. Damit können Sie das Timing-Verhalten bereits ganz früh im Entwicklungsprozeß überwachen, wenn Messungen an der Hardware zu kostspielig oder schlicht unmöglich sind.
Vereinfachen Sie die Qualifizierung nach ISO 26262, DO-178B/C, IEC-61508,
EN-50128, IEC-60880, DO-333,
IEC-60188, ISO 25119, FDA…
Setzen Sie unsere Qualification-Support-Kits ein, um Ihre Qualifizierungsprozesse nach gängigen Sicherheitsstandards zu vereinfachen oder zu automatisieren.
Sonstige Produkte
Bei Fragen zu älteren oder kundenspezifischen Produkten wenden Sie sich an info@absint.com.
