《航天高可靠嵌入式实时操作系统原理与技术》程胜,蔡铭著中国宇航出版社

内容简介：

　　嵌入式软件是航天型号软件系统的关键组成部分。随着航天型号的快速发展，嵌入式软件规模及复杂度呈快速递增态势。为了降低软件开发复杂度，提高系统可靠性，采用高可靠嵌入式实时操作系统已经成为了航天型号研制的必然选择和迫切需求，嵌入式实时操作系统已经成为航天型号发展的关键支撑技术之一。国内对高可靠嵌入式实时操作系统的研究和应用还比较少，《航天高可靠嵌入式实时操作系统原理与技术》全面分析了国内外高可靠嵌入式实时操作系统理论、技术、产品研发和应用进展，并对研发航天高可靠嵌入式实时操作系统的理论、方法和相关技术进行了深入阐述，其中很多成果尚属国内首创。《航天高可靠嵌入式实时操作系统原理与技术》主要面向的读者是型号软件的开发人员、调试人员、测试人员以及管理人员，也可作为相关专业高等院校师生的参考书。

目录：