论文部分内容阅读
软件安全性分析是保证软件安全和质量的有效方法之一。介绍了安全关键软件中通用的软件安全性分析技术及流程,并根据其流程对基于通信的列车控制（CBTC）车载子系统从需求、设计、代码和测试等4个层次进行软件安全性分析,获得了良好的应用效果,可供类似安全关键软件的安全性分析作参考。
软件安全性分析技术在基于通信的列车控制车载子系统中的应用
【摘 要】
：
软件安全性分析是保证软件安全和质量的有效方法之一。介绍了安全关键软件中通用的软件安全性分析技术及流程,并根据其流程对基于通信的列车控制（CBTC）车载子系统从需求、设计
【机 构】
：
上海自仪泰雷兹交通自动化系统有限公司
【出 处】
：
城市轨道交通研究
【发表日期】
：
2017年B08期
其他文献
针对城市轨道交通基于通信的列车控制（CBTC）系统的无线通信受到Wi Fi（无线局域网）干扰,造成地铁列车停运的事件,上海申通地铁集团有限公司在张江实训线试验了406.5~409.5 MHz的无
地铁道岔故障处理一直是信号系统的重点工作。为构建道岔故障诊断系统,根据道岔故障类型,针对道岔电气故障展开了研究。通过对道岔启动电路、道岔表示电路原理的分析,确定道
目的探讨无创呼吸机治疗ICU心力衰竭(HF)合并呼吸衰竭(RF)患者的临床效果。方法选取2017年1月至2018年6月医院ICU收治的82例HF合并RF患者,按照随机数字表法分为试验组与对照