●第1章 嵌入式軟件可信性保障技術體繫
●1.1 航天嵌入式控制繫統的組成和特點
●1.2 航天嵌入式控制軟件中的可信問題
●1.2.1 實時性問題
●1.2.2 內存使用問題
●1.2.3 數據使用問題
●1.2.4 計算問題
●1.2.5 協議正確性問題
●1.2.6 狀態轉換問題
●1.2.7 故障處理問題
●1.2.8 編譯等價性問題
●1.2.9 編碼問題
●1.2.10 各階段一致性問題
●1.3 可信保障五維體繫結構模型
●1.4 實例：時序保障問題分析
●1.4.1 需求分析階段的保障
●1.4.2 設計階段的保障
●1.4.3 編碼階段的保障
●1.4.4 測試階段的保障
●1.4.5 方法、技術和工具
●部分目錄
楊孟飛、顧斌、郭向英等著的《可信的航天嵌入式控制軟件開發技術（精）》主要介紹航天嵌入式控制軟件可信保障技術體繫及其關鍵技術。首先從近年來的實際案例提煉出影響航天嵌入式軟件可信性的十大可信問題，針對這些關鍵可信問題，從問題、階段、方法、工具和度量五個維度進行研究，形成了具有五維體繫結構的可信性保障技術體繫；然後，重點論述了需求建模與驗證、程序實現正確性保障、嵌入式軟件形式化驗證等關鍵問題的解決方案；很後依據可信保障技術體繫的需求，介紹了構建嵌入式軟件可信保障集成環境的集成方法、體繫架構和關鍵技術。
本書針對嵌入式軟件研制中的實際問題給出繫統的解決方案，實用性強，對於在航天行業以及航空、兵器、汽車、核電等行業從事嵌入式軟件研制的工程技術人員和繫統總體設計人員，具有很好的參考價值。
