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.

25. - 27. Februar 2020 // Nürnberg, Germany

Druckansicht einstellen

Welche Informationen sollen in der Druckansicht angezeigt werden?

Druckansicht erstellen
Aussteller & Produkte embedded world 2020

AbsInt Angewandte Informatik GmbH

Science Park 1

66123 Saarbrücken

Saarland

Deutschland

Telefon: +49(0)681.38360-0

Fax: +49(0)681.38360-20

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)

AbsInt liefert Werkzeuge zur Validierung, Verifikation, Optimierung und Zertifizierung von sicherheitskritischer Software. Zu den Kernprodukten zählen die Quellcode-Analysatoren RuleChecker zum Überprüfen von Codierrichtlinien und Astrée zum Nachweis der Abwesenheit von Laufzeitfehlern und Datenwettläufen. Die statischen Analysatoren StackAnalyzer (Nachweis der Abwesenheit von Stacküberläufen), aiT WCET Analyzer (Berechnung von Laufzeitgarantien für Echtzeitsoftware) und TimingProfiler (Abschätzung der Programmausführungszeit in frühen Entwicklungsphasen) arbeiten auf Binärcode-Ebene.
TimeWeaver verbindet statische Pfadanalyse mit Echtzeit-Tracing auf Instruktionsebene, um längstmögliche Ausführungszeiten abzuschätzen. Durch Einsatz des formal verifizierten Compilers CompCert kann Fehlcompilierung sicher ausgeschlossen werden.
AbsInts Qualification Support Kits und Qualification Software Life Cycle Data-Berichte ermöglichen eine automatische Toolqualifizierung nach allen gängigen Sicherheitsnormen.

AbsInt wurde 1998 als Spin-Off der Universität des Saarlandes gegründet und feierte letztes 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, Framatome, Bosch, 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.