14. - 16. März 2017 // Nürnberg, Germany

Druckansicht einstellen

Welche Informationen sollen in der Druckansicht angezeigt werden?

Druckansicht erstellen

AbsInt Angewandte Informatik GmbH

Science Park 1

66123 Saarbrücken

Saarland

Deutschland

Telefon: +49(0)681.383600

Fax: +49(0)681.3836020

Kontakt- /Terminanfrage Kontakt- /Terminanfrage

Kontaktieren Sie uns

Bitte geben Sie Ihre persönlichen Informationen und Ihren Terminwunsch an. Gerne können Sie uns auch eine Nachricht hinterlassen.

Ihre persönlichen Informationen

Ihre Nachricht an uns

Ihr Terminwunsch während der Messe

* Pflichtfelder, die von Ihnen eingegeben werden müssen.
Senden
Ihre Nachricht wurde erfolgreich versendet.

Sie möchten mehr Möglichkeiten und Vorteile der Plattform nutzen? Dann loggen Sie sich bitte ein – oder registrieren Sie sich gleich hier.

Es ist ein Fehler aufgetreten.

Halle

Weitere Aussteller (1)

Produkte von AbsInt Angewandte Informatik GmbH (5)

aiT – WCET-Analyse

LOGO_aiT – WCET-Analyse

CompCert - verifiziertes Kompilieren

LOGO_CompCert - verifiziertes Kompilieren

TimingExplorer - frühzeitige WCET-Abschätzung

LOGO_TimingExplorer - frühzeitige WCET-Abschätzung

TimingProfiler - Laufzeitabschätzungen

LOGO_TimingProfiler - Laufzeitabschätzungen

ValueAnalyzer - statische Value-Analyse

LOGO_ValueAnalyzer - statische Value-Analyse

AbsInt liefert Werkzeuge zur Validierung, Verifikation, Optimierung und Zertifizierung von sicherheitskritischer Software. Die Kernprodukte sind aiT WCET Analyzer zur Berechnung von Laufzeitgarantien, StackAnalyzer zum Nachweis der Abwesenheit von Stacküberläufen und Astrée zum Nachweis der Abwesenheit von Laufzeitfehlern und Datenwettläufen. Jedes von ihnen kann automatisch gemäß aktueller Sicherheitsstandards qualifiziert werden.

Zu Beginn des Jahres 2015 hat AbsInt zwei neue Produktlinien eingeführt: TimingProfiler berechnet Abschätzungen der Programmausführungszeit, ohne Testeingaben zu erwarten, Tests auszuführen oder Laufzeitmessungen vorzunehmen. Damit ist das Tool perfekt zur entwicklungsbegleitenden Überprüfung des Zeitverhaltens geeignet, auch innerhalb modellbasierter Entwicklungsumgebungen. CompCert ist ein formal verifizierter optimierender C-Compiler. Er bietet einen nie zuvor gekannten Vertrauensgrad in die Korrektheit des Compilevorgangs und hilft Anwendern, die höchsten Software-Sicherheitsstandards zu erfüllen.

AbsInt Angewandte Informatik GmbH bietet Ihnen Produkte aus diesen Produktgruppen:

Ihre Merkliste ist noch leer.

Merkliste anzeigen



Weitere Aussteller

Bei Klick auf einen Aussteller, rufen Sie dessen Profil mit mehr Informationen auf.

Halle 4 / 4-432

Luxoft GmbH

Direktaussteller
top

Der gewählte Eintrag wurde auf Ihre Merkliste gesetzt!

Wenn Sie sich registrieren, sichern Sie Ihre Merkliste dauerhaft und können alle Einträge selbst unterwegs via Laptop oder Tablett abrufen.

Hier registrieren Sie sich, um Daten der Aussteller- und Produkt-Plattform sowie des Rahmenprogramms dauerhaft zu speichern. Die Registrierung gilt nicht für den Ticket- und Aussteller-Shop.

Jetzt registrieren

Ihre Vorteile auf einen Blick

  • Vorteil Sichern Sie Ihre Merkliste dauerhaft. Nutzen Sie den sofortigen Zugriff auf gespeicherte Aussteller oder Produkte: egal wann und wo - inkl. Notizfunktion.
  • Vorteil Erhalten Sie auf Wunsch via Newsletter regelmäßig aktuelle Informationen zu neuen Ausstellern und Produkten - abgestimmt auf Ihre Interessen.
  • Vorteil Rufen Sie Ihre Merkliste auch mobil ab: Einfach einloggen und jederzeit darauf zugreifen.