Abteilung Sicherheitskritische eingebettete Systeme

Forschungsgebiete

Entwurf, Entwicklung und Analyse eingebetteter Systeme, Komponentenbasierter Entwurf für Eingebettete Systeme
Spezifikationsmethoden und formale Verifikation sicherheitskritischer Systeme, modellbasierte Entwicklungsprozesse mittels Testen sowie Sicherheits- und Real-Time-Analyse, hybride Systems
Taskallokation in verteilten Echtzeitsystemen, anwendungsorientierte Forschung mit industriellen Partnern aus den Bereichen Avionik, Automotive und Zugsystemen

Schlagworte

Eingebettete Systeme / Sicherheitskritische Systeme / Realzeitsysteme / Sicherheitsanalyse / formale Verifikation

Areas of research

Design and Analysis of Embedded Systems, component-based design for embedded systems
Specification Languages and Formal Verification of Safety Critical Systems, model-based development processes with formal method-based approaches to testing and safety and real-time analysis, hybrid systems
Taskallocation in Distritbuted Real-Time-Systems, applied research with industrial partners in avioncs, automotive, and train system application

Keywords

Embedded Systems / Safety Critical Systems / Real-Time-Systems / Safety Analysis / Formal Verification

Kontakt

Ansprechpartner/-in

Herr Prof. Dr. Werner Damm
Telefon:
0441 / 9722-500
Telefax:
0441 / 9722-502

Forschungseinrichtung

Carl von Ossietzky Universität Oldenburg
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Department für Informatik
Abteilung Sicherheitskritische eingebettete Systeme
Hausanschrift:
Ammerländer Heerstraße 114-118
26129 Oldenburg
Telefon:
0441 / 798-4398
Telefax:
0441 / 798-2155
Stand: 22.02.2010