內容簡介
《可信的航天嵌入式控制軟件開發技術》主要介紹航天嵌入式控制軟件可信保障技術體繫及其關鍵技術。首先從近年來的實際案例提煉出影響航天嵌入式軟件可信性的十大可信問題,針對這些關鍵可信問題,從問題、階段、方法、工具和度量五個維度進行研究,形成了具有五維體繫結構的可信性保障技術體繫;然後,重點論述了需求建模與驗證、程序實現正確性保障、嵌入式軟件形式化驗證等關鍵問題的解決方案;*後依據可信保障技術體繫的需求,介紹了構建嵌入式軟件可信保障集成環境的集成方法、體繫架構和關鍵技術。
《可信的航天嵌入式控制軟件開發技術》針對嵌入式軟件研制中的實際問題給出繫統的解決方案,實用性強,對於在航天行業以及航空、兵器、汽車、核電等行業從事嵌入式軟件研制的工程技術人員和繫統總體設計人員,具有很好的參考價值。
《可信的航天嵌入式控制軟件開發技術》針對嵌入式軟件研制中的實際問題給出繫統的解決方案,實用性強,對於在航天行業以及航空、兵器、汽車、核電等行業從事嵌入式軟件研制的工程技術人員和繫統總體設計人員,具有很好的參考價值。