Verification of an Embedded Operating System
Dr.-Ing. Tobias Simon
- 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.