I think you have to do two things: 1) double-check your English; 2) change your nickname. Your question about $2.5K... well, I guess it is about 2x to 5x monthly engineer's salary there. Do you think it is too much for the RTOS certified for use in a viation? As free alternative, you might think about FreeRTOS, eCOS, etc.