Masterseminar im Wintersemester 2012/2013: Sicherheitskritische Entwicklung

TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

Masterseminar (IN2107) im Wintersemester 2012/2013
Safety-critical Development
(PD. Dr. Bernhard Schätz, Maged Khalil)

Inhalt: Von Adaptive Cruise-Control und hybriden Antrieben über unbemannte Hochgeschwindigkeitszüge bis hin zum autonomen Fliegen: In der heutigen Welt stecken immer mehr software-intensive Systeme, die potenziell gefährliche Aufgaben übernommen haben. Die Komplexität der über die Jahre gewachsenen Architektur aus Steuergeräten, Kommunikationssystemen und Software wird immer weniger überschaubar und die Gefahrenquellen immer schwieriger zu identifizieren.

Neue Entwicklungsmethoden in Kombination mit innovativen Technologien und immer komplexer werdende internationale Standards stellen zusätzlich eine besonders große Herausforderung dar. Für die korrekte Entwicklung von sicherheitskritischen Applikationen ist deswegen im Vergleich zur klassischen Softwareentwicklung ein Paradigmenwechsel notwendig. Dieses Seminar bietet eine Einführung und erste Einblicke in dieses spannende Themengebiet an.

Ziele: Ziel des Seminars ist es, ein klares Verständnis zu entwickeln, was Sicherheit im Rahmen der Softwareentwicklung bedeutet und wo es in dieser Hinsicht zum Tragen kommt. Darüber werden erste Einblicke darin gewonnen, welche Standards die Entwicklung sicherheitskritischer Produkte betreffen, welche Möglichkeiten zur sicherheitsbezogenen Analyse es gibt und wie sie unterstützt und dokumentiert werden können.

Voraussetzungen: Eigenständiges Arbeiten, Interesse am Thema Sicherheit und dessen Umsetzung, sowie Vorkenntnisse im Bereich der Software und Requirements Engineering wird erwartet. Wir erwarten von unseren Teilnehmern proaktive Teilnahme an den Treffen und Kreativität im Umgang mit angebotenen Aufgabenstellungen.

Kriterien: Anwesenheit bei allen Terminen, Präsentation zu einem der Themen, sowie eine Ausarbeitung (beides auf Englisch).

Teilnehmer: max. 12 Teilnehmer. Bitte beachten Sie das eine Anmeldung für dieses Seminar zur Zeit nur über die Veranstalter möglich ist, am besten nach dem Besuch der Vorbesprechung am Mo. 09. Juli 2012 um 14:00-15:00 Uhr / Raum 00.11.038.

Ort und Zeit: Montags 14:00-16:00 in 00.11.038 "John von Neumann"

Themen:

Sicherheit - Einführung:
1. Was ist Sicherheit? Wie unterscheidet sich Sicherheit zu Zuverlässigkeit oder allgemeiner Verlässlichkeit? Wie unterscheiden sich Software- und Hardware-Sicherheit von einander?
2. Wo kommt Sicherheit bei der Softwareentwicklung zum Tragen? (Mit einer Einführung und Übersicht über existierende Sicherheitsstandards.)
Aktivitäten und Artefakten der sicherheitskritischen Entwicklung
1. Was ist ein Risiko? Wie werden Risiken ermittelt?
2. Was passiert, nachdem Risiken identifiziert worden sind?
3. Was sind Kritikalitätsstufen? Wie werden sie gewählt? Was bedeuten sie für die Entwicklungsaktivitäten?
4. Was ist ein Safety Plan?
Sicherheitskonzept
1. Was ist ein Sicherheitskonzept? (Mit einem Fokus auf technischen und funktionalen Sicherheitskonzepten aus dem ISO26262 Standard)
2. Welche Maßnahmen können beim System- und Softwarearchitekturentwurf verwendet werden, um die Gefährdung und somit Kritikalität meiner Funktionen und Komponenten zu mindern oder gar komplett zu entschärfen?
Testing und Safety Cases
1. Welche Kriterien und somit Arten von Tests sind für die sicherheitskritische Entwicklung besonders relevant?
2. Was ist ein Safety Case? (Mit einer Einführung in GSN)