版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
基于ASM描述共享网络的实时任务可执行概率设计
Specifying Executable Probability Design of Real-Time Task in Resource-Sharing Network with ASM作者机构：国防科学技术大学并行与分布处理国防科技重点实验室长沙410073 国防科学技术大学计算机学院长沙410073
出 版 物：《计算机系统应用》 (Computer Systems & Applications)
年 卷 期：2011年第20卷第9期
页 面：48-53,16页
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家教育部博士点基金(20079998014 20104307110005) 国防科学技术大学优秀研究生创新资助(B100601)
主 题：抽象状态机 共享资源网络 实时任务 可执行概率 接纳控制
摘 要：利用抽象状态机(ASM),形式化描述了共享网络中实时任务接纳控制机制,提出了实时任务可执行概率设计过程的ASM模型,利用Spec Explorer给出了分析该模型的方法步骤。该模型不仅有助于验证其设计,还有利于实现实时任务接纳控制机制,并为利用ASM模型方法设计实现其他控制机制提供了范例。
