Sicherheitskritische Systeme kommen in jenen Domänen zum Einsatz, in denen eine Fehlfunktion nicht nur Risiken für Sachgüter nach sich zieht, sondern auf für Leib und Leben. Beispiele sind Eisenbahnsysteme, Notrufabfragestellen oder die Luftfahrt.
Die Vorlesung konzentriert sich darauf, Prinzipien sicherheitskritischer Systeme anhand der Flugsicherung zu erarbeiten. Die Vorlesung wird in Zusammenarbeit mit Ingenieuren der Frequentis AG durchgeführt. Das Wiener Unternehmen Frequentis ist seit vielen Jahren Weltmarktführer in der Flugsicherungstechnik und auch in den anderen genannten Domänen weltweit aktiv. Den StudentInnen wird damit ermöglicht, Information aus erster Hand zu bekommen.
Wer sollte die Vorlesung besuchen?
KollegInnen, die sich für eine herausfordernde Marktnische abseits der Mainstream Anwendungen interessieren und einen Einblick in sicherheitskritische Systeme von der Entwicklung über die Integration und Inbetriebsetzung bis hin zum Betrieb gewinnen wollen. Die LVA spricht StudentInnen der verschiedensten Studienrichtungen an, wie der Nachrichtentechnik, der Computertechnik, aber auch der Automatisierungstechnik und Informatik.
Umfang
Die Vorlesung wird als 3-tägige Blockveranstaltung angeboten und umfasst neben Fachvorträgen auch eine Exkursion zu Frequentis sowie zur Austrocontrol.
Themen der Vorlesung sind (vorläufig):
Grundlagen von Control Centre Solutions (Flachberger)
- Was bedeutet Führungsfähigkeit in sicherheitskritischen Situationen
- Das Control Centre als sozio-technisches System
- Komponenten eines Control Centres
Sicherheit in der Luftfahrt: Methoden, Prozesse, technische Systeme (Fränzl)
- Flugunfallanalyse Überlingen - welche Faktoren haben zum Versagen des Systems beigetragen?
- Wie funktioniert das System Flugsicherung?
- Welche Prozesse garantieren dabei die Sicherheit von Leib und Leben in der Luft, am Runway, am Taxiway und am Gate?
- Welche technischen Systeme stecken dahinter und welche besonderen Anforderungen ergeben sich an die Technologien?
- Was passiert, wenn ein System ausfällt und welche Maßnahmen sind damit verbunden?
- Was unterscheidet die eingesetzten Technologien vom Mainstream und warum?
Grundlagen sicherheitskritischer Systeme - System Safety (Gerstinger)
- Was heißt sicherheitskritisch?
- Grundbegriffe: Safety Lifecycle, Hazard, Risiko, Safety Case,...
- Was regelmentieren Normen und Standards?
- Cybersecurity Grundlagen
Softwareentwicklung im sicherheitskritischen Umfeld (Gerstinger)
- Softwareentwicklungsprozesse
- Wasserfall und Agile
- Beispiele aus ED-109A
- Software Safety Audits
Integration sicherheitskritischer Systeme in den operativen Kontext (Hoogmoed)
- Wie werden die technischen Systeme in ein sicherheitskritisches operatives Umfeld integriert?
- Wie werden Sicherheitsanforderungen implementiert?
- Praxisberichte aus Projekten rund um den Erdball
Ausblick: Flugsicherung in 10 Jahren (Fränzl)
- Methoden und Konzepte der Zukunft
- Integration des autonomen Fliegens
- Forschungs- und Innovationsprogramm SESAR
- SWIM - System Wide Information Management
- Virtuelle Tower
Exkursion 1: Frequentis AG
- Labor Flugsicherung: Elektronische Flugstreifen, Virtualisierter Tower
- Labor Krisenmangement: Air Policing - Reaktion auf "Renegades" (nicht kooperierende Maschinen, die potenziell als Waffen eingesetzt werden könnten)
Exkursion 2: Austrocontrol - Österreichische Flugsicherung
- Besichtigung der Flugverkehrskontrollzentrale in Wien
Um die Organisation zu vereinfachen, bitten wir die LVA zu abonnieren.