One of the main principles of dOSEK is to use fine-grained static information about application and kernel to optimize different non-functional properties of the whole system. One method of calculation this fine-grained system information is the system-state enumeration. The SSE statically simulates the application on top of an OSEK kernel that is configured by information from the OIL file. The SSE simulate the system until all possible system states are discovered.
From the resulting state-transition graph, we can infer a global control-flow graph, which is a control-flow graph lifted to the system level. It connects all basic blocks from the whole system in an directed graph, which expresses all possible exeuction sequences on the acutal processor.
For more details: