Logo
04.02.2010

Artikel

Analyse und Verifikation von Echtzeitsystemen

Seit gut einem Jahr agieren die drei deutschen Anbieter von Software-Entwicklungstools AbsInt, Gliwa und Symtavision als Allianz der „Real-Time Experts“. Sie bieten einen Baukasten an Tools zur Vorhersage, Optimierung, Messung und Absicherung des Zeitverhaltens von Echtzeitsystem...

lesen
Logo
24.09.2008

Artikel

Abkommen zur Integration von Tools für sicherheitskritische Systeme

Esterel Technologies und AbsInt haben eine strategische Partnerschaft geschlossen, wonach die Softwarewerkzeuge zur Laufzeit- und Stackverbrauchs-Analyse von AbsInt als Teil der SCADE- Produktfamilie für die modellbasierte Entwicklung erhältlich sind.

lesen
Logo
09.08.2007

Artikel

Laufzeitschranken zuverlässig berechnen

Die AbsInt Angewandte Informatik GmbH bietet mit dem aiT Worst-Case Execution Time Analyzer eine Berechnungsmöglichkeit von Laufzeitschranken für Echtzeitsysteme und stellt so sicher,

lesen
Logo
20.03.2007

Artikel

WCET-Test bestanden

Der aiT WCET Analyzer der AbsInt Angewandte Informatik GmbH aus Saarbrücken hat erfolgreich an der von der schwedischen Universität Mälardalen durchgeführten Worst Case Executuion Time (WCET) Tool Challenge 2006 teilgenommen.

lesen