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 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 der Abstrakten Interpretation beruhen. Mit diesen ist es möglich, sichere Schranken für Stackverbrauch und längstmögliche Ausführungszeit zu bestimmen, Codier-Richtlinien zu prüfen und die Abwesenheit von Laufzeitfehlern in C/C++ Programmen nachzuweisen. Der Hauptteil des Vortrages betrachtet den ISO 26262-Standard, vor allem Teil 6 (Software) und Teil 8 (unterstützende Prozesse). Wir durchleuchten die Anforderungen der ISO 26262 entlang des V-Modells, beginnend mit der Spezifikation von Safety-Eigenschaften bis hin zur Verifikation des Software-Integrationsstands, und untersuchen, welche Aspekte durch statische Analysemethoden abgedeckt werden können. Wir geben einen Überblick über die Analysewerkzeuge der Firma AbsInt und schlüsseln auf, welche Verifikationsziele durch das jeweilige Tool abgedeckt werden können. Der Vortrag schließt mit einem Überblick über ISO 26262-Anforderungen zur Tool-Qualifizierung, insbesondere Tool-Validierung und Tool-Entwicklung gemäß Sicherheitsstandard, und zeigt, dass diese durch Qualifizierungs-Kits und QSLCD-Reports automatisiert erfüllt werden können.

Zur kostenlosen Registrierung genügt eine E-Mail an info@absint.com mit der Angabe Ihres gewünschten Termins (9:00 Uhr oder 17:00 Uhr, Dauer: 1h).

AbsInt liefert modernste Softwarewerkzeuge und Dienstleistungen zur Entwicklung, Analyse und Zertifizierung von sicherheitskritischer Software. Das in Saarbrücken ansässige Unternehmen wurde 1998 gegründet. Seit über 20 Jahren befindet sich die GmbH im Besitz der Gründer.

Eventdatum: Mittwoch, 24. März 2021 09:00 – 10:00

Eventort: Online