论文部分内容阅读
采用形式化验证是确认计算机联锁软件能够满足特定安全属性的一种有效手段.本文描述了一种基于模型检验的方法,对联锁系统模型及安全属性模型的建立方法进行探讨,并结合具体的站场实例,对信号开放功能进行了模型描述和验证,结果表明该方法用于计算机联锁系统具备可行性.
基于模型检验的计算机联锁软件验证方法
【摘 要】
：
采用形式化验证是确认计算机联锁软件能够满足特定安全属性的一种有效手段.本文描述了一种基于模型检验的方法,对联锁系统模型及安全属性模型的建立方法进行探讨,并结合具体
【机 构】
：
卡斯柯信号有限公司
【出 处】
：
铁道通信信号
【发表日期】
：
2020年8期
其他文献
针对S700K转辙机沙尔特堡接点组存在冷凝天气转换异常、接点组偶发性虚接、可维护性较低等问题,开展接点组改造项目,由SRT6加强型排骨式接点组替代沙尔特堡接点组.通过分析该
舰炮的炮口扰动是影响舰炮射击精度的重要因素。为了减少舰炮的炮口扰动,优化身管结构,建立了柔性身管的ABAQUS有限元模型,将有限元模型的模态计算值与模态试验值进行比较,发
通过增加量化电平,Delta-Sigma调制器输出序列能够获得更好的调制性能。但在S类数字功放中,受限于开关功放的实现结构,多电平Delta-Sigma调制器输出脉冲序列无法直接驱动开关
一、中药材种类的多样性我国幅员辽阔、地形复杂、气候和土壤差异很大,适宜各类植物的生长和繁殖,因而蕴藏着丰富的中草药资源。其中有一般的小草,也有高大乔木;有喜欢生长在
为满足无线通信网络信号覆盖有效性的实时实地可重复探测的需求,提出一种基于传感器网络的分布式无线覆盖探测算法。通过随机部署于目标区域内的无线传感器节点对无线通信网