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…
Green Hills Software, weltweit führend bei hochsicheren Betriebssystemen, hat seine Lösung für die DO-178C-Level-A-konfo…
Green Hills Software, weltweit der führende Anbieter hochsicherer Betriebssysteme, hat die Intel®-Architektur zu den Kon…
Green Hills Software, weltweit der führende Anbieter hochsicherer Betriebssysteme, gibt bekannt, dass sein INTEGRITY®-17…
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…
Der bekannte ESE Kongress findet dieses Jahr vom 7.-9. Dezember in Sindelfingen statt. Wir sind hier mit unseren Partner…