行车安全综合监控系统的时序Petri网描述及验证 |
| |
引用本文: | 杜彦华,刘春煌,曹松.行车安全综合监控系统的时序Petri网描述及验证[J].铁道学报,2005,27(4):11-15. |
| |
作者姓名: | 杜彦华 刘春煌 曹松 |
| |
作者单位: | 铁道科学研究院,电子计算技术研究所,北京,100081 |
| |
摘 要: | 行车安全综合监控系统规模大,复杂程度高,且具有不确定性。研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义。本文基于时序Petri网,提出了相应的分析和验证方法。然后,以系统中数据处理和传输过程的公平性、及时性和可靠性等问题为例,进行建模、分析和验证,从而说明本方法的有效性。
|
关 键 词: | 行车安全综合监控系统 时序Petri网 正确性验证 |
文章编号: | 1001-8360(2005)04-0011-05 |
收稿时间: | 2005-01-04 |
修稿时间: | 2005-04-07 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|