一种基于Petri网的联锁软件开发系统的制作方法
【专利摘要】本发明公开了一种基于Petri网的联锁软件开发系统，包括：数据库处理模块、成员变量模块、成员属性模块、联锁规则库模块、物理输入输出数据处理模块、ATS通信模块和MAU通信模块。所述数据库处理模块接收轨旁原始数据，将数据处理后生成不同类型的站场数据，返回给成员属性模块、成员变量模块和物理输入输出模块；所述联锁规则库模块接收所述成员属性模块和成员变量模块输出的数据，将联锁规则库通用的规则实例化成具体的站场逻辑，并将值传递给所述物理输入输出处理模块、ATS通信模块和MAU通信模块。本发明基于建模生成高质量代码，使得联锁软件设计过程大为简化，并且可自动生成数据验证报告，代码检查手段得到提高。
【专利说明】—种基于Petri网的联锁软件开发系统
【技术领域】
[0001]本发明涉及CBTC(Communication Based Train Control,基于通信的列车控制)后备控制单元中基于Petri网的联锁软件开发系统。
【背景技术】
[0002]现有的CBTC后备控制单元开发设计中，联锁软件一般在IDE中采用C，C++等计算机语言编写和调试，但随着子功能的不断增加，联锁软件越来越复杂，对此很难对代码进行遍历检查，即便采用国际上先进的PC-Link等校验工具也很难进行检查，并且联锁系统是一个安全苛求系统，具有以下特点的语言不能用于安全相关系统:除子程序外的无条件跳转；指针、堆或者任何类型的动态变量或对象；在原始代码中处理的中断；循环、模块或者子程序中有多路入口或出口 ；初始化或声明中有隐藏的变量；储存的和等价替代的变量；以及过程参数。因此，这成为本领域技术人员需要解决的问题。
【发明内容】
[0003]本发明的目的在于提供一种基于Petri网的联锁软件开发系统，采用有色petri网建模，使用面向对象的设计方法，根据地铁联锁系统中联锁设备的作用抽象出不同的模块之间的消息传递和彼此状态变化，并对各个状态和状态之间的约束关系进行描述，使得整个联锁软件设计过程大为简化，并且可自动生成数据验证报告，代码检查手段得到提高。
[0004]实现上述目的的技术方案是:
[0005]一种基于Petri网的联锁软件开发系统，包括:
[0006]数据库处理模块，用于接收轨旁原始数据，将数据处理后生成不同类型的站场数据，返回给成员属性模块、成员变量模块和物理输入输出模块；
[0007]成员变量模块，根据接收自所述数据库处理模块的站场数据，将其定义的成员变量实例化成联锁规则库需要的变量；
[0008]成员属性模块，根据接收自所述数据库处理模块的站场数据，将其定义的成员属性实例化成联锁规则库需要的属性；
[0009]联锁规则库模块，接收所述成员属性模块和成员变量模块输出的数据，将联锁规则库通用的规则实例化成具体的站场逻辑，并将值传递给所述物理输入输出处理模块、ATS通信模块和MAU通信模块；
[0010]物理输入输出数据处理模块，用于接收所述联锁规则库模块返回的值，经过安全校验后生成轨旁输入输出控制逻辑；
[0011 ] ATS通信模块，根据接收自所述联锁规则库模块返回的值，实例化ATS通信逻辑；
[0012]MAU通信模块，根据接收自所述联锁规则库模块返回的值，实例化MAU通信逻辑。
[0013]上述的基于Petri网的联锁软件开发系统中，还包括记录模块，用于记录所述联锁规则库模块在代码实例化过程中的关键数据。
[0014]上述的基于Petri网的联锁软件开发系统中，所述联锁规则库模块使用CPN建模。[0015]本发明的有益效果是:本发明采用基于Petri网建模的软件设计思想，可大大简化联锁软件开发流程，提高代码质量，并提供软件生成过程的关键数据供开发人员检查。克服了传统编程语言开发联锁软件存在的诸多限制。
【专利附图】
【附图说明】
[0016]图1是I次选路的有色Petri网模型；
[0017]图2是本发明的基于Petri网的联锁软件开发系统的结构图。
【具体实施方式】
[0018]下面将结合附图对本发明作进一步说明。
[0019]首先，对Petri网进行简述:
[0020]使用有色Petri网(Colored Petri Nets, CPN)对联锁系统进行建模Petri网是一种可用图形表示的组合模型，具有直观，易懂和易用的 优点，主要由库所(Place)、变迁(Transit1n)、有向弧(Connect1n)、令牌(Token)组成。
[0021]有色Petri网CPN由传统的Petri网折叠而来,是一种高级Petri网，它比传统Petri网多了一个要素:声明，其可以在任何脚本语言实现；在声明中定义了颜色集(类型)，函数，运算和变量。CPN的着色主要针对令牌和库所而言。通过对令牌着色，能够对令牌加以区分，从而在基于CPN建立的模型中表现出不同的资源(比如不同的道岔，道岔，信号机不同的处理逻辑)。
[0022]使用CPN对联锁系统进行建模，就是要完整，准确的以形式化的方式展现联锁设备自身的变化规律和联锁设备间的联锁逻辑关系；地铁CBTC联锁系统可抽象为两个层面:联锁设备层(接口层)；设备之间的联锁逻辑关系层；下面以轨道区段在进路建立和解锁为例说明有色Petri建模方法，产生的有色Petri网如图1所示。本模型假设在该区段建立进路和进路解锁时离散时间，列车到达和离去也是离散事件，模型的含义如下表1所示:
[0023]
【权利要求】
1.一种基于Petri网的联锁软件开发系统，其特征在于，包括: 数据库处理模块，用于接收轨旁原始数据，将数据处理后生成不同类型的站场数据，返回给成员属性模块、成员变量模块和物理输入输出模块； 成员变量模块，根据接收自所述数据库处理模块的站场数据，将其定义的成员变量实例化成联锁规则库需要的变量； 成员属性模块，根据接收自所述数据库处理模块的站场数据，将其定义的成员属性实例化成联锁规则库需要的属性； 联锁规则库模块，接收所述成员属性模块和成员变量模块输出的数据，将联锁规则库通用的规则实例化成具体的站场逻辑，并将值传递给所述物理输入输出处理模块、ATS通信模块和MAU通信模块； 物理输入输出数据处理模块，用于接收所述联锁规则库模块返回的值，经过安全校验后生成轨旁输入输出控制逻辑； ATS通信模块，根据接收自所述联锁规则库模块返回的值，实例化ATS通信逻辑； MAU通信模块，根据接收自所述联锁规则库模块返回的值，实例化MAU通信逻辑。
2.根据权利要求1所述的基于Petri网的联锁软件开发系统，其特征在于，还包括记录模块，用于记录所述联锁规则库模块在代码实例化过程中的关键数据。
3.根据权利要求1所述的基于Petri网的联锁软件开发系统，其特征在于，所述联锁规则库模块使用CPN建模。
【文档编号】G06F9/44GK104035782SQ201410300774
【公开日】2014年9月10日 申请日期:2014年6月27日 优先权日:2014年6月27日
【发明者】李广诚, 孙来平 申请人:上海自仪泰雷兹交通自动化系统有限公司