Diese Website verwendet Cookies, um das Angebot nutzerfreundlicher und effektiver zu machen. Mit der Nutzung dieser Website stimmen Sie der Verwendung von Cookies zu. Weitere Informationen über die Verwendung von Cookies und die Möglichkeit der Verwendung von Cookies zu widersprechen, finden Sie hier.

26. - 28. Februar 2019 // Nürnberg, Germany

Druckansicht einstellen

Welche Informationen sollen in der Druckansicht angezeigt werden?

Druckansicht erstellen
Aussteller & Produkte embedded world 2019

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.

Hinweise zum Datenschutz finden Sie hier.

Senden
Ihre Nachricht wurde erfolgreich versendet.

Sie haben noch keine Anmeldedaten? Registrieren Sie sich jetzt und nutzen Sie alle Vorteile der Aussteller- und Produktdatenbank, des Rahmenprogramms sowie des TicketShops.

Es ist ein Fehler aufgetreten.

Halle

Produkte von AbsInt Angewandte Informatik GmbH (4)

Analyse des maximalen Stackverbrauchs

LOGO_Analyse des maximalen Stackverbrauchs

CompCert

LOGO_CompCert

Statische Quellcodeanalyse

LOGO_Statische Quellcodeanalyse

Timing-Analyse für Echtzeitsoftware

LOGO_Timing-Analyse für Echtzeitsoftware

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, RuleChecker zum Überprüfen von Codierrichtlinien, Astrée zum Nachweis der Abwesenheit von Laufzeitfehlern und Datenwettläufen, TimingProfiler zur Abschätzung der Programmausführungszeit in frühen Entwicklungsphasen und der formal verifizierte optimierende C-Compiler CompCert.

NEU: TimeWeaver verbindet statische Pfadanalyse mit Echtzeit-Tracing auf Instruktionsebene, um längstmögliche Ausführungszeiten abzuschätzen.

AbsInts Qualification Support Kits und Qualification Software Life Cycle Data-Berichte ermöglichen eine automatische Toolqualifizierung nach DO-178B/C und weiteren Sicherheitsnormen.

AbsInt wurde 1998 gegründet und feiert dieses Jahr seinen 20. Geburtstag. 2003 erhielt AbsInt einen Europäischen IST-Preis. Unsere Kunden stammen aus mehr als 40 Ländern in aller Welt. Airbus nutzte AbsInt-Tools, um die Flugsteuerungssoftware des A380 zu zertifizieren. Weitere Referenzkunden sind MTU Friedrichshafen, Areva, OHB, ESA, Daimler, Honda, u-blox, Helbako, ebm-papst und viele mehr, siehe https://www.absint.com/success_de.htm.

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 AusstellerShop.

Jetzt registrieren

Ihre Vorteile auf einen Blick

  • Vorteil Sichern Sie Ihre Merkliste dauerhaft. Nutzen Sie den sofortigen Zugriff auf gespeicherte Inhalte: 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.