Beschleunigte Laufzeitanalysen erleichtern Softwareentwicklung
Insbesondere sicherheitskritische Anwendungen mit Echtzeitanforderungen benötigen die Abschätzung von Programmlaufzeite…
Insbesondere sicherheitskritische Anwendungen mit Echtzeitanforderungen benötigen die Abschätzung von Programmlaufzeite…
QA-MISRA ist die maßgeschneiderte Antwort auf aktuelle und künftige Marktanforderungen. Das neue Tool ist das Produkt ei…
QA‐MISRA ist die maßgeschneiderte Antwort auf aktuelle und künftige Marktanforderungen. Das neue Tool ist das Produkt ei…
Ein neuer Standard, der aus einem preisgekrönten Forschungsprojekt hervorgegangen ist: Der eFMI-Standard wird die modell…
AbsInt, der Spezialist für Programmanalysen für sicherheitskritische Software, hat zwei neue Produktlinien eingeführt:…
. - 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…