MISRA - C

Die MISRA-Regeln für die Entwicklung sicherheitskritischer Software mit ANSI/ISO-C in der Automobilindustrie.

Kursinhalte:

In diesem MISRA¹⁾-C Kurs wird die Entwicklung sicherheitskritischer Software mit ANSI/ISO-C im Embedded System im Automobilumfeld betrachtet. Dabei werden die Fehlermöglichkeiten in einem Softwareprojekt analysiert und diskutiert. Die typischen Fehler bei der Implementierung mit ANSI/ISO-C werden kategorisiert und mit den MISRA-Regeln in Zusammenhang gebracht. Dabei wird die Struktur des Aufbaus des MISRA Regeldokuments von 2012 durchgesprochen. Die Regeln selbst werden ausführlich behandelt und die Anforderungen an die Dokumentation diskutiert, die nötig ist, um die Regelkonformität nachzuweisen.
Ziel des Seminars ist die Prinzipien und die Regeln kennenzulernen, die MISRA zur Fehlervermeidung in C-Projekten zur Verfügung stellt. Neben diesem technischen Thema wird auch das Thema der Einführung von Codierrichtlinien in ein Softwareprojekt diskutiert.

Die folgenden Themen werden anhand der Arbeit an den MISRA Regeln durchgenommen

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 Standards.
Vereinfachung der Regelbeschreibung.
Klare Klassifizierung von Regeln und Richtlinien.
Automatische Überprüfbarkeit.
Regel-Scope.
Geforderte und empfohlene Regeln.
Regeln zu ISO C99.

Statische Codeanalyse.
Programmierrichtlinien und Coding Styles.
Der Entwicklungsprozess.

Es kann ein beliebiger C Compiler eingesetzt werden, der ANSI/ISO kompatibel ist. Als Plattformen empfehlen sich Windows-, Mac OS X-, UNIX- oder Linux-Systeme. Wichtig ist dabei nur, dass die Kursteilnehmer die Programmiersprache C und einfache Dateioperationen auf dem eingesetzten System beherrschen. Es werden einige Regeln anhand praktischer Programmierbeispiele durchgespielt.

¹⁾ MISRA = The Motor Industry Software Reliability Association

Anfragen telefonisch unter: +49 179 2292471