摘要
针对仅有一台车载电台正常的RBC(无线闭塞中心)切换场景,探讨了一种基于UML模型和有色Petri网(CPN)的系统建模方法;首先利用UML模型的顺序图及状态图描述RBC切换流程和过程中车载设备的状态转移,再从UML状态图中提取信息构造相应的有色Petri网模型,最后利用CPN Tools的状态空间工具分析模型的有界性、家态性、活性和公平性,得到的模型动态行为符合RBC切换功能的要求;论文验证了该建模方法的有效性,为完善RBC系统设计提供依据。
This paper discusses the method of modeling System based on UML Model and Colored Petri Nets in the condition of the RBC handover with the one normal ON--Board radio station. Firstly, to describe RBC handover process and the state transition of ON--Board, the sequence diagram and the state diagram are drawn by UML. Then the appropriate CPN model is established through extracting informa- tion from the UML state diagram. In the end, boundedness properties, home properties, aliveness properties and fairness properties of the model are analyzed by the state space tool of CPN Tools. The dynamic behavior of the model conforms to handover function requirements. The thesis verifies the availability of the method and provides a basis for improving the design of RBC system.
出处
《计算机测量与控制》
CSCD
北大核心
2012年第4期1116-1119,共4页
Computer Measurement &Control
基金
甘肃省科技计划项目(1011JKCA172)
