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 tai...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.展开更多
基金Sponsored by the Research Projection of the Tenth Five-year of National Defence Department( Grant No. 417010402)
文摘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.
