《可信的航天嵌入式控制軟件開發(fā)技術(shù)》主要介紹航天嵌入式控制軟件可信保障技術(shù)體系及其關(guān)鍵技術(shù)。首先從近年來的實際案例提煉出影響航天嵌入式軟件可信性的十大可信問題，針對這些關(guān)鍵可信問題，從問題、階段、方法、工具和度量五個維度進行研究，形成了具有五維體系結(jié)構(gòu)的可信性保障技術(shù)體系；然后，重點論述了需求建模與驗證、程序?qū)崿F(xiàn)正確性保障、嵌入式軟件形式化驗證等關(guān)鍵問題的解決方案；*后依據(jù)可信保障技術(shù)體系的需求，介紹了構(gòu)建嵌入式軟件可信保障集成環(huán)境的集成方法、體系架構(gòu)和關(guān)鍵技術(shù)。
《可信的航天嵌入式控制軟件開發(fā)技術(shù)》針對嵌入式軟件研制中的實際問題給出系統(tǒng)的解決方案，實用性強，對于在航天行業(yè)以及航空、兵器、汽車、核電等行業(yè)從事嵌入式軟件研制的工程技術(shù)人員和系統(tǒng)總體設(shè)計人員，具有很好的參考價值。
|
