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 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.  

Programm:  

• Industrie-übergreifender Einblick in Vorgaben der funktionalen Sicherheit
• Übersicht über die Methoden der statischen Analyse
• ISO 26262: Struktur und Prozessmodell
• Detaillierte Übersicht der Ziele, Anforderungen und Empfehlungen
• Beispiele für Tools und Anwendungen
• Tool-Qualifizierung nach ISO 26262  

Referent ist Daniel Kästner (CTO von AbsInt), der abschließend Fragen zum Webinar beantwortet. 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) und Ihrer Firmenzugehörigkeit.  

AbsInt liefert modernste Softwarewerkzeuge und Dienstleistungen zur Entwicklung, Analyse und Zertifizierung von sicherheitskritischer Software. Produktschwerpunkte sind statische Analysetools zur Prüfung von Codierrichtlinien, zur Timing- und Stack-Analyse und zum Entdecken kritischer Programmierfehler in C/C++-Code sowie der formal verifizierte Compiler CompCert. Ein breites Spektrum von Toolpräsentationen finden Sie auf unserem YouTube-Kanal, einschließlich der Informationen zu unseren jeweils aktuellen Produktreleases.

Wir freuen uns, Sie online begrüßen zu dürfen – bleiben Sie gesund!

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

Eventort: Online

Der Beitrag Einladung zum Webinar über Zertifizierung nach ISO 26262 durch Statische Analyse (Webinar | Online) erschien zuerst auf .

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

Der Beitrag Space, Code, and Time — Obtaining ISO 26262 Certification Credits by Sound Static Analysis (Webinar | Online) erschien zuerst auf .

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 for verification of Executable Object Code. We investigate which aspects can be covered by static analysis methods and give an overview of the different AbsInt analyzers alongside the precise verification objectives addressed by each of them, in annotated views of the verification goal tables (FM-)A-3 through (FM-)A-6.

Agenda:

[*]Cross-domain overview of functional safety requirements
[*]Methodology overview — static analysis
[*]Structure and objectives of DO-178C
[*]The formal methods supplement DO-333
[*]Software development standards
[*]Review of DO-178C/DO-333 verification goals from HLR to EOC
[*]Example tools and applications
[*]DO-330 and tool qualification

The talk will be given by Daniel Kästner (CTO of AbsInt), who will available for a Q&A at the end. We offer the free webinar in two time slots: 9:00–10:00 CET and 17:00–18:00 CET. Please register by writing to info@absint.com, indicating your preferred time slot and your affiliation.

AbsInt provides cutting-edge development tools for embedded systems with a focus on validation, verification, and certification of safety-critical and security-relevant software. Key products include static analysis tools to check coding guidelines, for timing and stack usage analysis, and to detect critical programming defects in C/C++ code, as well as the formally verified compiler CompCert. You’ll find a broad range of tool presentations on our YouTube channel, including information on our current product release 20.10.

Eventdatum: Dienstag, 15. Dezember 2020 09:00 – 10:00

Eventort: Online

Der Beitrag Webinar on obtaining DO-178B/C-Certification Credit (Webinar | Online) erschien zuerst auf .

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 Gespräch, und erleben Sie am 23. Juni den Vortrag von Daniel Kästner über Statische Taint-Analyse zur Erkennung von Spectre-Verwundbarkeiten (16:40 – 17:20 Uhr, Teil der Session 4: Automotive II Security). Bitte melden Sie sich hier mit dem Gutscheincode FSS2020SC an. Sie erhalten damit einen Rabatt von 10% auf die Teilnahmegebühr.

AbsInt liefert modernste Softwarewerkzeuge und Dienstleistungen zur Entwicklung, Analyse und Zertifizierung von sicherheitskritischer Software. Produktschwerpunkte sind statische Analysetools zur Prüfung von Codierrichtlinien, zur Timing- und Stack-Analyse und zum Entdecken kritischer Programmierfehler in C/C++-Code sowie der formal verifizierte Compiler CompCert. Ein breites Spektrum von Toolpräsentationen finden Sie auf unserem YouTube-Kanal, einschließlich der Informationen zu unserem aktuellen Produktrelease 20.04.

Eventdatum: 18.06.20 – 24.06.20

Eventort: Online

Der Beitrag AbsInt: Einladung zu Veranstaltungen im Juni 2020 (Webinar | Online) erschien zuerst auf .