Seminar Sicherheitskritische Systeme

Betreuer Dr. Jörg Niere



Inhalt

Henning Westerholt: Beispiele für SkS u.a. Stromausfall in USA, Bodenseeunglück, TCAS System, Begriffsklärung. [Ausarbeitung, Folien]

Christian Dörner: Qualitätsmanagement für SkS und Zertifizierung. [Ausarbeitung, Folien]

Kelen-Yo Rodrigue: Risiko- und Gefahrenanalysen und deren Berücksichtigung beim Entwurf von SkS. [Ausarbeitung, Folien]

Peter Sakwerda: Untersuchung der Programmiersprache ADA zur Implementierung sicherheitskritischer Systeme. [Ausarbeitung, Folien]

Chandra Jaya: Testen, Validierung, Verifikation von SkS. [Ausarbeitung, Folien]

Yuguo Sun:  Modelchecking: Eine Einführung. [Ausarbeitung, Folien]

Christoph Hardt: UML 2.0: Unified Modelling Language inklusive Semantik? [Ausarbeitung, Folien]

Beyhan Gögeli: Codegenerierung für UML 2.0 Modelle. [Ausarbeitung, Folien]

Marcus Klein: Real time Linux: Ein Überblick. [Ausarbeitung, Folien]

Frank Köther: Real Time Java: Ein Überblick. [Ausarbeitung, Folien]

Henning Peuser : WindowsCE als Real Time Betriebssystem?! [Ausarbeitung, Folien]

Alle Ausarbeitungen als PDF.