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

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

     來(lái)源：中國(guó)科學(xué)報(bào)