Lehre
Sommersemester 2013
Vorlesung "Formale Modelle für Cyberphysical Systems"
Vorlesung "Entwicklung sicherheitskritischer Systeme"
Fortgeschrittenenprojekt "Entwurf sicherheitsgerichteter Systeme"
Seminar "Dependability and Trust"
Fortgeschrittenenprojekt
Im Fortgeschrittenenprojekt "Entwurf sicherheitskritischer Systeme" besteht die Möglichkeit, mit der modellbasierten Entwicklungsumgebung Scade Suite zu arbeiten.
Academic partner of Esterel Technologies, the provider of model-based solutions for DO-178B, EN 50128 and IEC 61508 safety-critical systems.
Wintersemester 2012/2013
Vorlesung "Formale Modelle für Cyberphysical Systems"
Seminar "Dependability and Trust"
Fortgeschrittenenpraktikum/Projektseminar Entwurf sicherheitsgerichteter Systeme
Sommersemester 2012
Vorlesung "Entwicklung sicherheitskritischer Systeme"
Vorlesung "Formale Verifikation"
Seminar "Dependability and Trust"
Fortgeschrittenenprojekt/Projektseminar "Entwurf sicherheitsgerichteter Systeme"
Wintersemester 2011/2012
Seminar "Dependability and Trust"
Fortgeschrittenenpraktikum/Projektseminar "Entwurf sicherheitsgerichteter Systeme"
Sommersemester 2011
Software Safety - "Entwicklung sicherheitskritischer Systeme"
Fortgeschrittenenprojekt "Entwurf sicherheitsgerichteter Systeme"
Wintersemester 2010/2011
MBSE - Modellbasierte Softwareentwicklung
Fortgeschrittenenprojekt "Entwurf sicherheitsgerichteter Systeme"