设计实时系统的著作,从分析建模到编码以及RTOS开发都有深入论述