This is an archived page and is no longer updated.
Please visit our current pages at https://rvs-bi.de

RVS-Lehrveranstaltungen, Wintersemester 2000-2001

Zuverlässigkeit und Sicherheit komplexer Systeme

Vorlesungs-Beleg-Nr.: 39 21 28
Vorlesungs--Beginn: Do 19.10.2000 um 10.00 ct
Seminarraum D6-135 Komplexe Systeme beinhalten oft nicht nur digitale Komponenten (Software und Hardware) sondern physikalische, prozedurale und menschliche Komponenten. Beispiele sind Verkehrssysteme wie die kommerzielle Luftfahrt und die Bahn. Kleinere Beispiele findet man in Autos und Kommunikationssysteme. 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 Vorlesung ist über Tutorien basiert, die fü die in der Industrie gehalten worden sind. Wir fangen mit den Grundkonzepten von System und Umgebung an und definieren eine Ontologie, dermit man die wichstigsten Eigenschaften in System Engineering klar und eindeutig definieren kann. Danach werden wir die Begriffe von Risiko, Hazard u.s.w. einführen und deren derzeitig Benutzung im System Safety Bereich kritisieren. Methode für die kausale Analyse von Systeme und Systemabstürtze werden über Beispiele eingefürt. Um die (relativ) Verfügbarkeit (oder Zuverlässigkeit) der Systeme zu sichern, muss man klar und eindeutig beschreiben können, was ein System tun soll. Methode fü die Spezifikation (formale eindeutige Beschreibung) der Systemziele und deren Implementation werden eingeführt.

Literatur

Die Literatur besteht aus sämtliche Papers und Bücherteile, die bei www.rvs.uni-bielefeld.de zu finden sind. Zusätzliche Literatur ist:

Causal System Analysis (CSA): Projekt-Seminar

Beleg-Nr.: 39 21 37
Beginn: Organisatorisches Treffen Dienstag 17.10.2000 um 14.00 in D6-131

Wir werden die Causal System Analysis (CSA) Methode für die im-Voraus Sicherheitsanalyse von Sicherheits-kritischen Systemen anwenden. Wir werden neue Beispiele bearbeiten und Unterstützung-Tools entwickeln.

Literatur

Computational Natural Language Systems: Projekt-Seminar

Beleg-Nr.: 39 21 45
Coveranstalter: Prof. Dr. Dafydd Gibbon, LiLi Fakultät Beginn: Di 17.10.2000 10.00-12.00 in C6-139, danach vierzehntäglich

The working language of this seminar is English. This is a required seminar for visiting Erasmus/Socrates exchange students from Ireland. Participants will select a task involving research, design and implementation of a small system for the treatment of some aspect of a natural language. Sample projects already offered and partly undertaken include: building a DCG parser for technical language used by pilots and air traffic controllers; writing a semantic analyser for this language; building a WWW-based corpus; recording and analysing phonetic similarities and differences between native and non-native language speakers; building a GUI interface to aid in speech-act analysis of system-operator communications.