【摘 要】
：
不同于计算机联锁系统传统软件需求的分析和描述方式,从一个全新的角度将计算机联锁系统的控制设备看做风险触发对象,提出基于场景分析识别联锁系统安全需求的方法,根据每个
【机 构】
：
卡斯柯信号有限公司 200071 上海
论文部分内容阅读
不同于计算机联锁系统传统软件需求的分析和描述方式,从一个全新的角度将计算机联锁系统的控制设备看做风险触发对象,提出基于场景分析识别联锁系统安全需求的方法,根据每个场景下潜在的危害,自顶向下按照控制设备的异常状态,分析对应的风险.系统危害在不断抽象精化的过程中,逐渐抽取出系统安全需求.针对识别的安全需求,使用数学符号语言进行描述.经过该过程的识别和描述,使得安全需求完整,需求描述明确,无二义性.
其他文献
目前新建高速铁路引入既有枢纽的情况越来越普遍,当枢纽联络线较短时,高速铁路枢纽RBC切换方案比较复杂.本文就高速铁路枢纽短联络线RBC切换方案进行研究,为相关设计工作提供
匈塞铁路是首条由中方牵头设计并主导建设的欧洲高速铁路,其中,塞尔维亚境内段已开工建设.本文介绍了满足欧洲互联互通需求以及塞尔维亚本国技术要求的信号系统技术方案,并从
为实现对地面应答器的故障预测与健康管理,提出了一种基于双链路监测的地面应答器健康状态动态检测与评估方法.首先,基于电子设备故障预测与健康管理实施过程,对地面应答器智
计算机联锁系统的执行部分由继电接口改为全电子接口,是未来联锁系统的发展方向.继电接口控制轨旁信号设备时,电源经继电器接点送至轨旁信号设备,是约定俗成的一种供电方式.
以中国第一条旅游磁浮线“清远磁浮旅游专线”为例,探讨了中低速磁浮信号系统和通信系统的联调方案,并给出了磁浮通信信号系统在联调实施各环节的注意事项和相关建议.
根据相关规范,从应答器容量角度,对正线出站信号机处有源应答器报文发送原则进行分析;结合现场联调联试案例,总结现场3种直向发车(含通过进路)有源应答器报文发送情况;分析对