Science & Engineering Research Support soCiety (SERSC)
These days embedded systems are making great strides with the development of hardware to satisfy user's varied demands. As one can see many kinds of systems operated in people daily life, software becomes dependent on real-time processing functions as well as various functions (for instance, multimedia system or network). These systems have the disadvantage of increasing complexity and are prone to problems when system engineer develop the system. Especially, if problems occur in the kernel layer, a developer needs to spend a lot of time and effort to solve them.