作者:杜彦华; 刘春煌; 曹松行车安全综合监控系统时序petri网正确性验证
摘要:行车安全综合监控系统规模大,复杂程度高,且具有不确定性.研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义.本文基于时序Petri网,提出了相应的分析和验证方法.然后,以系统中数据处理和传输过程的公平性、及时性和可靠性等问题为例,进行建模、分析和验证,从而说明本方法的有效性.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《铁道学报》(CN:11-2104/U)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
省级期刊
人气 238101 评论 36
人气 153983 评论 33
人气 151572 评论 53
人气 122598 评论 54