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

Application of Software Safety Analysis in the Onboard Control Subsystem of CBTC

作　　者：曹彬 

机构地区：[1]上海自仪泰雷兹交通自动化系统有限公司,上海工程师201206

出　　处：《城市轨道交通研究》2017年第B08期77-80,共4页Urban Mass Transit

摘　　要：软件安全性分析是保证软件安全和质量的有效方法之一。介绍了安全关键软件中通用的软件安全性分析技术及流程,并根据其流程对基于通信的列车控制(CBTC)车载子系统从需求、设计、代码和测试等4个层次进行软件安全性分析,获得了良好的应用效果,可供类似安全关键软件的安全性分析作参考。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 introduced which is used in critical safety software. Then,the software 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.

关 键 词：软件安全性分析 基于通信的列车控制 车载子系统 

分 类 号：U284.48[交通运输工程—交通信息工程及控制]