基于Petri网的铁路联锁软件测评的道岔仿真建模

摘要：

车站联锁软件一直有着严格的测试要求,仿真模块是测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于安全苛求软件的测试尤为适合,该文提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,并分别给出了针对铁路道岔的基于基本Petri网和有色Petri网2个建模实例.该模型有助于提高测试系统的安全性与精确性.

关键词：联锁、软件测试、建模、Petri网

所属期刊栏目：4

分类号：U284(铁路通信、信号)

在线出版日期：2009-01-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：606-608