航天嵌入式軟件可信保障技術(shù)讓載人航天順利開展

       隨著我國航天事業(yè)的快速發(fā)展，空間站、探月工程、高分專項(xiàng)等一批復(fù)雜航天任務(wù)陸續(xù)實(shí)施，軟件在航天器中的作用和地位越來越突出，軟件可信性已成為確保型號任務(wù)成功的重要因素。
       目前，航天嵌入式軟件可信性保障尚未形成系統(tǒng)解決方案，軟件質(zhì)量受人的能力、經(jīng)驗(yàn)影響較大，導(dǎo)致一些深層次問題時(shí)有發(fā)生。中國科學(xué)院院士、嫦娥五號探測器系統(tǒng)總設(shè)計(jì)師楊孟飛帶領(lǐng)研究團(tuán)隊(duì)，在國家自然科學(xué)基金委重大研究計(jì)劃“可信軟件基礎(chǔ)研究”的支持下，以該重大研究計(jì)劃相關(guān)研究成果為基礎(chǔ)，針對航天嵌入式軟件的特點(diǎn)，結(jié)合已發(fā)生問題的分析，建立了航天嵌入式軟件可信性保障技術(shù)體系，研制了一系列可信保障工具，并構(gòu)造了一個(gè)覆蓋從軟件需求分析、設(shè)計(jì)、編碼、測試、編譯固化到運(yùn)行維護(hù)全過程的航天嵌入式軟件可信性保障集成環(huán)境（SpaceIDep）。
       在專家們看來，這項(xiàng)工作實(shí)現(xiàn)了軟件可信性保障從局部到系統(tǒng)、從依賴人到依靠工具的轉(zhuǎn)變，提高了航天嵌入式軟件的可信性。這些成果已經(jīng)在百余個(gè)航天型號中得到驗(yàn)證和應(yīng)用。
       據(jù)研究團(tuán)隊(duì)成員、航天五院502所研究員顧斌介紹，該項(xiàng)目實(shí)施以來，軟件交付的缺陷率顯著下降，百余個(gè)航天器在軌運(yùn)行未發(fā)生軟件質(zhì)量問題。
       “近期，我國天舟一號任務(wù)成功實(shí)施，北斗三號任務(wù)也離不開在該研究中取得的成果?！鳖櫛笳f。
       此外，相關(guān)研究成果還推廣應(yīng)用到國民經(jīng)濟(jì)的其他領(lǐng)域，創(chuàng)造了超過1000萬元的經(jīng)濟(jì)效益。

     來源：中國科學(xué)報(bào)