论文部分内容阅读
针对定时令牌协议具有较好通信可预测性的特点 ,建立形式化的可预测性分析模型 .给出了实时报文被保证的概率的形式化定义和条件保证概率的计算方法 .用该模型对实时系统进行了分析、测试 .证明了模型的合理性和有效性 .
Aiming at the characteristics of timed-token protocol with good communication predictability, a formal predictability analysis model is established. The formal definition of guaranteed probability of real-time message and the method of calculating the conditional guarantee probability are given. The real-time system is analyzed and tested, which proves the rationality and effectiveness of the model.