软件安全性分析技术在基于通信的列车控制车载子系统中的应用

摘要

Software safety analysis is one of the effective methods to ensure the safety and quality of software. In this paper,the normal process of software safety analysis is intro-duced which is used in critical safety software. Then,the soft-ware safety is analyzed from perform requirements,design, code and test aspects on the onboard control subsystem of CBTC. This method has achieved good application result and could serve as a reference for similar analysis of critical safety software.%软件安全性分析是保证软件安全和质量的有效方法之一.介绍了安全关键软件中通用的软件安全性分析技术及流程,并根据其流程对基于通信的列车控制(CBTC)车载子系统从需求、设计、代码和测试等4个层次进行软件安全性分析,获得了良好的应用效果,可供类似安全关键软件的安全性分析作参考.