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

6月7日，記者詹媛7日從中國航天科工集團(tuán)有限公司第三研究院了解到，為了保障北斗衛(wèi)星導(dǎo)航系統(tǒng)軟件的可靠性和安全性，該院304所的北斗任務(wù)軟件評測團(tuán)隊(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年我國已發(fā)射了6顆北斗三號衛(wèi)星，還將在年底前發(fā)射10多顆北斗三號衛(wèi)星，以便為“一帶一路”相關(guān)國家提供服務(wù)，在這些北斗衛(wèi)星發(fā)射和組網(wǎng)應(yīng)用之前，中國航天科工三院304所北斗任務(wù)軟件評測團(tuán)隊(duì)還將繼續(xù)開展軟件測評的相關(guān)工作。　據(jù)了解，目前該團(tuán)隊(duì)已經(jīng)連續(xù)七年參與北斗任務(wù)軟件評測工作。在此前所承擔(dān)的測試任務(wù)中，面對周期緊、技術(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)單位后，得以及時調(diào)整和修正，避免了因軟件“漏洞”引發(fā)的故障，這支團(tuán)隊(duì)也因此而被譽(yù)為北斗軟件的“體檢師”。 中國航天科工三院304所是國內(nèi)最早從事軍用、民用、高可靠性軟件評測業(yè)務(wù)的專業(yè)機(jī)構(gòu)之一。先后為探月工程、載人航天工程、空間科學(xué)先導(dǎo)專項(xiàng)等國家重大工程，以及海軍、空軍、火箭軍等眾多單位提供了軟件及可編程邏輯器件測評和工程化技術(shù)支持。