Willkommen

Willkommen auf den Webseiten der Forschungsgruppe Safety-Critical Systems (SCCS) der UniversitĂ€t TĂŒbingen. Wir sind Teil des Lehrstuhls fĂŒr Technische Informatik.

Sicherheitskritische Systeme bestehen aus untereinander agierenden Software und /oder Hardware-Komponenten. Eine Fehlfunktion kann hier großen Schaden verursachen der sogar lebensbedrohlich sein kann. Steuerungssysteme in Flugzeugen, Fahrerassistenzsysteme in Automobilen, Kontrollsysteme in Kraftwerken und medizinische GerĂ€te gehören in diese Klasse.

Unsere Forschungsarbeiten richten sich besonders auf die Sicherstellung des korrekten Verhaltens solcher Systeme. Diese beginnt bereits in den frĂŒhen Systemplanungsphasen. Hierdurch soll neben dem gesundheitsgefĂ€hrdendem Schaden auch finanzieller Schaden fĂŒr das fertigende Unternehmen verhindert werden. Daher forschen wir unter anderem an der Systemmodellierung, an Test- und Verifikationsverfahren und deren Kombination.

Die Schwerpunkte unserer Forschungs- und LehrtÀtigkeit finden sich in folgenden Themen wieder:

  1. Laufzeitverifikation
  2. Formale Verifikation
  3. Hybride Verifikation
  4. Model-basiertes Testen

Anschrift:

 

Lehrstuhl fĂŒr Technische Informatik

Safety-Critical Systems

UniversitĂ€t TĂŒbingen

Sand 13

72076 TĂŒbingen, Germany