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

 
K (Markup.)
Zeile 1: Zeile 1:
 
<div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;">
 
<div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;">
=== Prüfungen ===
+
<h2> Prüfungen </h2>
 
SS 2005
 
SS 2005
 
* [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>
 
</div>
 
== Grundlagen zuverlässiger Systeme ==
 
  
 
== Inhalt ==
 
== Inhalt ==

Version vom 14. Juli 2005, 19:05 Uhr

Prüfungen

SS 2005

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.

Persönliche Kommentare

(Nicht unterschriebene Kommentare werden gelöscht!)