摘要
行车安全综合监控系统规模大,复杂程度高,且具有不确定性。研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义。本文基于时序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.
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2005年第4期11-15,共5页
Journal of the China Railway Society
关键词
行车安全综合监控系统
时序PETRI网
正确性验证
train safety comprehensive monitoring system
temporal Petri nets
correctness verificatiot
