MISRA C:2023 – Die Regeln für die Entwicklung sicherheitskritischer Software

QA Systems > AKADEMIE > MISRA C:2023 – Die Regeln für die Entwicklung sicherheitskritischer Software

SEMINAR DETAILS

Datum: Auf Anfrage
Dauer: 1 Tag, 9:00 – 17:00 Uhr
Ort: ONLINE
Sprache: Deutsch
Referent: Ralf Schneeweiß
Frühbucher: N.A.
Preis: N.A.

ANFRAGEN

Ihr Nutzen

Erfahren Sie in diesem eintägigen Seminar die Zielsetzung der MISRA Regeln zur Fehlervermeidung in sicherheitskritischer Software. Neben der praktischen Anwendbarkeit der Regeln steht die Integration der Regelüberprüfung im Entwicklungsprozess zur Diskussion. Wie erreicht man MISRA-Konformität?

Zielgruppe

  • Softwareentwickler
  • Technische Projektleiter

Voraussetzungen

  • Es kann ein beliebiger C Compiler eingesetzt werden, der kompatibel zum Standard ANSI C89 bzw. ISO C90 ist. Für MISRA-C:2023 kann der Compiler auch den C99 oder den C11 Standard unterstützen, was die meisten heute üblichen Compiler auch tun. Als Plattformen empfehlen sich Windows-, MacOSX-, UNIX-, Linux-Systeme.
  • Kursteilnehmer sollten die Programmiersprache C und einfache Dateioperationen auf dem eingesetzten System beherrschen. Es werden einige Regeln anhand praktischer Programmierbeispiele durchgespielt.

Unterlagen

Es werden keine Seminarunterlagen seitens QA Systems oder dem Referenten ausgehändigt. Das Seminar basiert auf dem MISRA C:2023 Regelkatalog. Es ist wichtig, dass jeder Teilnehmer während des Seminars Zugang zu diesem Regelkatalog hat. Der Regelkatalog kann direkt über https://misra.org.uk/product/misra-c2023/ erworben werden.

Überblick

In diesem Seminar wird die Entwicklung sicherheitskritischer Software mit der Programmiersprache ANSI/ISO-C in den Varianten C89/90, C99 und C11 im Embedded System im Automobilumfeld betrachtet. Dabei werden die Fehlermöglichkeiten in C analysiert und diskutiert. Die typischen Fehler bei der Implementierung mit Standard C werden kategorisiert und mit den MISRA Regeln in Zusammenhang gebracht. Neben der Arbeit an den Regeln wird der Aufbau des MISRA Regeldokuments von 2023 durchgesprochen. Die Regeln selbst werden ausführlich behandelt und die Anforderungen an die Dokumentation diskutiert, die nötig ist, um die Regelkonformität nachzuweisen.

Die Themen in Stichworten

  • Die Motivation hinter dem MISRA Regelkatalog
  • Der Fehler in der Software
  • Der Fehler in der Codierung (Implementierung)
  • Überlegungen zur Entwicklung im Embedded System
  • Sicherheitsrelevante und sicherheitskritische Software
  • Spezielle Fehlerquellen in C
  • Undefiniertes Verhalten von C
  • Implementierungsabhängiges Verhalten von C
  • Verbreitete Fehler in C
  • Lesbarkeit und Eindeutigkeit von C-Code
  • Die Sprache C und die Intuition des Entwicklers
  • Verbesserte Beschreibung der Regeln gegenüber älteren MISRA Standards
  • Vereinfachung der Regelbeschreibung
  • Klare Klassifizierung von Regeln und Richtlinien
  • Automatische Überprüfbarkeit
  • Regel-Scope
  • Geforderte und empfohlene Regeln
  • Regeln zu ISO C99
  • Regeln zu ISO C11
  • Statische Codeanalyse
  • Programmierrichtlinien und Coding Styles
  • Das MISRA Compliance Dokument von 2020
  • Der Entwicklungsprozess
Ralf Schneeweiß
Ralf Schneeweiß

In mehreren Projekten vor und während seiner freiberuflichen Tätigkeit hat sich Ralf Schneeweiß sehr fundierte Kentnisse im praktischen Einsatz…

Kontakt

Tel:
+49 (0)711 138183-0

E-Mail:
seminare@qa-systems.de

QA AKADEMIE BROSCHÜRE

Teilnehmerstimmen

„Dry topic brought across well.“
M. Heinen, Continental Automotive GmbH

„Super seminar, perfectly organised, expectations were fully met.“
O. Kleinheinz, ebm-papst Mulfingen GmbH & Co. KG

„…The examples were very interesting and helped me to understand many things better. Seminar is recommendable….“
M. Marcon, Bircher ProcessControl AG

ANFRAGEFORMULAR

Sie haben Fragen zu Durchführungsmöglichkeiten dieses Seminars und/oder benötigen weitere Informationen? Schicken Sie uns eine unverbindliche Anfrage und wir werden uns mit Ihnen in Verbindung setzen.