摘要:Petri网是一种基于图形进行模拟和分析的数学工具,能够描述系统的异步和并发行为,但是现有高级Petri网不能对嵌入式实时系统进行完整的模拟与实时性分析。该文首先通过扩展有色Petri网提出了层次实时有色Petri网模型,然后描述了嵌入式实时系统的建模和实时性分析方法。最后,将该文提出的方法应用于硬实时系统——列车通信网络MVB总线控制器的建模和实时性分析过程,仿真和分析结果表明,该方法能够满足列车通信网络系统设计对MVB总线控制器的功能验证和实时性分析需求。
关键词:petri网 列车通信网络 嵌入式实时系统 形式化建模
单位:哈尔滨工程大学计算机科学与技术学院 哈尔滨150001
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社