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

摘要：

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

关键词：抽象状态机、共享资源网络、实时任务、可执行概率、接纳控制

所属期刊栏目：20

分类号：TP3;R1

资助基金：国家教育部博士点基金20079998014,20104307110005;国防科学技术大学优秀研究生创新资助Bl00601

在线出版日期：2012-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：48-53,16