27. Februar - 1. März 2018 // Nürnberg, Germany

Druckansicht einstellen

Welche Informationen sollen in der Druckansicht angezeigt werden?

Druckansicht erstellen
Aussteller & Produkte embedded world 2018

AbsInt Angewandte Informatik GmbH

Science Park 1

66123 Saarbrücken

Saarland

Deutschland

Telefon: +49(0)681.383-600

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 haben noch keine Anmeldedaten? Registrieren Sie sich jetzt und nutzen Sie alle Vorteile der Aussteller-Plattform.

Es ist ein Fehler aufgetreten.

Halle

Produkte von AbsInt Angewandte Informatik GmbH (5)

aiT – WCET-Analyse

LOGO_aiT – WCET-Analyse

Astrée – Laufzeitfehleranalyse

LOGO_Astrée – Laufzeitfehleranalyse

CompCert - verifiziertes Kompilieren

LOGO_CompCert - verifiziertes Kompilieren

StackAnalyzer – statische Stack-Analyse

LOGO_StackAnalyzer – statische Stack-Analyse

TimingProfiler - Laufzeitabschätzungen

LOGO_TimingProfiler - Laufzeitabschätzungen

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:

Mitaussteller

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

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.