Tailoring of onboard system software

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.