一种实时网络通信协议的可预测性分析模型
Analytic Model for the Predictability of a Real time Network Communication Protocol作者机构:华中理工大学计算机科学与技术学院430074
出 版 物:《华中理工大学学报》 (Journal of Huazhong University of Science and Technology)
年 卷 期:2000年第28卷第2期
页 面:20-22页
核心收录:
学科分类:0810[工学-信息与通信工程] 12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081001[工学-通信与信息系统] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术(可授工学、理学学位)]
基 金:"九五"国防预研资助项目
摘 要:针对定时令牌协议具有较好通信可预测性的特点 ,建立形式化的可预测性分析模型 .给出了实时报文被保证的概率的形式化定义和条件保证概率的计算方法 .用该模型对实时系统进行了分析、测试 .证明了模型的合理性和有效性 .