Seminar PikeOS Safety Engineering und Zertifizierung

Dieses Einzelseminar vermittelt die strukturierte Safety-Planung, Rückverfolgbarkeit, Konfigurationskontrolle, Verifikation und Vorbereitung prüfbarer Nachweisobjekte für PikeOS-Projekte. Die Inhalte sind auf technische Umsetzbarkeit, nachvollziehbare Konfiguration und einen kontrollierten Betrieb ausgerichtet. Theorie, Demonstrationen und Laboraufgaben greifen unmittelbar ineinander.

Jeder Arbeitsschritt beginnt mit einer fachlichen Entscheidung, wird anschließend in CODEO oder am Zielsystem umgesetzt und endet mit einer prüfbaren Kontrolle. Dadurch entsteht kein reines Produktwissen, sondern ein belastbarer Arbeitsablauf für Entwicklung, Integration, Prüfung und Betrieb.

Inhaltsübersicht

1. Safety-Planung und Systemabgrenzung
2. Anforderungen und Rückverfolgbarkeit
3. Konfigurationsmanagement und reproduzierbare Baselines
4. Verifikationsstrategie und Unabhängigkeit
5. Nachweisobjekte und Auditvorbereitung
6. Änderungs- und Wiederverwendungsbewertung

Zielgruppe

Safety-Ingenieure, System- und Softwarearchitekten, Verifikationsverantwortliche, Konfigurationsmanager und technische Projektleiter.

Voraussetzungen

Erfahrung mit sicherheitskritischer Entwicklung und Anforderungen; PikeOS-Core-Grundlagen sowie Kenntnisse des projektrelevanten Standards sind hilfreich.

Lernziele

• Safety-Kontext, Rollen, Entwicklungsziele und Systemgrenze eindeutig festlegen.
• PikeOS-Anforderungen mit Architektur, Konfiguration und Prüfungen rückverfolgbar verbinden.
• Werkzeuge, Softwarestände und Systemabbilder reproduzierbar konfigurieren.
• Verifikationsumfang, Unabhängigkeit und Fehlerfalltests angemessen planen.
• Ein konsistentes Nachweispaket für Begutachtung und Freigabe vorbereiten.

Seminarinhalte

Safety-Planung und Systemabgrenzung

1. Schritt 1: Systemgrenze, beabsichtigte Funktion und Safety-Kontext eindeutig festlegen.
2. Schritt 2: Kritikalität, Entwicklungsziele und anzuwendende Prozesse zuordnen.
3. Schritt 3: Rollen, Konfigurationsgegenstände und Prüfverantwortung definieren.
4. Schritt 4: Einen realistischen Plan für Entwicklung, Verifikation und Freigabe erstellen.

Anforderungen und Rückverfolgbarkeit

1. Schritt 1: Systemanforderungen in PikeOS-Konfigurations- und Integrationsanforderungen zerlegen.
2. Schritt 2: Anforderungen eindeutig, prüfbar und widerspruchsfrei formulieren.
3. Schritt 3: Zuordnung zu Architektur, Konfiguration, Quelltext und Testfällen herstellen.
4. Schritt 4: Änderungen auf betroffene Nachweisobjekte und Prüfungen auswirken.

Konfigurationsmanagement und reproduzierbare Baselines

1. Schritt 1: Werkzeuge, Systemsoftware, BSP, Konfiguration und Anwendungen als Konfigurationsobjekte führen.
2. Schritt 2: Freigabestände gegen unbeabsichtigte Änderung schützen.
3. Schritt 3: Build und Systemabbild aus dokumentierten Eingaben reproduzieren.
4. Schritt 4: Abweichungen und Problemberichte mit Entscheidungen und Korrekturständen verknüpfen.

Verifikationsstrategie und Unabhängigkeit

1. Schritt 1: Anforderungs-, Architektur-, Konfigurations- und Testprüfungen sinnvoll kombinieren.
2. Schritt 2: Normale, Grenzwert- und Fehlerfälle aus den Anforderungen ableiten.
3. Schritt 3: Unabhängigkeit und Prüftiefe nach Kritikalität festlegen.
4. Schritt 4: Nicht bestandene Prüfungen kontrolliert bewerten, korrigieren und wiederholen.

Nachweisobjekte und Auditvorbereitung

1. Schritt 1: Benötigte Pläne, Spezifikationen, Prüfprotokolle und Konfigurationslisten strukturieren.
2. Schritt 2: Vollständigkeit und Konsistenz über Querverbindungen prüfen.
3. Schritt 3: Annahmen, Einschränkungen und offene Risiken transparent dokumentieren.
4. Schritt 4: Ein prüfbares Paket für interne oder externe Begutachtung zusammenstellen.

Änderungs- und Wiederverwendungsbewertung

1. Schritt 1: Änderung nach Umfang, Sicherheitswirkung und betroffenen Baselines klassifizieren.
2. Schritt 2: Wiederverwendung vorhandener Komponenten mit Kontext und Annahmen abgleichen.
3. Schritt 3: Erforderliche Regression und Nachweisaktualisierung bestimmen.
4. Schritt 4: Freigabeentscheidung mit verbleibenden Einschränkungen dokumentieren.

Praxisübungen

• Safety-Planungsrahmen für ein partitioniertes Beispielsystem erstellen.
• Rückverfolgbarkeit von Anforderung über Konfiguration bis Testfall aufbauen.
• Reproduzierbaren Build und freigabefähige Konfigurationsbaseline prüfen.
• Änderungsantrag auf betroffene Nachweise, Regression und Freigabe auswerten.

Arbeitsweise

Kurze Fachblöcke werden unmittelbar durch Demonstrationen und geführte Übungen ergänzt. Konfigurationen, Quelltexte, Prüfprotokolle und Checklisten werden in einer konsistenten Laborumgebung geführt. Fehlerbilder werden nicht nur behoben, sondern systematisch eingegrenzt und dokumentiert.