Lehrveranstaltungen im
Sommersemeseter 98

Lehrveranstaltungen im Grundstudium

Titel:			Technische Informatik II
Art der Veranstaltung:	Vorlesung mit Übungen
Kurzbeschreibung:	

Lehrveranstalter:	Prof. Dr. Peleska, Dr. Bettina Buth, Oliver Meyer
Kategorie:		V+UE
Umfang:			2+2 SWS	
Termine:		Vorlesung:  Di. 13-15 Uhr, MZH 1380
                        Übung: Do.  8-10 Uhr
			ausführlichere Informationen

Beginn:                 Di, 21.4.98

Lehrveranstaltungen im Hauptstudium

Titel:			Betriebssysteme II
Art der Veranstaltung:	Vorlesung mit Übungen
Kurzbeschreibung:	Diese Vorlesung ist der zweite Teil eines zwei-
                        semestrigen Zyklus zum Thema Betriebssysteme. Der 
                        Zyklus ist folgendermaßen angelegt:

                        - Im ersten Semester soll das Basiswissen vermittelt
                          und der Stoff abgedeckt werden, den man in der 
		          Systemprogrammierung oder bei der systemnahen An-    
                          wendungsentwicklung benötigt.

                        - Im zweiten Semester werden Themen behandelt, die man
                          als DesignerIn beim Entwurf oder der Erweiterung von
                          Betriebssystemen benötigt. Hier werden wir uns vor-
                          aussichtlich mit Aspekten befassen, die vor allem 
			  bei sicherheitskritischen Anwendungen und für 
                          Systemsoftware in eingebetteten Echtzeitsystemen
                          eine Rolle spielen.

			ausführlichere Informationen

Lehrveranstalter:	Prof. Dr. Peleska, Dr. Bettina Buth
Kategorie:		V+UE
Umfang:			4+2 SWS	
Termine:		Vorlesung:  Mo. 10-12 Uhr, MZH 5210
                                    Di. 10-12 Uhr, MZH 5290	
                        Übung: Mo. 15-17 Uhr, MZH 5210

Beginn:                 Mo, 20.4.98

Titel:			LIVE! - LINUX Verification Enterprise
Art der Veranstaltung:	Projekt
Kurzbeschreibung:	Die Ziele des Projektes ergeben sich aus der 
                        speziellen Problematik des Einsatzes von 
                        Betriebssystemen in sicherheitskritischen
                        Anwendungen:

                        - die Anforderungen sicherheitsrelevanter 
                          Anwendungen an die Zuverlässigkeit von 
                          Betriebssystemen sollen verstanden werden;
                        - das Betriebssystem Linux soll im Detail 
                          besprochen werden;
                        - für eine Beispielanwendung sollen sichere
                          Betriebssystemkernkomponenten aus Linux
                          entwickelt werden.

                        Darüberhinaus soll ein grundlegendes Verständnis 
                        für das Arbeiten mit großen, in der Entwicklung 
                        befindlichen Systemen vermittelt werden, sowie 
                        Kenntnisse über Methoden und Werkzeuge zur
                        Unterstützung der Entwicklung komplexer Systeme.

			ausführlichere Informationen

Lehrveranstalter:	Prof. Dr. Peleska, Dr. Bettina Buth
Kategorie:		Hauptstudiumsveranstaltung
Umfang:			PP/AV, 4 SWS
Termine:		Fr 10 - 15 Uhr, MZH 7220

Beginn:                 Fr, 24.4.98

Graduate Studies

Titel:			AN INTRODUCTION TO SAFETY-CRITICAL SYSTEMS
Art der Veranstaltung:	Vorlesung 
Kurzbeschreibung:	This lecture is the starting point of our initiative
			GRADUATE STUDIES IN SAFETY-CRITICAL SYSTEMS, a series
			of lectures and seminars intended for an international
			audience of engineers working in the field,
                        graduate students working on their Diploma,
			Masters, PhD or Habilitation degrees in computer science.
			Due to the international character of this initiative, 
                        lectures will be held in English.

			The present lecture provides an introduction into some
			characteristic safety-related requirements to be 
                        encountered when developing safety-critical (embedded) 
                        systems. We describe methods that are considered as 
                        state-of-the-art or as promising research fields for 
                        hazard-analysis, specification, design, verification,
                        validation and test. Examples are provided from the 
                        fields of avionics, railway control  and medical systems.
			While it is not intended to study a specific method in 
                        detail (this will be performed in future lectures and 
                        seminars) we wish to give a comprehensive overview about 
                        requirements, methods and techniques that we consider as 
                        crucial capabilities for engineers and computer 
                        scientists involved in the development of safety-critical
			computer-based systems.

                        Detailed Information


Lehrveranstalter:	Prof. Dr. Peleska
Kategorie:		V
Umfang:			2 SWS	
Termine:		Vorlesung:  Mo. 13-15 Uhr (Raum wird noch bekanntgegeben)

Beginn:                 Mo, 27.4.98

Bisherige Lehrveranstaltungen:

Wintersemester 1996/97
Sommersemester 1997
Wintersemester 1997/98