摘要：为适应基于通信的列车运行控制(CBTC,communication based train control)系统从车地模式向车车通信模式发展的趋势,针对多周期性应用并发的车载安全计算机的时间约束性,提出了基于时间Petri网的安全计算机时间约束性验证方法。以车载2乘2取2安全计算机为例,通过分析安全计算机多周期应用的并发性质,采用时间Petri网(TPN,time Petrinet)推算其时间可调度区间,并在此基础上进行实例分析。分析和验证结果表明,在单核主频1GHz的条件下,车载安全计算机能满足3个以上周期性安全关键应用的时间约束性,表明TPN在验证和评估安全计算机中周期性应用的时间约束性方面的有效性。
分类：期刊> 自然科学与工程技术> 信息科技> 电信技术
收录：北大期刊(中国人文社会科学期刊) > CSCD 中国科学引文数据库来源期刊(含扩展版) > 统计源期刊(中国科技论文优秀期刊) > 知网收录(中) > 维普收录(中) > 万方收录(中) > EI 工程索引(美) > JST 日本科学技术振兴机构数据库(日) > 哥白尼索引(波兰) > 国家图书馆馆藏 > 上海图书馆馆藏
关键词：时间petri网 车车通信 安全计算机 时间约束
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
