AbsInt Angewandte Informatik GmbH

AbsInt Angewandte Informatik GmbH AbsInt liefert Werkzeuge zur Validierung Verifikation Optimierung und Zertifizierung von sicherheitskritischer Software. Der heutige Markt für eingebettete Systeme wird durch ständig wachsende Softwarekomplexität und immer kürzere Entwicklungszyklen geprägt. Der Anteil sicherheitskritischer Anwendungen steigt stetig an. Durch zunehmende Vernetzung steigt auch die Bedeutung von Cybersecurity. AbsInts Produkte helfen Entwicklern von Systemen mit Safety- und Cybersecurity-Anforderungen · die Systemsicherheit und -effizienz zu erhöhen · die Entwicklungszyklen weiter zu verkürzen und · den Aufwand für Tests und Fehlerbeseitigung zu senken. 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 Laufzeitgaranti...