Quantitative Methoden


Quantitative Methoden der Betriebssysteme-Konstruktion

Anliegen:

Ziel der Lehrveranstaltung ist es, den in der Pflichtvorlesung "Betriebssysteme" vermittelten Stoff vor allem bezüglich theoretischer Fundierung (formale Beschreibung, Äquivalenz- und Korrektheitsbeweise), aber auch im Hinblick auf Sachkenntnis zu vertiefen und zu erweitern. Dies betrifft sowohl klassische Bereiche der Betriebssysteme (Wechselwirkungen in Systemen paralleler Prozesse, Speicherverwaltung, quantitative Leistungsanalyse) als auch moderne Teilgebiete bis hin zu aktuellen Forschungsaufgaben (Zeit in verteilten Systemen, Scheduling in Echtzeitsystemen, Ressourcenreservierung in Multimedia-Systemen). Die Auswahl der einzelnen Problemkreise soll zugleich die Vielfalt des verwendbaren mathematischen Instrumentariums verdeutlichen. So werden als Modellierungsmittel Methoden der Höheren Algebra (Halbordnungen, Graphentheorie), Stochastik, Bedienungsmodelle und modifizierte Petri-Netze eingesetzt.

Parallel zur Vorlesung (mit geringem Vorlauf) wird ein Scriptum bereitgestellt und über die unten angegebene Mail-Liste verteilt, zu dessen Inhalt und Form Hinweise per e-Mail erbeten sind (auch zu eventuellen Druckproblemen).

Durchführung im Sommersemester 2006:

Die Vorlesung im Umfang von 2V, 1Ü findet freitags in der 2. und 3. DS im Raum GRU 370 statt, und zwar zu folgenden Terminen (in allen Fällen 2. und 3. DS!):

  • 7., 21., 28. April
  • 5., 12., 19. Mai
  • 2., 30. Juni
  • 7., 14. Juli.

Vorlesungsfolien

Mailing-Liste

Zur Lehrveranstaltung gibt es auch eine Mailing-Liste, worauf sich alle Beteiligten einschreiben sollten (nur mit *.tu-dresden.de-Adressen): qum2006.

Claude-J. Hamann, http://os.inf.tu-dresden.de/~hamann/
12. Jul 2006
· Copyright © 2001-2022 Operating Systems Group, TU Dresden | Impressum ·