Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (Jemensch da?). Macht mit!

Grundlagen verlässlicher Systeme: Unterschied zwischen den Versionen

(Protokolle von Martin und Andi hinzugefügt)
K (Klausurbox)
 
Zeile 1: Zeile 1:
<div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;">
+
{{Vorlage:KlausurBox|titel=|klausurliste=
<h2> Prüfungen </h2>
+
<!-- Bitte hier als Liste einfügen. -->
 
SS 2005
 
SS 2005
 
* [http://docs.freitagsrunde.org/Klausuren/KBS/bsvu-7.pdf Protokoll Martin Häcker]
 
* [http://docs.freitagsrunde.org/Klausuren/KBS/bsvu-7.pdf Protokoll Martin Häcker]
 
* [http://docs.freitagsrunde.org/Klausuren/KBS/bsvu-6.pdf Protokoll Andreas Janson]
 
* [http://docs.freitagsrunde.org/Klausuren/KBS/bsvu-6.pdf Protokoll Andreas Janson]
 
* [http://docs.freitagsrunde.org/Klausuren/KBS/bsvu-5.pdf Protokoll Felix Schwarz]
 
* [http://docs.freitagsrunde.org/Klausuren/KBS/bsvu-5.pdf Protokoll Felix Schwarz]
</div>
+
}}
  
 
Veranstaltung im [[Hauptstudium]] für Informatik-Studierende.
 
Veranstaltung im [[Hauptstudium]] für Informatik-Studierende.

Aktuelle Version vom 6. September 2011, 17:02 Uhr

Veranstaltung im Hauptstudium für Informatik-Studierende.

Inhalt

Jeder kennt aus Erfahrung die Unzuverlässigkeit heutiger Computersysteme. Andererseits sind Nutzer häufig darauf angewiesen, ein gewisses Vertrauen in das Funktionieren dieser Systeme zu setzen. Mehr und mehr entwickelt sich die Frage nach der Verlässlichkeit zu einem Schlüsselproblem moderner Technik.

In dieser Lehrveranstaltung geht es um den Entwurf und um die Bewertung verlässlicher Computersysteme. Dabei stehen zwei Eigenschaften im Vordergrund: Die Fähigkeit, lokale Störungen "zu überleben" und die Fähigkeit, Ergebnisse rechtzeitig zu liefern.

Tipps und nützliche Infos

Weblinks

Persönliche Kommentare

(Nicht unterschriebene Kommentare werden gelöscht!)