BDS地面软件可靠性分析验证技术研究

Analysis verification technology of software reliability for BDS ground software

首先介绍了国内外软件可靠性分析验证技术研究现状,接着设计了北斗卫星导航系统(BDS)地面软件可靠性分析验证方案,并从系统层、需求层、设计层、源代码层四个方面,详细分析了BDS地面软件的可靠性分析验证方法,最后提出了硬件/软件/系统交互失效分析技术、系统运行及切换过程中故障识别技术、代码潜在路径故障识别技术等三种关键技术及解决途径,为我国全球卫星导航系统可靠性验证参考。

This article not only introduces the research status of software reliability analysis verification technology at home and abroad,but also designs the reliability analysis verification scheme of BeiDou navigation satellite System(BDS)ground software.Moreover,the paper analyzes the reliability analysis verification methods of BDS ground software in detail from four aspects of system layer,demand layer,design layer and source code layer.Finally,the paper proposes the three key technologies and solutions,which lays the foundation of the improvement of the reliability of our country global navigation satellite system.