正如我們所見，道路上的車輛越來越多。車輛迅猛增長與道路環境承載能力之間突出的矛盾成為交通發展的瓶頸，“日常”的交通擁堵和高發的交通事故成為影響人們生活的重要問題。

 

綜合來看，司機以個體的有限視野作為駕駛依據，缺乏對環境感知和全局信息的掌握，進而導致預警預判時間不足、出行決策不科學，是交通效率低下和安全事故發生的主要原因之一。

 

如何在有限的道路條件下，不斷提升交通安全性和交通效率？將信息技術與交通有機結合，形成人—車—路互聯的車聯網環境，為化解問題提供了有效手段。有預測認為，到2020年，全球90%以上的車輛都將具備聯網能力。而作為典型的端—網—云一體化的復雜軟件系統，車聯網軟件系統的可信程度，對交通的安全和效率有直接影響。

 

在基金委“可信軟件基礎研究”重大研究計劃的支持下，北京航空航天大學課題組通過集成創新形成了一體化可信軟件技術體系，并在車聯網系統中進行了系統化示范應用，有效提升了車聯網等網絡應用軟件系統的整體可信性。項目成果獲得國家科技進步獎二等獎。

 

研究人員介紹，車聯網軟件具有開放性、規模性、演化性的特點，面臨應用類型多樣、應用規模快速變化、軟件迭代更新快、不確定可信威脅多等挑戰。由此，他們圍繞車聯網軟件“端—云—網”特征，以終端軟件、網絡通信構件、服務端軟件可信技術研究為切入點，建立了一套完備的客戶端軟件設計與開發、驗證、動態部署以及實時控制相關可靠性保障技術體系；實現了資源受限下移動網絡的可信數據傳輸與認證，以及異構網絡融合技術；通過軟件執行環境實現對服務端軟件可信保障核心要素進行篩選，集成和驗證了基于虛擬化的網絡軟件實體可信保障機制，以及基于監控的可信追溯機制和相關的可信保障關鍵技術。

 

在此基礎上，研究人員研制了車聯網軟件可信技術綜合集成驗證平臺，通過接入實際車輛以及對接仿真數據生成平臺，對可信保障機制進行綜合試驗與驗證。同時，針對車輛監管、專車服務和Telematics服務等不同典型場景，研究人員搭建了面向車聯網的大數據云服務平臺和信息服務平臺，實現實車接入超過7萬輛，成為世界上規模最大的實車實時數據處理平臺系統之一。

 

據了解，相關技術和成果已經應用于交通部重點營運車輛監管系統，北京市、重慶市等地方交通管理機關實時交通業務系統以及新型交通運輸企業移動網聯網平臺，社會效益和經濟效益明顯。

 

研究人員表示，在提高車聯網等軟件的可信度之外，相關技術和成果也為后續發展提供了可信技術支撐，為提升信息化帶動工業化能力、落實網絡環境下工業控制系統安全和可信提供了基本技術手段和試驗驗證環境。