航天高可靠嵌入式實時作業系統原理與技術

內容介紹嵌入式軟體是航天型號軟體系統的關鍵組成部分。 為了降低軟體開發複雜度，提高系統可靠性，採用高可靠嵌入式實時作業系統已經成為了航天型號研製的必然選擇和迫切需求，嵌入式實時作業系統已經成為航天型號發展的關鍵支撐技術之一。 《航天高可靠嵌入式實時作業系統原理與技術》主要面向的讀者是型號軟體的開發人員、調試人員、測試人員以及管理人員，也可作為相關專業高等院校師生的參考書。

內容介紹

嵌入式軟體是航天型號軟體系統的關鍵組成部分。隨著航天型號的快速發展，嵌入式軟體規模及複雜度呈快速遞增態勢。為了降低軟體開發複雜度，提高系統可靠性，採用高可靠嵌入式實時作業系統已經成為了航天型號研製的必然選擇和迫切需求，嵌入式實時作業系統已經成為航天型號發展的關鍵支撐技術之一。國內對高可靠嵌入式實時作業系統的研究和套用還比較少，《航天高可靠嵌入式實時作業系統原理與技術》(編著：程勝、蔡銘)全面分析了國內外高可靠嵌入式實時作業系統理論、技術、產品研發和套用進展，並對研發航天高可靠嵌入式實時作業系統的理論、方法和相關技術進行了深入闡述，其中很多成果尚屬國內首創。《航天高可靠嵌入式實時作業系統原理與技術》主要面向的讀者是型號軟體的開發人員、調試人員、測試人員以及管理人員，也可作為相關專業高等院校師生的參考書。