Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß


Deutsche Version. This page is available in German only. Cette page n'existe qu'en Allemand. Ésta página sólo existe en Alemán.


Veranstaltungsnummer: 18.111 / 18.112 (Übungen)

Titel: Modelle für Rechensysteme

Veranstalter: Matthias Jantzen

Ort und Zeit: Mo 10-12, ESA M, D0 10-12 Erzw. Hörs.

Lernziel:

Es werden gemeinsame Begriffsbildungen und Methoden der Gebiete Betriebssysteme, Rechnerorganisation , Verteilte Systeme und parallele Programme dargestellt. Studierende sollen dadurch lernen, konkrete Erscheinungen in Informatiksystemen auf der Grundlage von strukturellen Modellen zu beurteilen.

Inhalt:

Elementare Begriffe und Erscheinungen:
Handlung, Auftrag, Präzedenz, S/T-Netze und Prozesse, Aufträge an Funktionseinheiten, AV-Verkehrsnetze, Verteilung und Dimensionierung von Funktionseinheiten
Nebenläufige Prozesse:
Unteilbare Handlungen und deren Implementation, Konsistenz von Daten, Funktionalität, strukturierte Auftragssysteme, Synchronisation, Invarianten, Verklemmungsfreiheit, Lebendigkeit, Fairneß, Sprachen für Parallelprozessoren, Kommunikation in verteilten Systemen.
Zuverlässigkeit - stochastische Modelle:
Fehler, Ausfall, Störung, Redundanz, stochastische Lebensdauer-Modelle, Stochastische Petri-Netze, Zuverlässigkeit von Systemen mit und ohne Fehlerbehebung.
Auftragsverkehr:
Elementare Wartesysteme, System und Belastung, Durchsatzgesetze, Engpaß, Verweilzeitgesetze, Grenzverhalten, Wartenetze, Auftragsverkehr und Zuverlässigkeit, Betriebsformen von Rechensystemen, konzentrierte und verteilte Systeme.
Ablaufplanung:
Last, verdrängende und nichtverdrängende Bedienstrategien im Warte-system M/G/1.
Stellung im Studienplan: Kerngebiet der ''Theoretischen Informatik''

Voraussetzung: keine

Vorgehen:

Vorlesung mit Übungen (1 SWS) (dringend empfohlen!)

Literatur:

Periodizität: jedes Wintersemester

Bemerkungen:

Für LehrerInnen / NebenfächlerInnen mit mathematischem Interesse geeignet, sofern die Bereitschaft vorhanden ist, sich ernsthaft mit den Grundlagen der Informatik auseinanderzusetzen.

Letzte Änderung: 17:40 19.05.2011
Impressum