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/

Regelmässige RVS-Lehrveranstaltungen/Regular RVS Course Offerings
Wintersemester/Winter Semester (Oktober/October-März/March)

In keeping with the "internationalisation" of our Courses of Study, to make them attractive for students from other countries, the course offerings of the RVS group are conducted in English if the participants wish it. We have found also that many students of informatics whose native language is German also wish to improve their English and request that courses be conducted in English. The course desciptions here are in both German and English.

Sprechstunden/Office Hours

Gesprächstermine werden Mittwochs in der Zeit 14:00 - 15.00 von Prof. Ladkin per Termin angeboten. Um einen Termin zu vereinbaren, bitte eine E-Mail an die Sekretärin der RVS-Gruppe, Frau Heike Samuel, schicken oder Frau Samuel Mo-Fr vor 14.00 anrufen (Nr: 0521 106-6882)

Prof. Ladkin offers appointments for discussion of matters concerning coursework on Wednesdays from 14.00 to 15.00. To make an appointment, please e-mail the RVS Secretary Ms. Heike Samuel or call Ms. Samuel Mon-Fri before 14.00 (0521 106-6882).

Lehrveranstaltungen/Courses Offered

Digitale Kommunikation und Internetdienste/Digital Communication and Internet Services: Vorlesung/Lecture
Übungen/Exercises: Digitale Kommunikation und Internetdienste
System Safety and Security: Vorlesung/Lecture
System Safety and Security: Labor/Laboratory
Applied Logic I: Seminar
Themes in Applied Logic: Seminar

Digitale Kommunikation und Internetdienste/Digital Communication and Internet Services: Vorlesung und Übungen/Lecture and Exercise Session

Vorlesungs-Beleg-Nr.: Siehe/See eKVV
Vorlesungs-Zeit und Raum/Time and Place : Donnerstag/Thursday 12-14 in C0-281
Übungs-Beleg-Nr.: Siehe eKVV
Leistungspunkte/Credit Points: 3 (Vorlesung/Lecture) + 2 (Übungen/Exercises) (von/out of 10)
Übungs-Zeit und -Raum/Exercises Time and Place: Mittwoch/Wednesday 12-14 in C0-281

Die Lehrveranstaltung führt in die grundlegenden Techniken und Anwendungen des Internet ein. Die Inhalte der Vorlesungen umfassen hauptsächlich die übliche Local-Area-Net-Technologie Ethernet, die Internet Protokolle TCP und IP und ausgewälte Dienste (z.B. WWW, E-Mail, FTP). Ausserdem wird eine Einführung in aktuellen Sicherheitsproblemen des Internets gehalten und teilweise zur Diskussion gebracht. Das Ziel der Vorlesungen ist, die Teilnehmer das relevante Wissen beizubringen, um erfolgreich weiter in das Labor (Sommersemester) teilnehmen zu können.

The lecture course offers an introduction to the fundamental technology of the Internet and its applications. The course concentrates on the Ethernet local-area-network technology, and the internet protocols TCP and IP, as well as selected services ("applications") such as WWW and E-Mail. Further, there is an introduction to current network security problems with an accompanying discussion. The purpose of the lectures is to prepare students for participation in the accompanying laboratory, offered in Summer Semester.

Literatur/Reading Material:


System Safety und/and Security: Vorlesung/Lecture

Beleg-Nr.: Siehe/See eKVV
Leistungspunkte/Credit Points: 2 (von/out of 5/10)
Zeit und Raum/Time and Place: Freitags/Fridays, 10-12 in C0-281

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. Das Buch befindet sich per Kapitel unterladbar im Internet-Seite der RVS-Gruppe.

Das erste Teil - dieses Teil - der Modul betrifft Why-Because Analysis (WBA). Why-Because Analysis ist eine Methode der kausale Erklärung von Unfällen und Vorfällen komplexer Systemen. WBA wurde von Peter Ladkin eingeführt und ist schon im industriellen Einsatz. Die Vorlesung bietet eine Einführung in die WBA mit vielen Beispielanalysen an.

The course is based on material in the book Causal System Analysis by Peter Bernard Ladkin. Parts of the book have been given as industrial tutorials and conference presentations. The book can be downloaded by chapter from the RVS-group WWW pages.

The first part - this part - of the module concerns Why-Because Analysis (WBA). WBA is a method for causal analysis and explanation of accidents and incidents with complex systems and is in industrial use. WBA was introduced by Peter Ladkin and is in industrial use. The lectures offer an introduction to WBA through many examples.

Literatur/Reading Material


System Safety und/and Security: Labor/Laboratory

Beleg-Nr.: Siehe/See eKVV
Leistungspunkte/Credit Points: 3 (von/out of 5/10)
Zeit und Raum/Time and Place: Verschiedene Zeiten, insbesondere Freitags 14-16/ various times, in particular Fridays 14-16 im/in RVS Lab C0-285

Das Labor bietet die praktische Möglichkeit an, die Why-Because Analyse mit Hilfe von Analyse-SW von Causalis Limited selbst anzuwenden. Die Seminarteilnehmer werden in Gruppen von 2-3 Personen eingeteilt und jede Gruppe wird selbst eine WBA von mehreren bekannten Unfällen durchführen und berichten. Das Ziel des Labors ist, zu lernen, die Technik WBA praktisch anzuwenden. Das Labor wird 12+ Stunden pro Woche geöffnet und darunter können Teilnehmer die Zeiten suchen, die ihnen für die notwendige Arbeit am besten passen.

The laboratory course offers the chance to apply WBA to selected cases with the help of analytical software from Causalis Limited. Participants will be divided into groups of 2 to 3 people and each group will use WBA to analyse known accidents and deliver reports. The goal of the laboratory course is to learn to apply WBA in practical cases. The Lab will be open 12+ hours per week and participants can choose the most convenient times for them to perform the required work.


Applied Logic I: Seminar

Beleg-Nr.: Siehe/See eKVV
Leistungspunkte/Credit Points: 3 (von/out of 5)
Zeit und Raum/Time and Place:Dienstags/Tuesdays 14-16 im/in C0-288

Formal logic is used in varied places in informatics. Propositional and predicate logic, as well as temporal logic and higher-order logic are used in the verification and validation of computer algorithms, software and hardware for highly-reliable and safety-critical systems. Belief and epistemic logics are used in symbolic artificial intelligence, especially in multi-agent systems. Causal logics may be used in the analysis of complex systems and their accidents. Probability and inductive logic is (or should be!) used in the assessment of the risk of safety-critical systems. Various logics are used in formal semantics in computational linguistics.

This two-part course offers a practical introduction to these formal logics for those who are already acquainted with the basics of propositional logic and the language of predicate logic, such as found in the theoretical informatics course or the introduction to logic offered by the Philosophy and Linguistics Departments.

After an introduction to the material by the lecturer, participants will give their solutions to selected problems from the literature in the form of a short seminar presentation.

Literatur/Reading Material


Themes in Applied Logic: Seminar

Beleg-Nr.: Siehe/See eKVV
Leistungspunkte/Credit Points:noch nicht festgelegt/not yet determined
Zeit und Raum/Time and Place:Noch nicht festgelegt/not yet determined im/in C0-288

This course offers a contination of Applied Logic I and II for people who are particularly interested in logic and might want to pursue further work in it at the Master's or higher level.

Themes which have been proposed for Winter Semester 2010-11 include:

Literatur/Reading Material