Page heading
Languages and Services
  
    You are here menu
    Subpage heading
    Media Security / Prof. Dr. Stefan Lucks
    Navigation
    Additional Content
    Main Content

    Software-Entwicklung für Sichere Verteilte Systeme

    Inhalt

    Die Entwicklung sicherer und möglichst auch zuverlässiger Systeme stellt für den System-Designer eine besondere Herausforderung dar. In der IT-Industrie wird dem Sicherheitsaspekt zunehmend mehr Bedeutung beigemessen. 

    Die Vorlesung führt in die Programmiersprache Ada95 ein, die als besonders geeignet zur Implementation sicherer und zuverlässiger Systeme gilt. Außerdem werden Methoden aus dem Bereich des Software-Engineerings präsentiert, die der Sicherheit, Zuverlässigkeit und Wartbarkeit von Software-Systemen dienen.

    In der Übung werden die Sprach-Konstrukte aus Ada95 eingeübt. Es ist geplant, die präsentierten Konzepte gegen Ende der Vorlesungszeit im Rahmen eines Mini-Projektes zu vertiefen.

    Geplante Themen:

    • Ada95: Programmieren im Kleinen
      • Hello World und Bekannte
      • Statements (if, loop, ...) und einfache Typen (Integer, Boolean, ...)
      • Strenge Typisierung: Eine Firewall zwischen Typen
      • Zusammengesetzte Typen (Arrays und Records)
    • Ada95: Programmieren im Großen
      • Pakete, Bibliotheken, Abstrakte Datentypen
      • Statischer Polymorphismus: Generische Pakete
      • Dynamischer Polymorphismus: Objektorientierte Programmierung
    • Methoden des Software-Engineerings
      • Design By Contract
      • Systematisches Testen von Programmen (Unit-Tests und Integrations-Tests)
      • Statische Analyse von Programmen
    • Mini-Projekt: Entwicklung eines Sicheren Systems

     

    Zeit und Ort

    • Vorlesung: Donnerstag, 09.15-10.45 Uhr, HS, HK 7
    • Übung: Mittwoch, 11.00-12.30 Uhr, HS, HK 7 (gerade Wochen)

    Folien

    Übungsblätter

    Miniprojekt

    Literatur

    Tools

    Content signature