行车安全综合监控系统的时序Petri网描述及验证  

Description and Verification of Comprehensive Train Safety Monitoring System by Temporal Petri Nets

作　　者：杜彦华[1] 刘春煌[1] 曹松[1] 

机构地区：[1]铁道科学研究院电子计算技术研究所,北京100081

出　　处：《铁道学报》2005年第4期11-15,共5页Journal of the China Railway Society

摘　　要：行车安全综合监控系统规模大,复杂程度高,且具有不确定性。研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义。本文基于时序Petri网,提出了相应的分析和验证方法。然后,以系统中数据处理和传输过程的公平性、及时性和可靠性等问题为例,进行建模、分析和验证,从而说明本方法的有效性。The comprehensive train safety monitoring system is very large, complex and uncertain. It is important to study the efficient modeling and verification methods in system testing, feasibility analysis and so on. In the paper, we put forward a modeling and verification method based on temporal Petri nets. Then, we use this method to model, analyze and verify some problems of data processing and transmission such as fairness and reliability, so that we prove the method is reliable and efficient.

关 键 词：行车安全综合监控系统 时序PETRI网 正确性验证 

分 类 号：TP182[自动化与计算机技术—控制理论与控制工程] U29[自动化与计算机技术—控制科学与工程]