„Sicherheit durch Zuverlässigkeit“ sowie „Sicherheit durch Qualität“ ist das Motto dieses Seminars. Wie Softwarezuverlässigkeit und SW-Sicherheit entwickelt, getestet und nachgewiesen wird, wird mithilfe der IEC 61508 ausführlich mit Beispielen aus der Praxis vorgetragen. Dies ist heute essentiell notwendig, nicht nur aus Produkthaftungsgründen, sondern auch aus Kosten- und Zeitgründen (vor allem in der Test- und Wartungs-Phase). Diese Aspekte gelten aber vor allem, wenn Geräte, Systeme oder Anlagen für sicherheitsrelevante Anwendungen eingesetzt werden. Hierfür gelten z. B. die Kritikalitätslevel (SIL, Safety Integrity Level) der IEC/EN/DIN 61508. Das Seminar zeigt vor allem, anhand von Beispielen und einem kompletten Zertifizierungsprozess, die Entwicklung fehlerarmer oder gar fehlerfreier Software auf.

Inhalt des Seminars:
> Begriffsdefinitionen: Qualität (Hard- und Software), Zuverlässigkeit; Verfügbarkeit, Sicherheit, MTBF, Ausfallwahrscheinlichkeit, Ausfallrate
> Sicherheitsprozess/Life Cycle: Model, Einfluss der diversen Sicherheitsnormen auf den Entwicklungsprozess; Qualitäts- und Konfigurationsmanagement
> architektonische Maßnahmen zur Erhöhung der Zuverlässigkeit und Sicherheit, redundante und/oder diversitäre Funktionen
> analytische SW-Qualitätssicherungs-Verfahren für sicherheitskritische Anwendungen: allgemeine Maßnahmen für Hard- und Software wie SW-Metriken, Inspektionen/Reviews, Test Beurteilungsverfahren, statische Code-Analyse u.a.m.
> Risikomodellierung/-analyse: SW-FMEA, FTA, MISRA-C, Fehlerdatenbank
> Verifikations-Methoden und Fehlerprognose-Modelle
> Übersicht über weitere sicherheitsgerichtete Normen wie z.B. DIN EN 61511 (Prozessindustrie), ISO CD 26262 (Automotiv), CENELEC EN 50128/2 (Bahnanwendungen) sowie auch RTCA DO178 B (Luftfahrt) usw.
> Korrektheitsnachweis: Verifikation von Programmen und effiziente Kombination von statischer Analyse, formaler Verifikation und Test
> Überblick über innovative Verifikationsverfahren, die „reif für die industrielle Praxis sind“
> Vorstellung von SW-Tools für sicherheitsrelevante Anwendungen die konform zu Standards sind (auch für KMU’s)
> Fallbeispiel: Ausführliche Darstellung eines kompletten Zertifizierungs-Prozesses: „Von der Analyse über Entwurf, Codierung und Implementierung, Verifikations- und Validationsmaßnahmen bis zur Abnahme und Zertifizierung“
> Round-Table-Gespräch in einem Gasthaus am Abend des 1. Tages: Thema: Schäden, Unfälle, Produkthaftung etc.

Referenten:
Dipl.-Ing. M. Heininger
HEICON – Global Engineering, Schwendi
Dipl.-Ing. J. G. Schink
EADS Deutschland GmbH, Ulm
Prof. Dr. F. Schweiggert
Universität Ulm, Angewandte Informationsverarbeitung

Veranstaltungsprogramm
weitere Informationen anfordern
Anmeldung