针对定时令牌协议具有较好通信可预测性的特点, 建立形式化的可预测性分析模型.给出了实时报文被保证的概率的形式化定义和条件保证概率的计算方法.用该模型对实时系统进行了分析、测试.证明了模型的合理性和有效性.
硬实时网络通信研究的重点在于对每个报文的时间限制的保证.实时通信协议所采用的报文保证策略分为两类:有保证(g uarantee)策略和尽力保证(best-effort)策略.前者保证报文的期限能够得到满足,而后者尽量使报文在期限到达前得到传送.根据具体应用环境的不同,这些策略有很多变体.
对ＵＮＩＸＳＶＲ４．２网络链路流机制的实时性能进行了分析，找出了流驱动机制对于实时通信的支持的不足之处，针对这些不足之处对其进行了实时化改造并给出了新的算法．结果表明，改造方案具有可行性，能有效地满足实时通信需要，从技术上为进一步改造ＵＮＩＸ系统提供了参考
