http://www.tu-ilmenau.de

Logo TU Ilmenau


Ansprechpartner

Prof. Dr.-Ing. habil. Andreas Mitschele-Thiel

Fachgebietsleiter

Telefon +49 3677 / 69 2819

E-Mail senden


INHALTE

Veröffentlichungen

Veröffentlichung

Verification of an Embedded Operating System

Autoren:
Alexander Pacholik
W. Fengler
Dr.-Ing. Tobias Simon
Typ:
Konferenz
Status:
akzeptiert
Veröffentlichungsdatum
13.09.2010
Abstract:
Verification of complex distributed systems is a challenging task. There are a number of approaches, based on the correctness by design concept, involving code generation. However such approaches are not always feasible. On the other side embedded systems ncorporate distributed multitasking systems, are hard to be verified by code analysis alone. In our approach we combine automated code level analysis with high level modeling of selected
hardware mechanisms. The fitness of the approach is demonstrated by checking a number of critical properties in a custom real time operating system for a high performance 32-Bit digital signal processor.
Bibtex