This is an archived page and is no longer updated.
Current content of Prof. Ladkin's research group is available at https://rvs-bi.de/

RVS-Lehrveranstaltungen - Sommersemester 2005

Inhalt

System Safety and Security II: Vorlesung
System Safety and Security II: Begleitseminar
Themen in System- und Softwareengineering
Digitale Kommunikation II: Seminar
Digitale Kommunikation II: Labor
Technische Informatik II: Rechnerarchitektur und Betriebssysteme

System Safety und Security II: Vorlesung

Beleg-Nr.: 39 21 26 (eKVV-Eintrag)
Zeit und Raum: freitags, 10:00 c.t. bis 12:00 Uhr in C0-259
Vorlesungsbeginn und -ende: 14.04.2005 bis 22.07.2005

Diese Vorlesung basiert inhaltlich auf dem Buch Causal System Analysis von Prof. Ladkin. Teile des Buches sind schon als Industrie-Tutorium und Konferenz-Beriträge geführt worden. Vier Kopien des Buches befinden sich im Semesterapparat.

Causal System Analysis (CSA) ist eine Methode der kausalen Analyse der Funktionsweise und der Funktionsfähigkeit komplexer technologischer Systeme. Why-Because Analysis (WBA) ist eine Methode der kausale Erklärung von Unfällen und Vorfällen komplexer Systemen und ist ein Teil der CSA. Die Methode ist schon im industriellen Einsatz. Die Vorlesung bietet eine Einführung in die CSA und die WBA an.

Die Motivation für die Vorlesung sowie für das Begleitseminar lautet wie folgt: Komplexe Systeme beinhalten oft nicht nur digitale Komponenten (Software und Hardware) sondern physikalische, prozedurale und menschliche Komponenten. Beispiele sind Verkehrssysteme wie die kommerzielle Luftfahrt, die Bahn, und das Internet. Kleinere Beispiele findet man in Autos und Kommunikationssystemen. Solche Systeme müssen in der Regel bestimmte Zuverlässigkeits- sowie Sicherheitsbedingungen erfüllen. Trotzdem läuft alles manchmal schief bis zum Abstürz. Die hier vorgestellten Methoden für die Sicherheitsanalyse solcher Systeme sind wichtig und werden von den Herstellern der Systeme oftmals verpflichtend verwendet.

Literatur

Die Literatur besteht aus dem Buch Causal System Analysis Vier Kopien des Buches befinden sich im Semester-Apparat. Ausserdem liegen Teile des Buches auf unseren WWW-Seiten unter Publications, im Buch Why-Because Analysis, RVS-Bk-98-01 sowie im Notes on the Foundations of System Safety and Risk, RVS-Bk-00-01, bei www.rvs.uni-bielefeld.de. Ausserdem sind sämtliche Papers auf den Seiten auch relevant. Ausserdem findet man eine Menge von Beispielen von Systemproblemen in dem Buch Computer-Related Risks von Dr. Peter Neumann, Moderator of the RISKS-Forum, (Addison-Wesley, 1995). Darüberhinaus sind die Proceedings zu SAFECOMP, IRIA und SCSC sowie das Buch Safeware von Leveson zu empfehlen.


System Safety und Security II: Begleitseminar

Beleg-Nr.: 39 21 27 (eKVV-Eintrag)
Zeit und Raum: freitags, 14:00 c.t. bis 16:00 Uhr in C0-259
Seminarbeginn und -ende:14.04.2005 bis 22.07.2005

Das Begleitseminar bietet die praktische Möglichkeit an, die Why-Because Analyse selbst anzuwenden. Die Seminarteilnehmer werden in Gruppen von 4-5 Personen eingeteilt und jede Gruppe wird selbst eine WBA von einem bekannten Unfall mit Hilfe unserer Darstellungs-Tools durchführen. Die Ergebnisse einer erfolgreichen Analyse dieser Art von Seminarteilnehmern im WS2002/3 und SS2003 sind schon in der Bieleschweig-Workshopreihe vorgetragen worden. Siehe dazu die RVS-Homepage für mehr Details über die Bieleschweig Workshops.


Themen in System- und Softwareengineering

Beleg-Nr.: 39 21 28 (eKVV-Eintrag)
Zeit und Raum: dienstags, 15:00 bis 17:00 in C0-272 (Raumänderung ist wahrscheinlich)
Seminarbeginn und -ende: 12.04.2005 bis 19.07.2005

In diesem Seminar wird die aktuelle Arbeit der RVS-Gruppenteilnehmer vorgestellt. Hauptthemengebiete sind: System-Lifecycle von Requirements bis Decommissioning, Requirements-Engineering mit Ontological Analysis (OA), Formale Spezifikation, Design-Spezifikation mit UML, Konsistenz- und Vollständigkeitsüberprüfungen, Implementation-Relation und formale Verifikation, Forward-Engineering (Code von Design), Validierung, Testen, Projekt-Management und Ressourcen-Schätzung, typische Probleme der Wartung (Operational Maintenance).

Literatur:


Digitale Kommunikation II: Seminar

Beleg-Nr.: 39 21 29 (eKVV-Eintrag)
Zeit und Raum:Donnerstag 12:00 - 14:00 in C0-259
Seminarbeginn und -ende: wird noch bekanntgegeben

Die Veranstaltung führt in die grundlegenden Techniken und Anwendungen des Internet ein. Um die vielfältigen Möglichkeiten und Potentiale des Internet optimal nutzen zu können, bedarf es eines tiefen Verständnisses der technischen Grundlagen des Internet und der Konzepte des World Wide Web. Die Erarbeitung dieser Grundlagen ist Ziel des Seminars. Die Inhalte des Teil II umfassen dabei hauptsächlich die Internet Protokolle (z.B. TCP/IP). Die Internet Dienste (z.B. WWW, E-Mail, FTP), sowie auch Anwendungen des World Wide Web (z.B. Suchmaschinen) werden auch kurz vorgestellt.

Voraussetzung: Digitale Kommunikation und Internetdienste I
Die Veranstaltung richtet sich an die Studierenden des Studiengangs Mediengestaltung. InteressentInnen anderer Studiengänge werden gebeten, sich mit dem Veranstalter in Verbindung zu setzen.

Veranstaltungsunteragen: http://www.rvs.uni-bielefeld.de/lectures/LDK/labor.php


Digitale Kommunikation II: Labor

Beleg-Nr.: 39 21 30 (eKVV-Eintrag)
Zeit und Raum: Mittwoch 14:00 - 16:00 in C0-259
Laborbeginn und -ende: wird noch bekanntgegeben

Die Veranstaltung führt in die grundlegenden Techniken und Anwendungen des Internet praktisch ein. Um die vielfältigen Möglichkeiten und Potentiale des Internet optimal nutzen zu können, bedarf es eines tiefen Verständnisses der technischen Grundlagen des Internet und der Konzepte des World Wide Web. Das praktische Erlernen dieser Grundlagen auf Basis der im vorherigen Semester vorgestellten theoretischen Grundlagen ist Ziel des Labors. Die Inhalte umfassen dabei eine grundlegende Unix-Einführung, praktische Vernetzung, das Beobachten des Netzverkehrs, grundlegende Konfiguration eines Cisco-Switches unter IOS u.v.m.

Voraussetzung: Digitale Kommunikation und Internetdienste I
Für die Anmeldung wird gebeten sich mit dem Veranstalter in Verbindung zu setzen.

Veranstaltungsunteragen: http://www.rvs.uni-bielefeld.de/lectures/LDK/labor.php

Literatur:

Digitale Kommunikation II: Seminar

Beleg-Nr.: 39 21 29 (eKVV-Eintrag)
Zeit und Raum:Donnerstag 12:00 - 14:00 in C0-259
Seminarbeginn und -ende: wird noch bekanntgegeben

Die Veranstaltung führt in die grundlegenden Techniken und Anwendungen des Internet ein. Um die vielfältigen Möglichkeiten und Potentiale des Internet optimal nutzen zu können, bedarf es eines tiefen Verständnisses der technischen Grundlagen des Internet und der Konzepte des World Wide Web. Die Erarbeitung dieser Grundlagen ist Ziel des Seminars. Die Inhalte des Teil II umfassen dabei hauptsächlich die Internet Protokolle (z.B. TCP/IP). Die Internet Dienste (z.B. WWW, E-Mail, FTP), sowie auch Anwendungen des World Wide Web (z.B. Suchmaschinen) werden auch kurz vorgestellt.

Voraussetzung: Digitale Kommunikation und Internetdienste I
Die Veranstaltung richtet sich an die Studierenden des Studiengangs Mediengestaltung. InteressentInnen anderer Studiengänge werden gebeten, sich mit dem Veranstalter in Verbindung zu setzen.

Veranstaltungsunteragen: http://www.rvs.uni-bielefeld.de/lectures/LDK/labor.php


Technische Informatik II: Rechnerarchitektur und Betriebssysteme

Beleg-Nr.: steht noch aus Zeit und Raum:wird noch nachgetragen
Vorlesungsbeginn und -ende: wird noch nachgetragen

Teilnehmer werden den Kurs über die Lern-Plattform elearn.rvs.uni-bielefeld.de machen. Teilnehmeraccounts werden entsprechend eingerichtet.

In den ersten Vorlesungen werden Grundbegriffe der CPU-Architektur und eine mögliche Architektur für den gesamten Allzweckrechner vorgestellt. Danach werden ausgewählte Begriffe eines Betriebssystems dargestellt, besonders Multitasking, Scheduling, Paging, Virtuell-Adressierung. Als Beispiel und Übung wird ein kleines virtuelle Round-Robin-Scheduling Programm entwickelt.