使用PLC测试软件进行PLC电梯程序错误分析

嵌入式系统的软件测试具有特殊的难度和重要性。7.23动车事件突显出不充分的测试所带来的灾难性后果。为了解决PLC程序测试问题,灵芯实验室致力于PLC测试软件的研发。本文报告我们用该软件测试一个公开发表的电梯程序的情况。测试发现,当电梯处在二楼,人在一楼按下上楼电钮时,电梯不能按要求下降;当我们纠正了这个错误之后,又发现该电梯开始下降之后不能停止。这些错误反映出PLC程序测试的重要性。

温州动车追尾事故与CTCS-2技术规范中的安全隐患

2011年7月23日在温州附近不幸发生动车追尾,本文指出列控技术规范的变化可能同事故有关系。CTCS-2列控技术规范2007年版中引入了"三点检查"技术,理论上它能够在轨道电路故障情况下保障列车安全运行。如果在7月23日的故障状态下采用这一技术,调度可以在故障路段放入多辆列车,某些故障路段可能亮绿灯让列车正常通过,该技术将通过防护点保障安全。可能由于技术不够成熟的原因,CTCS-2技术规范2010年版中删除了这一措施,在新增的故障处理条款中没有明确说明设备故障需要亮红灯。如果此后调度按照过去的方式处理,很可能发生事故。