Dozent: Prof. Dr. Stefan Lucks

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.

Themen:

1. Eine kurze Einführung in die Programmiersprache Ada  (Ada 05)
2. Programmieren im Großen (Pakete, Bibliotheken, abstrakte Typen, Statischer und Dynamischer Polymorphismus, generische Pakete und Klassen, Parallel arbeitende Systeme, Tasks und geschützte Objekte)
3. Methoden des Software-Engineerings für Sichere und zuverlässige Systeme (Design By Contract, Systematisches Testen von Programmen, Statische Verifikation von Programmen oder Programm-Eigenschaften)
4. Mini-Projekt: Entwicklung eines Sicheren Systems

Termin (Ort):

Vorlesung:

Mittwochs von 11:00 Uhr bis 12:30 Uhr in der Karl-Haußknecht-Straße 7, Hörsaal (IT-AP) ab dem 14.04.2010 und

Donnerstags von 09:15 Uhr bis 10:45 Uhr in der Karl-Haußknecht-Straße 7, Hörsaal (IT-AP) ab dem 15.04.2010

Prüfung:

Die Prüfung (mündlich) findet am 25.10.2010 statt. (ACHTUNG: GEÄNDERT!!).  

Anmeldung per Mail bitte an Frau Hansens bis zum 23.10. Es wird einen Ausweichtermin geben (ca. 4 Wochen später, voraussichtlich am 22.11.). Wenn Sie an der Prüfung zum Ausweichtermin teilnehmen möchten, dann bitte ebenfalls bei Frau Hansens anmelden mit dem Hinweis "Ausweichtermin". 

Zielgruppe:

Medieninformatik Master

Mediensysteme Master

Materialien/Unterlagen:

• Allgemeine Hinweise
• Kapitel 1: Ada - Programmieren im Kleinen
• Kapitel 2: Fortgeschrittene Sprachkonstrukte
• Beispiel: Generisches Sortieren (sort.ads, sort.adb, test_sort.adb)
• Kapitel 3: Systematisches Testen
• Kapitel 4: Medium and high Assurance
• Kapitel 5: Grundideen der Programmverifikation
• Kapitel 6: Erste Schritte mit SPARK
• Kapitel 7: Grundlagen nebenläufiger Prozesse
• Kapitel 8: Verteilte Algorithmen

(Liste wird im Verlauf des Semesters noch ergänzt.)