Exhibitors 2019

absint

AbsInt GmbH 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 maximale Ausführungszeiten auf Hochleistungs-Multicoreprozessoren 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 im Jahr 1998 als Spin-Off der Universität des Saarlandes gegründet und beliefert Kunden aus mehr als 40 Ländern in aller Welt.

AbsInt GmbH
Science Park 1
66123 Saarbruecken, Germany
www.absint.com

QA Systems tools automate unit testing, code coverage, integration testing and static analysis to optimise safety and business critical embedded software and accelerate standards compliance. Quality is the driving force behind QA Systems. With over 20 years of experience, our tools and services enable organizations worldwide to develop tested high-quality software which meets the stringent demands of industry safety standards.

www.qa-systems.com