北斗軟件“體檢師”為衛(wèi)星導(dǎo)航排除“漏洞”

6月7日，記者詹媛7日從中國(guó)航天科工集團(tuán)有限公司第三研究院了解到，為了保障北斗衛(wèi)星導(dǎo)航系統(tǒng)軟件的可靠性和安全性，該院304所的北斗任務(wù)軟件評(píng)測(cè)團(tuán)隊(duì)近年來針對(duì)北斗衛(wèi)星導(dǎo)航的核心部件——導(dǎo)航任務(wù)處理機(jī)開展了軟件可靠性安全性分析與驗(yàn)證，并據(jù)此構(gòu)建了100余種導(dǎo)航處理機(jī)故障集，開辟了多層面分析、多技術(shù)融合、故障注入仿真的可靠性驗(yàn)證新模式。據(jù)該所總師張津榮介紹，這一成果已被列入北斗系列衛(wèi)星成果的整星預(yù)案中，將為北斗衛(wèi)星導(dǎo)航系統(tǒng)后續(xù)軟件的可靠性、安全性提供有力的保障。 　　

2018年我國(guó)已發(fā)射了6顆北斗三號(hào)衛(wèi)星，還將在年底前發(fā)射10多顆北斗三號(hào)衛(wèi)星，以便為“一帶一路”相關(guān)國(guó)家提供服務(wù)，在這些北斗衛(wèi)星發(fā)射和組網(wǎng)應(yīng)用之前，中國(guó)航天科工三院304所北斗任務(wù)軟件評(píng)測(cè)團(tuán)隊(duì)還將繼續(xù)開展軟件測(cè)評(píng)的相關(guān)工作。　據(jù)了解，目前該團(tuán)隊(duì)已經(jīng)連續(xù)七年參與北斗任務(wù)軟件評(píng)測(cè)工作。在此前所承擔(dān)的測(cè)試任務(wù)中，面對(duì)周期緊、技術(shù)新、算法復(fù)雜等困難，該團(tuán)隊(duì)大膽創(chuàng)新，解決了多項(xiàng)技術(shù)難題，先后發(fā)現(xiàn)了300余處問題和隱患，其中包括影響導(dǎo)航任務(wù)通信、數(shù)據(jù)采集、姿態(tài)計(jì)算等方面的50余處重要問題。這些問題被反饋給相關(guān)單位后，得以及時(shí)調(diào)整和修正，避免了因軟件“漏洞”引發(fā)的故障，這支團(tuán)隊(duì)也因此而被譽(yù)為北斗軟件的“體檢師”。 中國(guó)航天科工三院304所是國(guó)內(nèi)最早從事軍用、民用、高可靠性軟件評(píng)測(cè)業(yè)務(wù)的專業(yè)機(jī)構(gòu)之一。先后為探月工程、載人航天工程、空間科學(xué)先導(dǎo)專項(xiàng)等國(guó)家重大工程，以及海軍、空軍、火箭軍等眾多單位提供了軟件及可編程邏輯器件測(cè)評(píng)和工程化技術(shù)支持。