angefertigt am

Computer systems are part of almost every aspect in our life. They are not only present in the form of the general-purpose desktop computing systems, but far more often they are hidden in the form of embedded real-time systems. These systems are often small and have very strict resource constraints. Therefore, application and the underlying real-time operating system are shipped as a single unit. Because of this tight coupling, the operating system can be tailored precisely to the needs of the application. In the automotive industry, the OSEK standard has emerged to build embedded systems. This standard requires preconfiguration of the required system resources to allow a static tailoring process. Until now, tailoring an OSEK system utilizes only the knowledge about the operating-system objects, like tasks and alarms, but no knowledge about the inner structure of the application and its interaction with the operating system is used. In this work, the approach of the global control-flow graph is introduced for OSEK-like operating systems. The global control-flow graph expresses all possible system transitions between the tasks the application consists of. It can be calculated by a data-flow analysis on the control-flo