面向流媒体应用的实时可执行概率获取方法研究

为准确获取网络实时可执行概率,从而对网络实时任务进行接纳控制,是解决当前网络尽力服务与实时任务服务质量（QoS）要求间矛盾的重要手段。面向流媒体应用,针对网络资源余量的高度不确定性,分析和实时获取了变化中的网络资源余量的概率时效图,并对今后的时效曲线进行预测,得到流媒体应用的实时可执行概率。实验比较了资源余量的概率时效图的预测值和实测值,结果较符合,为共享资源网络上执行实时任务作出了有益的探索。

基于ASM描述共享网络的实时任务可执行概率设计

利用抽象状态机(ASM),形式化描述了共享网络中实时任务接纳控制机制,提出了实时任务可执行概率设计过程的ASM模型,利用Spec Explorer给出了分析该模型的方法步骤。该模型不仅有助于验证其设计,还有利于实现实时任务接纳控制机制,并为利用ASM模型方法设计实现其他控制机制提供了范例。