摘要
Tailoring of an operating system and an in embedded real-time operating system in particular is es-sential for both, kernel and operation. But many of current embedded real-time operating systems provide somebasic tailoring at the cost of depleting the flexibility of hardware, which causes the lack of flexibility, and de-grades their tailors. A layered modular tailoring model has been proposed together with some tailoring operationsto improve the flexibility of the systems, and algorithms have been proposed for verification of tailoring opera-tions with the current operating system.
Tailoring of an operating system and an in embedded real-time operating system in particular is essential for both, kernel and operation. But many of current embedded real-time operating systems provide some basic tailoring at the cost of depleting the flexibility of hardware, which causes the lack of flexibility, and degrades their tailors. A layered modular tailoring model has been proposed together with some tailoring operations to improve the flexibility of the systems, and algorithms have been proposed for verification of tailoring operations with the current operating system.
基金
Sponsored by the Research Projection of the Tenth Five-year of National Defence Department( Grant No. 417010402)