Der Einsatz von Werkzeugen zur statischen Analyse kann die Produktivität beträchtlich steigern. Der Code wird automatisch nach einer Vielzahl von Kriterien geprüft, und kritische Software-Fehler werden automatisch entdeckt. Der Standard ISO 26262 und weitere Sicherheitsnormen definieren zahlreiche Verifikationsziele, die mit Hilfe statischer Analysatoren effizient erreicht werden können.   AbsInt bietet zu diesem Thema am Mittwoch, den 24. März ein kostenfreies Webinar in englischer Sprache an: Space, Code and Time – Obtaining ISO 26262 Certification Credits by Sound Static Analysis   Der Vortrag gibt eine kurze Einführung in die Methodik der statischen Analyse und zeigt praktische Anwendungsbeispiele auf Quellcode- und Binärcode-Ebene. Der Fokus liegt auf sicheren Analysatoren, die auf der Methode…

AbsInt: Invitation to Webinar on obtaining DO-178B/C-Certification Credits from Sound Static Program Analyzers  On Tuesday, December 15, we invite you to our live webinar on Obtaining DO-178 B/C Certification Credits from Sound Static Program Analyzers. The webinar is free and takes place in association with our NA distributor Joral Technologies. The focus of the presentation is on sound abstract-interpretation–based analyzers, e.g. for computing safe bounds on stack usage and worst-case execution time, checking coding guidelines, and proving the absence of runtime errors for C/C++ programs. The talk concentrates on the DO-178C standard and the supplementary norms DO-333 and DO-330. We review the requirements of DO-178C/DO-333, from High-Level Requirements to requirements…

Am Donnerstag, den 18. Juni 2020, laden wir Sie herzlich zu einem neuen gemeinsamen Webinar mit Vector Informatik ein. Das englischsprachige Webinar mit anschließender Diskussion startet um 16 Uhr und trägt den Titel Combining Dynamic Testing and Static Analysis for ISO 26262 Development. Referenten sind Daniel Kästner (AbsInt), Mohamad Ballouk und Winfried Schröder (beide VECTOR). Auf der Registrierungsseite finden Sie weitere Informationen. In der Woche darauf nehmen wir – wie in den letzten Jahren auch – am Forum Safety & Security teil. Die traditionsreiche Veranstaltung geht neue Wege und findet am 23. und 24. Juni virtuell statt. Kommen Sie am virtuellen Ausstellungsstand während der gesamten Veranstaltungsdauer mit unseren ProduktexpertInnen ins…