http://www.tu-ilmenau.de

Logo TU Ilmenau


INHALTE

Publications

Publication

Verification of an Embedded Operating System

Authors:
Alexander Pacholik
W. Fengler
Dr.-Ing. Tobias Simon
Typ:
Conferences
Status:
accepted
Date of publication
09/13/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