Seriencodegenerierung: dSPACE und AbsInt kooperieren
. - AbsInt ist neuer TargetLink-Partner - Toolkopplung von aiT, StackAnalyzer und Astrée mit TargetLink - Präzisere A…
. - AbsInt ist neuer TargetLink-Partner - Toolkopplung von aiT, StackAnalyzer und Astrée mit TargetLink - Präzisere A…
AbsInt GmbH bietet Software zur Analyse, Optimierung und Verifikation von eingebetteten Systemen und sicherheitskritisch…
Die AbsInt Angewandte Informatik GmbH feiert in diesem Jahr ihr 15-jähriges Bestehen. "Ein solcher Geburtstag ist Anlass…
Am 1. November 2011 erfolgte der Startschuss für das MBAT-Projekt (Combined Model-Based Analysis and Testing of Embedded…
AbsInt Angewandte Informatik GmbH schließt mit den neu verfügbaren Qualification Software Life Cycle Data Reports (QSLCD…
aiT Worst-Case Execution Time Analyzer berechnet korrekte und präzise obere Schranken für die längstmögliche Ausführungs…
aiT Worst-Case Execution Time Analyzer ermöglicht die Berechnung von Laufzeitschranken für Realzeitsysteme und stellt so…
Esterel Technologies' SCADE Suite Timing Verifier(TM) und SCADE Suite Stack Verifier(TM) in Kombination mit AbsInts aiT-…
aiT Worst-Case Execution Time Analyzer ermöglicht die Berechnung von Laufzeitschranken für Realzeitsysteme und stellt so…