Information Systems ... Winter Term 2004/05 Practical Course on ...

Formale Methoden für eingebettete Hardware/Software-Systeme

Inhalt der Lehrveranstaltung

Seminar im Hauptstudium:
Dienstag, 14 - 16 Uhr, Raum 2.038
Dozenten: Prof. Dr. F. Saglietti, Prof. Dr.-Ing. J. Teich, Dipl.-Inf. J. Drexler, Dipl.-Ing. C. Haubelt

Das Seminar wird in Kooperation der Lehrstühle für Software Engineering und für Hardware-/Software-Co-Design durchgeführt.

Anmeldung:
Anmeldung bitte bei
Johannes Drexler oder
Christian Haubelt.

Vorbesprechung:
19. Oktober 2004, 14 Uhr, Raum 2.038

Hinweise zu den Vorträgen wurden in der Vorbesprechung erläutert.

 

Die Vortragsthemen und die vorläufige Verteilung auf Teilnehmer und Termine sind:

Datum Thema Vortragender Vortrag Ausarbeitung
26.10.2004 Datenflussorientierte Spezifikationssprachen Dipl.-Ing. Christian Haubelt Folien  
02.11.2004 Kontrollflussorientierte Spezifikationssprachen Dipl.-Ing. Joachim Falk Folien  
09.11.2004 Temporale Logiken Helmut Killer Folien Ausarbeitung
16.11.2004 BDDs und ihre Anwendungen Martin Lukasiewycz Folien Ausarbeitung
23.11.2004 SAT-Solver und ihre Anwendungen Dipl.-Inf. Thomas Schlichter Folien  
30.11.2004 Programmcode-Verifikation Dipl.-Inf. Johannes Drexler Folien  
7.12.2004 Automatische Testfallgenerierung aus formalen Methoden Matthias Gleiß Folien  
14.12.2004 Architectural Description Languages Hao Wu Folien  
21.12.2004 Verifikation von Echtzeitanforderungen Michael Glaß Folien Ausarbeitung
11.01.2005 Design for Testability Stefan Donath Folien Ausarbeitung
18.01.2005 Architectural Description Languages 2 Hao Wu Folien  
25.01.2005 Bewertung formaler Nachweise Dipl.-Phys. Bernhard Niemann Folien  
01.02.2005 Z Dipl.-Inf. Johannes Drexler Folien  
08.02.2005 Abschlussvortrag Dipl.-Inf. Johannes Drexler Folien  

top